Prover9 swMATH ID: 4969 Software Authors: William McCune Description: Prover9 and Mace4: Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples. Prover9 is the successor of the Otter prover. Homepage: http://www.cs.unm.edu/~mccune/prover9/ Related Software: Mace4; OTTER; TPTP; E Theorem Prover; VAMPIRE; Isabelle/HOL; GAP; Coq; SPASS; Mizar; Waldmeister; Isabelle; RelView; LOOPS; HOL; Sledgehammer; z3; leanCoP; Maude; MiniSat Cited in: 205 Documents all top 5 Cited by 212 Authors 20 Kinyon, Michael K. 17 Höfner, Peter 13 Möller, Bernhard 11 Struth, Georg 9 Sankappanavar, Hanamantagouda P. 9 Vojtěchovský, Petr 8 Berghammer, Rudolf 8 Fiala, Nick C. 8 Urban, Josef 7 Cornejo, Juan Manuel 7 Jipsen, Peter 7 Lucas, Salvador 7 Veroff, Robert 6 Grabowski, Adam 6 Padmanabhan, Ranganathan 5 Araújo, João 5 Greer, Mark R. 5 Gutiérrez, Raúl 5 Jedlička, Přemysl 4 Coghetto, Roland 4 Dang, Han-Hing 4 Hoare, C. A. R. Tony 4 Kaliszyk, Cezary 4 Lisitsa, Alexei P. 4 Santocanale, Luigi 4 Schulz, Stephan 4 Spinks, Matthew 4 Stucke, Insa 3 Agre, Keith M. 3 Furusawa, Hitoshi 3 Harding, John 3 Stokes, Timothy E. 3 Sutcliffe, Geoff 3 Wehrman, Ian 3 Wehrung, Friedrich 3 Woltzenlogel Paleo, Bruno 3 Zhang, Yang 2 Cristiá, Maximiliano 2 Desharnais, Jules 2 Dunets, Andriy 2 Fitelson, Branden 2 Gruninger, Michael 2 Guttmann, Walter 2 Jackson, Marcel G. 2 Jakubův, Jan 2 McIver, Annabelle K. 2 Melo de Sousa, Simão 2 Merlini Giuliani, Maria de Lourdes 2 Moreira, Nelma 2 Nishizawa, Koki 2 Olšák, Miroslav 2 Peltier, Nicolas 2 Pereira, David P. 2 Pilitowska, Agata 2 Ponse, Alban 2 Raney, Lee 2 Reif, Wolfgang 2 Rossi, Gianfranco 2 Sawicki, Damian 2 Schellhorn, Gerhard 2 Staudt, Daan J. C. 2 Stein, Itamar 2 Walker, Carol L. 2 Walker, Elbert Abner 2 Zamojska-Dzienio, Anna 1 Aameri, Bahar 1 Abbadini, Marco 1 Aceto, Luca 1 Ahmad, Iftikhar 1 Ahmad, Imtiaz 1 Akhtar, Reza 1 Alama, Jesse 1 Alpay, Natanael 1 Andréka, Hajnal 1 Araújo, João Pedro 1 Araújo, Maria Leonor 1 Araújo, Maria Teresa 1 Arthan, Rob D. 1 Benzmüller, Christoph Ewald 1 Bergman, Clifford 1 Bergstra, Jan A. 1 Blanchette, Jasmin Christian 1 Bonacina, Maria Paola 1 Bonatto, Marco 1 Bremner, Murray R. 1 Brengos, Tomasz 1 Bres, Emile 1 Bridge, James P. 1 Brown, Chad Edward 1 Castiglioni, Valentina 1 Cauderlier, Raphaël 1 Chakraborty, Mihir Kumar 1 Chein, Orin 1 Chvalovský, Karel 1 Claessen, Koen 1 Clark, W. Edwin 1 Cruanes, Simon 1 Cvetko-Vah, Karin 1 de Moura, Leonardo 1 Didurik, Natalia N. ...and 112 more Authors all top 5 Cited in 55 Serials 14 Journal of Automated Reasoning 10 Semigroup Forum 9 Journal of Logical and Algebraic Methods in Programming 8 Algebra Universalis 7 Commentationes Mathematicae Universitatis Carolinae 7 Formalized Mathematics 5 Communications in Algebra 5 Journal of Algebra 5 Studia Logica 4 Soft Computing 4 The Journal of Logic and Algebraic Programming 3 Journal of Pure and Applied Algebra 3 Transactions of the American Mathematical Society 3 Quasigroups and Related Systems 2 Discrete Mathematics 2 Journal of Philosophical Logic 2 European Journal of Combinatorics 2 Order 2 Journal of Applied Non-Classical Logics 2 Journal of Applied Logic 2 Logical Methods in Computer Science 1 Acta Informatica 1 Artificial Intelligence 1 Information Processing Letters 1 Ars Combinatoria 1 Czechoslovak Mathematical Journal 1 Demonstratio Mathematica 1 Information Sciences 1 Journal of Combinatorial Theory. Series A 1 The Journal of Symbolic Logic 1 Mathematica Slovaca 1 Notre Dame Journal of Formal Logic 1 Pacific Journal of Mathematics 1 Programming and Computer Software 1 Topology and its Applications 1 Advances in Applied Mathematics 1 Science of Computer Programming 1 Note di Matematica 1 Journal of Symbolic Computation 1 JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing 1 Journal of Logic and Computation 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Mathematics. The Punjab University 1 Journal of Knot Theory and its Ramifications 1 The Australasian Journal of Combinatorics 1 Algebra Colloquium 1 Annals of Mathematics and Artificial Intelligence 1 Fundamenta Informaticae 1 Portugaliae Mathematica. Nova Série 1 Journal of Algebra and its Applications 1 Parallel Processing Letters 1 Lecture Notes in Computer Science 1 Journal of Formalized Reasoning 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 18 Fields 117 Computer science (68-XX) 82 Mathematical logic and foundations (03-XX) 59 Group theory and generalizations (20-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 26 General algebraic systems (08-XX) 12 Combinatorics (05-XX) 8 Associative rings and algebras (16-XX) 6 Category theory; homological algebra (18-XX) 6 Geometry (51-XX) 3 Manifolds and cell complexes (57-XX) 2 General topology (54-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Nonassociative rings and algebras (17-XX) 1 Algebraic topology (55-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year