×

REDLOG

swMATH ID: 4250
Software Authors: Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Description: REDLOG is a package that extends the computer algebra system REDUCE to a computer logic system, i.e., a system that provides algorithms for the symbolic manipulation of first-order formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods applied know about the underlying algebraic theory and make use of it. We illustrate some applications of REDLOG, describe its functionality as it appears to the user, and explain the design issues and implementation techniques.
Homepage: http://redlog.dolzmann.de/
Dependencies: REDUCE
Keywords: computational geometry; graphical examples; computer-aided design; computer vision; motion planning; parallel and central projection; shadow problems; reconstruction; Voronoi diagrams; collision of moving objects; elimination algorithms; REDUCE package REDLOG
Related Software: QEPCAD; Maple; z3; REDUCE; RSOLVER; DISCOVERER; Mathematica; SINGULAR; SYNRAC; SMT-LIB; RegularChains; Sostools; SMT-RAT; PGB; MathSAT5; CVC4; SeDuMi; Risa/Asir; Coq; MESSI
Referenced in: 164 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Computational geometry problems in REDLOG. Zbl 0904.65151
Sturm, Thomas; Weispfenning, Volker
1998
all top 5

Referenced by 243 Authors

33 Sturm, Thomas
14 Weber, Andreas Günter
9 Weispfenning, Volker
7 Dolzmann, Andreas
7 Sofronie-Stokkermans, Viorica
6 She, Zhikun
6 Xia, Bican
6 Zhan, Naijun
5 Anai, Hirokazu
5 Brown, Christopher W.
5 Eirinakis, Pavlos
5 England, Matthew
5 Grigor’ev, Dmitriĭ Yur’evich
5 Iwane, Hidenao
5 Seiler, Werner M.
5 Subramani, Krishnan
5 Wojciechowski, Piotr J.
5 Yang, Lu
4 Davenport, James Harold
4 El Kahoui, M’hammed
4 Errami, Hassan
4 Hong, Hoon
4 Radulescu, Ovidiu
4 Sato, Yosuke
4 Xu, Ming
3 Abdel-Rahman, Essam Othman
3 Ábrahám, Erika
3 Fukasaku, Ryoya
3 Kredel, Heinz
3 Lasaruk, Aless
3 Montes, Antonio
3 Piazza, Carla
3 Ruggieri, Salvatore
3 Sankaranarayanan, Sriram
3 Xue, Bai
3 Zhao, Hengjun
2 Boulier, François
2 Buchberger, Bruno
2 Chen, Yinghua
2 Deng, Yuxin
2 Eiswirth, Markus
2 Eraşcu, Mădălina
2 Fontaine, Pascal
2 Göbel, Manfred
2 Gottliebsen, Hanne
2 Iosif, Alexandru
2 Kapur, Deepak
2 Kelsey, Tom
2 Koo, T. John
2 Košta, Marek
2 Küchlin, Wolfgang W.
2 Kupferschmid, Stefan
2 Lemaire, François
2 Li, Haoyang
2 Martin, Ursula
2 Mysore, Venkatesh P.
2 Nabeshima, Katsusuke
2 Neun, Winfried
2 Pappas, George J.
2 Passmore, Grant Olney
2 Peuter, Dennis
2 Pillwein, Veronika
2 Rahkooy, Hamid
2 Ratschan, Stefan
2 Sastry, Shankar S.
2 Seidl, Andreas
2 Ürgüplü, Aslı
2 Wang, Dongming
2 Yanami, Hitoshi
2 Zengler, Christoph
2 Zhang, Zhihai
2 Zheng, Zhiming
1 Abbott, John A.
1 Adams, Andrew A.
1 Anderson, Hugh
1 Andrei, Ştefan
1 Annichini, Aurore
1 Asarin, Eugene
1 Becker, Bernd
1 Bigatti, Anna Maria
1 Borralleras, Cristina
1 Bouajjani, Ahmed
1 Bradford, Russell J.
1 Brain, Martin
1 Bridge, James P.
1 Campagna, Dario
1 Casagrande, Alberto
1 Chen, Changbo
1 Chen, Xin
1 Cimatti, Alessandro
1 Colón, Michael A.
1 Conradi, Carsten
1 Corzilius, Florian
1 Damm, Werner
1 de Moura, Leonardo
1 Disch, Stefan
1 Dixit, Atul
1 Dobal, Pablo Federico
1 Dreossi, Tommaso
1 Dunstan, Martin
...and 143 more Authors

Referencing Publications by Year