×

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; TPTP; Isabelle; Isar; Automath; Maple; HOL; HOL Light; OTTER; ACL2; OMDoc; OMRS; CLP(Flex); IsaPlanner
Referenced in: 149 Publications
This software is also referenced in ORMS.
Further Publications: http://www.risc.jku.at/publications/
all top 5

Referenced 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

Referencing Publications by Year