Automated reasoning (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Automated reasoning" in English language version.

refsWebsite

Global rank English rank

3doi.org

2^nd place

3semanticscholar.org

11^th place

8^th place

2psu.edu

207^th place

136^th place

2stanford.edu

179^th place

183^rd place

2utexas.edu

916^th place

706^th place

1ams.org

451^st place

277^th place

1cornell.edu

332^nd place

246^th place

1springer.com

274^th place

309^th place

1swarthmore.edu

5,943^rd place

3,671^st place

1sri.com

low place

1books.google.com

3^rd place

1unibo.it

4,963^rd place

7,139^th place

1arxiv.org

69^th place

59^th place

1cam.ac.uk

670^th place

480^th place

1inria.fr

4,903^rd place

3,679^th place

ams.org

C. Hales, Thomas "Formal Proof", University of Pittsburgh. Retrieved on 2010-10-19

arxiv.org

Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W. (2016). "Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer". Theory and Applications of Satisfiability Testing – SAT 2016. Lecture Notes in Computer Science. Vol. 9710. pp. 228–245. arXiv:1605.00723. doi:10.1007/978-3-319-40970-2_15. ISBN 978-3-319-40969-6. S2CID 7912943.

books.google.com

Shankar, N. (1994), Metamathematics, Machines, and Gödel's Proof, Cambridge, UK: Cambridge University Press, ISBN 9780521585330

cam.ac.uk

cl.cam.ac.uk

Harrison, John HOL Light: an overview. Retrieved 2010-10-23

cornell.edu

cs.cornell.edu

"Automated Deduction (AD)", [The Nature of PRL Project]. Retrieved on 2010-10-19

doi.org

Russinoff, David M. (1992), "A Mechanical Proof of Quadratic Reciprocity", J. Autom. Reason., 8 (1): 3–21, doi:10.1007/BF00263446, S2CID 14824949
Gonthier, G.; et al. (2013), "A Machine-Checked Proof of the Odd Order Theorem" (PDF), in Blazy, S.; Paulin-Mohring, C.; Pichardie, D. (eds.), Interactive Theorem Proving, Lecture Notes in Computer Science, vol. 7998, pp. 163–179, CiteSeerX 10.1.1.651.7964, doi:10.1007/978-3-642-39634-2_14, ISBN 978-3-642-39633-5, S2CID 1855636
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W. (2016). "Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer". Theory and Applications of Satisfiability Testing – SAT 2016. Lecture Notes in Computer Science. Vol. 9710. pp. 228–245. arXiv:1605.00723. doi:10.1007/978-3-319-40970-2_15. ISBN 978-3-319-40969-6. S2CID 7912943.

inria.fr

coq.inria.fr

Introduction to Coq. Retrieved 2010-10-23

psu.edu

citeseerx.ist.psu.edu

Defourneaux, Gilles, and Nicolas Peltier. "Analogy and abduction in automated deduction." IJCAI (1). 1997.
Gonthier, G.; et al. (2013), "A Machine-Checked Proof of the Odd Order Theorem" (PDF), in Blazy, S.; Paulin-Mohring, C.; Pichardie, D. (eds.), Interactive Theorem Proving, Lecture Notes in Computer Science, vol. 7998, pp. 163–179, CiteSeerX 10.1.1.651.7964, doi:10.1007/978-3-642-39634-2_14, ISBN 978-3-642-39633-5, S2CID 1855636

semanticscholar.org

api.semanticscholar.org

Russinoff, David M. (1992), "A Mechanical Proof of Quadratic Reciprocity", J. Autom. Reason., 8 (1): 3–21, doi:10.1007/BF00263446, S2CID 14824949
Gonthier, G.; et al. (2013), "A Machine-Checked Proof of the Odd Order Theorem" (PDF), in Blazy, S.; Paulin-Mohring, C.; Pichardie, D. (eds.), Interactive Theorem Proving, Lecture Notes in Computer Science, vol. 7998, pp. 163–179, CiteSeerX 10.1.1.651.7964, doi:10.1007/978-3-642-39634-2_14, ISBN 978-3-642-39633-5, S2CID 1855636
Heule, Marijn J. H.; Kullmann, Oliver; Marek, Victor W. (2016). "Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer". Theory and Applications of Satisfiability Testing – SAT 2016. Lecture Notes in Computer Science. Vol. 9710. pp. 228–245. arXiv:1605.00723. doi:10.1007/978-3-319-40970-2_15. ISBN 978-3-319-40969-6. S2CID 7912943.

springer.com

Martin Davis (1983). "The Prehistory and Early History of Automated Deduction". In Jörg Siekmann; G. Wrightson (eds.). Automation of Reasoning (1) — Classical Papers on Computational Logic 1957–1966. Heidelberg: Springer. pp. 1–28. ISBN 978-3-642-81954-4. Here: p.15

sri.com

csl.sri.com

Shankar, Natarajan Little Engines of Proof, Computer Science Laboratory, SRI International. Retrieved 2010-10-19

stanford.edu

plato.stanford.edu

"Principia Mathematica", at Stanford University. Retrieved 2010-10-19
Automated Reasoning, Stanford Encyclopedia. Retrieved 2010-10-10

swarthmore.edu

cs.swarthmore.edu

"The Logic Theorist and its Children". Retrieved 2010-10-18

unibo.it

cs.unibo.it

Gonthier, G.; et al. (2013), "A Machine-Checked Proof of the Odd Order Theorem" (PDF), in Blazy, S.; Paulin-Mohring, C.; Pichardie, D. (eds.), Interactive Theorem Proving, Lecture Notes in Computer Science, vol. 7998, pp. 163–179, CiteSeerX 10.1.1.651.7964, doi:10.1007/978-3-642-39634-2_14, ISBN 978-3-642-39633-5, S2CID 1855636

utexas.edu

cs.utexas.edu

The Boyer-Moore Theorem Prover Retrieved on 2010-10-23
Boyer, Robert S. and Moore, J Strother and Passmore, Grant Olney The PLTP Archive. Retrieved on 2023-07-27