×

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; CVC4; SMT-RAT; PGB; MathSAT5; SeDuMi; Risa/Asir; Theorema; AXIOM
Cited in: 166 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

Cited by 245 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 Xu, Ming
5 Yang, Lu
4 Davenport, James Harold
4 El Kahoui, M’hammed
4 Errami, Hassan
4 Hong, Hoon
4 Radulescu, Ovidiu
4 Sato, Yosuke
3 Abdel-Rahman, Essam Othman
3 Ábrahám, Erika
3 Deng, Yuxin
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 Eiswirth, Markus
2 Eraşcu, Mădălina
2 Fontaine, Pascal
2 Fu, Jianling
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 Mei, Jingyi
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, Lijun
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
...and 145 more Authors

Citations by Year