Prover9 swMATH ID: 4969 Software Authors: McCune, William 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; VAMPIRE; TPTP; E Theorem Prover; Isabelle/HOL; GAP; SPASS; Coq; Waldmeister; Mizar; iProver; leanCoP; Isabelle; RelView; Sledgehammer; LOOPS; HOL; MiniSat; MaLARea Cited in: 233 Documents all top 5 Cited by 246 Authors 22 Kinyon, Michael K. 17 Höfner, Peter 13 Möller, Bernhard 11 Struth, Georg 10 Jipsen, Peter 10 Sankappanavar, Hanamantagouda P. 9 Vojtěchovský, Petr 8 Berghammer, Rudolf 8 Cornejo, Juan Manuel 8 Fiala, Nick C. 8 Urban, Josef 7 Lisitsa, Alexei P. 7 Lucas, Salvador 7 Veroff, Robert 6 Grabowski, Adam 6 Padmanabhan, Ranganathan 6 Phillips, Jon D. 6 Stokes, Timothy E. 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, Charles Antony Richard 4 Kaliszyk, Cezary 4 Santocanale, Luigi 4 Schulz, Stephan 4 Spinks, Matthew 4 Stucke, Insa 4 Sutcliffe, Geoff 3 Agre, Keith M. 3 Alpay, Natanael 3 Bonacina, Maria Paola 3 Furusawa, Hitoshi 3 Guttmann, Walter 3 Harding, John 3 Merlini Giuliani, Maria de Lourdes 3 Wehrman, Ian 3 Wehrung, Friedrich 3 Wernhard, Christoph 3 Woltzenlogel Paleo, Bruno 3 Zhang, Yang 2 Bonatto, Marco 2 Cao, Feng 2 Chen, Shuwei 2 Cristiá, Maximiliano 2 Desharnais, Jules 2 Dunets, Andriy 2 East, James 2 Fish, Andrew 2 Fitelson, Branden 2 Gruninger, Michael 2 Jackson, Marcel G. 2 Jakubův, Jan 2 Liu, Jun 2 McIver, Annabelle K. 2 Melo de Sousa, Simão 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 Shcherbacov, Victor A. 2 Staudt, Daan J. C. 2 Stein, Itamar 2 Sugimoto, Melissa 2 Vernitski, Alexei 2 Walker, Carol L. 2 Walker, Elbert Abner 2 Wang, Shoufeng 2 Xu, Yang 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 Andréka, Hajnal 1 Araújo, João Pedro 1 Araújo, Maria Leonor 1 Araújo, Maria Teresa 1 Arthan, Rob D. 1 Azeef Muhammed, P. A. 1 Beeson, Michael J. 1 Benzmüller, Christoph Ewald 1 Bergman, Clifford 1 Bergstra, Jan A. 1 Bibel, Wolfgang 1 Blanchette, Jasmin Christian 1 Bremner, Murray R. ...and 146 more Authors all top 5 Cited in 57 Serials 17 Journal of Automated Reasoning 14 Semigroup Forum 9 Algebra Universalis 9 Journal of Logical and Algebraic Methods in Programming 7 Commentationes Mathematicae Universitatis Carolinae 7 Formalized Mathematics 6 Communications in Algebra 5 Journal of Algebra 5 Studia Logica 4 Information Sciences 4 Soft Computing 4 Quasigroups and Related Systems 4 The Journal of Logic and Algebraic Programming 3 Journal of Pure and Applied Algebra 3 Transactions of the American Mathematical Society 3 Logical Methods in Computer Science 2 Discrete Mathematics 2 Journal of Philosophical Logic 2 Mathematica Slovaca 2 European Journal of Combinatorics 2 Order 2 Journal of Knot Theory and its Ramifications 2 Journal of Applied Non-Classical Logics 2 Journal of Applied Logic 1 Acta Informatica 1 Artificial Intelligence 1 Information Processing Letters 1 Advances in Mathematics 1 Ars Combinatoria 1 Czechoslovak Mathematical Journal 1 Demonstratio Mathematica 1 Journal of Combinatorial Theory. Series A 1 The Journal of Symbolic Logic 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 Mathematical Structures in Computer Science 1 Journal of Mathematics. The Punjab University 1 The Australasian Journal of Combinatorics 1 Algebra Colloquium 1 Annals of Mathematics and Artificial Intelligence 1 Computer Science Journal of Moldova 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 19 Fields 132 Computer science (68-XX) 85 Mathematical logic and foundations (03-XX) 68 Group theory and generalizations (20-XX) 38 Order, lattices, ordered algebraic structures (06-XX) 27 General algebraic systems (08-XX) 12 Combinatorics (05-XX) 8 Associative rings and algebras (16-XX) 7 Category theory; homological algebra (18-XX) 6 Geometry (51-XX) 6 Manifolds and cell complexes (57-XX) 2 History and biography (01-XX) 2 Nonassociative rings and algebras (17-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 Algebraic geometry (14-XX) 1 Algebraic topology (55-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year