Theorema swMATH ID: 961 Software Authors: Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Wolfgang Windsteiger, Theorema group at RISC institute at JKU Linz, Austria Description: The software system Theorema provides a uniform logic and software technologic frame for proving, solving, and simplifying formulae in all areas of mathematics. Theorema is developed at the Research Institute for Symbolic Computation (RISC), Austria. Homepage: http://www.risc.jku.at/research/theorema/software/ Keywords: orms; Mathematica 3.0 Related Software: Coq; Mathematica; Mizar; PVS; Nuprl; Isabelle/HOL; Analytica; Isabelle; TPTP; Isar; Automath; Maple; HOL; HOL Light; OTTER; ACL2; OMDoc; OMRS; CLP(Flex); IsaCoSy Cited in: 149 Publications This software is also referenced in ORMS. Further Publications: http://www.risc.jku.at/publications/ Standard Articles 4 Publications describing the Software, including 4 Publications in zbMATH Year Theorema 2.0: computer-assisted natural-style mathematics. Zbl 1451.68319Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang 2016 Groebner bases in Theorema. Zbl 1437.13009Buchberger, Bruno; Maletzky, Alexander 2014 Theorema 2.0: a system for mathematical theory exploration. Zbl 1403.68229Windsteiger, Wolfgang 2014 A survey of the Theorema project. Zbl 0926.68131Buchberger, Bruno; Jebelean, Tudor; Kriftner, Franz; Marin, Mircea; Tomuţa, Elena; Văsaru, Daniela 1997 all top 5 Cited by 158 Authors 30 Buchberger, Bruno 18 Jebelean, Tudor 12 Kutsia, Temur 10 Windsteiger, Wolfgang 8 Maletzky, Alexander 8 Rosenkranz, Markus 6 Johansson, Moa 5 Drămnesc, Isabela 5 Farmer, William M. 5 Janičić, Predrag 5 Lyaletski, Alexander V. 5 Marin, Mircea 5 Nakagawa, Koji 5 Tec, Loredana 4 Ida, Tetsuo 4 Kerber, Manfred 4 Kovács, Laura Ildikó 4 Paskevich, Andrei 4 Piroi, Florina 4 Regensburger, Georg 4 Robu, Judit 4 Verchinine, Konstantin 4 Wiedijk, Freek 3 Caprotti, Olga 3 Crǎciun, Adrian 3 Degtyarev, Anatoli Ivanovich 3 Geuvers, Jan Herman 3 Kamareddine, Fairouz D. 3 Oostdijk, Martijn Diederik 3 Quaresma, Pedro 3 Rabe, Florian 3 Rowat, Colin 3 Schwarzweller, Christoph 2 Armando, Alessandro 2 Bundy, Alan 2 Carette, Jacques 2 Claessen, Koen 2 Coglio, Alessandro 2 Cohen, Arjeh Marcel 2 Dixon, Lucas 2 Doligez, Damien 2 Dundua, Besik 2 Ghourabi, Fadoua 2 Giunchiglia, Fausto 2 Gottliebsen, Hanne 2 Hasan, Osman 2 Kelsey, Tom 2 Khan Afshar, Sanaz 2 Kohlhase, Michael 2 Konev, Boris 2 Kriftner, Franz 2 Lange, Christoph 2 Martin, Ursula 2 Morokhovets, Marina K. 2 Popov, Nikolaj 2 Prevosto, Virgile 2 Rudnicki, Piotr 2 Seddiki, Ons 2 Smallbone, Nicholas 2 Stratulat, Sorin 2 Tahar, Sofiène 2 Trybulec, Andrzej 2 Văsaru, Daniela 1 Adams, Andrew A. 1 Algehed, Maximilian 1 Andreica, Alina 1 Anisimov, Anatoly V. 1 Aravantinos, Vincent 1 Asperti, Andrea 1 Autexier, Serge 1 Benzmüller, Christoph Ewald 1 Borwein, Jonathan Michael 1 Caminati, Marco Bright 1 Constable, Robert Lee 1 Cruz-Filipe, Luís 1 Dasgupta, Gautam 1 Davenport, James Harold 1 Dunchev, Cvetan 1 Dunstan, Martin 1 Dupré, Claudio 1 England, Matthew 1 Fleuriot, Jacques D. 1 Freire, José-Luis 1 Ganesalingam, Mohan 1 Gerdt, Vladimir Petrovich 1 Gowers, William Timothy 1 Greuel, Gert-Martin 1 Hardin, Thérèse 1 Hong, Hoon 1 Itzhaky, Shachar 1 Kahl, Wolfram 1 Kapitonova, Yu. V. 1 Kasem, Asem 1 Koch, Thorsten 1 Koepf, Wolfram A. 1 Kossak, Felix 1 Kovács, Emőd 1 Küchlin, Wolfgang W. 1 Kurtanidze, Lia 1 Lamar, Robert ...and 58 more Authors all top 5 Cited in 25 Serials 17 Journal of Symbolic Computation 10 Analele Universității din Timișoara. Seria Matematică-Informatică 9 Lecture Notes in Computer Science 8 Journal of Automated Reasoning 2 Mathematics and Computers in Simulation 2 Journal of Applied Logic 2 Journal of Formalized Reasoning 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Mechanica 1 Artificial Intelligence 1 Information and Computation 1 Computational Mechanics 1 Formal Aspects of Computing 1 Multidimensional Systems and Signal Processing 1 Cybernetics and Systems Analysis 1 Journal of Logic, Language and Information 1 Journal of Mathematical Sciences (New York) 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Bulletin of TICMI 1 RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas 1 Electronic Notes in Theoretical Computer Science 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 ACM Communications in Computer Algebra all top 5 Cited in 23 Fields 145 Computer science (68-XX) 27 Mathematical logic and foundations (03-XX) 16 General and overarching topics; collections (00-XX) 14 Commutative algebra (13-XX) 6 Ordinary differential equations (34-XX) 6 Numerical analysis (65-XX) 4 Geometry (51-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Number theory (11-XX) 2 Field theory and polynomials (12-XX) 2 Integral equations (45-XX) 2 Mechanics of deformable solids (74-XX) 2 Systems theory; control (93-XX) 1 History and biography (01-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year