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.65151Sturm, 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 all top 5 Cited in 37 Serials 20 Journal of Symbolic Computation 13 Mathematics in Computer Science 5 Applicable Algebra in Engineering, Communication and Computing 4 Theoretical Computer Science 3 Bulletin of Mathematical Biology 3 Annals of Mathematics and Artificial Intelligence 2 Mathematics and Computers in Simulation 2 Information and Computation 2 Journal of Automated Reasoning 1 International Journal of Control 1 Journal of Computational Physics 1 Journal of Mathematical Analysis and Applications 1 Chaos, Solitons and Fractals 1 Applied Mathematics and Computation 1 International Journal for Numerical Methods in Engineering 1 Journal of Computer and System Sciences 1 SIAM Journal on Control and Optimization 1 SIGSAM Bulletin 1 New Generation Computing 1 Computational Mechanics 1 Science in China. Series A 1 Formal Aspects of Computing 1 Japan Journal of Industrial and Applied Mathematics 1 MSCS. Mathematical Structures in Computer Science 1 Cybernetics and Systems Analysis 1 Formal Methods in System Design 1 Engineering Analysis with Boundary Elements 1 Constraints 1 Séminaire Lotharingien de Combinatoire 1 Fundamental’naya i Prikladnaya Matematika 1 Mathematical Inequalities & Applications 1 Annals of Combinatorics 1 Discrete and Continuous Dynamical Systems. Series B 1 Journal of Systems Science and Complexity 1 Applied Optimization 1 Algorithms and Computation in Mathematics 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 23 Fields 131 Computer science (68-XX) 50 Mathematical logic and foundations (03-XX) 22 Biology and other natural sciences (92-XX) 18 Commutative algebra (13-XX) 16 Numerical analysis (65-XX) 16 Systems theory; control (93-XX) 12 Ordinary differential equations (34-XX) 12 Dynamical systems and ergodic theory (37-XX) 10 Operations research, mathematical programming (90-XX) 7 Algebraic geometry (14-XX) 6 Field theory and polynomials (12-XX) 3 Geometry (51-XX) 2 Partial differential equations (35-XX) 2 Mechanics of deformable solids (74-XX) 2 Fluid mechanics (76-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Approximations and expansions (41-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Classical thermodynamics, heat transfer (80-XX) Citations by Year