REDLOG swMATH ID: 4250 Software Authors: Dolzmann, Andreas; Sturm, Thomas; 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; z3; Maple; REDUCE; DISCOVERER; Mathematica; RSOLVER; SYNRAC; SINGULAR; SMT-LIB; SMT-RAT; BioModels; CVC4; RegularChains; Sostools; MathSAT5; PGB; SeDuMi; Risa/Asir; GeoGebra Cited in: 172 Documents 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 257 Authors 34 Sturm, Thomas 14 Weber, Andreas Günter 9 Weispfenning, Volker 7 Brown, Christopher W. 7 Dolzmann, Andreas 7 Sofronie-Stokkermans, Viorica 6 She, Zhikun 6 Xia, Bican 6 Xu, Ming 6 Zhan, Naijun 5 Anai, Hirokazu 5 Eirinakis, Pavlos 5 England, Matthew 5 Grigor’ev, Dmitriĭ Yur’evich 5 Iwane, Hidenao 5 Radulescu, Ovidiu 5 Seiler, Werner M. 5 Subramani, Krishnan 5 Wojciechowski, Piotr J. 5 Yang, Lu 4 Davenport, James Harold 4 Deng, Yuxin 4 El Kahoui, M’hammed 4 Errami, Hassan 4 Hong, Hoon 4 Sato, Yosuke 3 Abdel-Rahman, Essam Othman 3 Ábrahám, Erika 3 Fukasaku, Ryoya 3 Ioakimidis, Nikolaos Ioakim 3 Iosif, Alexandru 3 Kredel, Heinz 3 Lasaruk, Aless 3 Montes, Antonio 3 Piazza, Carla 3 Rahkooy, Hamid 3 Ruggieri, Salvatore 3 Sankaranarayanan, Sriram 3 Sastry, S. Shankar 3 Vajda, Robert 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 Kapur, Deepak 2 Kelsey, Tom 2 Koo, T. John 2 Košta, Marek 2 Kovács, Zoltán 2 Küchlin, Wolfgang W. 2 Kupferschmid, Stefan 2 Lemaire, François 2 Li, Haoyang 2 Lüders, Christoph 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 Platzer, André 2 Ratschan, Stefan 2 Seidl, Andreas 2 Seiß, Matthias 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 Barrett, Clark W. 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 ...and 157 more Authors all top 5 Cited in 39 Serials 21 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 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 SIAM Journal on Applied Dynamical Systems 1 Quantum Information Processing 1 Applied Optimization 1 Algorithms and Computation in Mathematics 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 23 Fields 135 Computer science (68-XX) 52 Mathematical logic and foundations (03-XX) 22 Biology and other natural sciences (92-XX) 19 Commutative algebra (13-XX) 16 Numerical analysis (65-XX) 16 Systems theory; control (93-XX) 13 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) 4 Quantum theory (81-XX) 3 Geometry (51-XX) 2 Partial differential equations (35-XX) 2 Mechanics of deformable solids (74-XX) 2 Fluid mechanics (76-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