E (theorem prover) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "E (theorem prover)" in English language version.

refsWebsite

Global rank English rank

8web.archive.org

1^st place

8doi.org

2^nd place

6miami.edu

4,511^th place

2,800^th place

2psu.edu

207^th place

136^th place

1dhbw-stuttgart.de

low place

1eprover.org

low place

1metapress.com

8,671^st place

7,934^th place

1gilith.com

low place

1uni-sb.de

low place

1aaai.org

9,352^nd place

5,696^th place

1soton.ac.uk

6,219^th place

4,029^th place

aaai.org

Ramachandran, Deepak; Pace Reagan; Keith Goolsbery (2005). "First-Orderized ResearchCyc : Expressivity and Efficiency in a Common-Sense Ontology" (PDF). AAAI Workshop on Contexts and Ontologies: Theory, Practice and Applications. AAAI.

dhbw-stuttgart.de

wwwlehre.dhbw-stuttgart.de

"news on E's website". Retrieved 10 July 2017.

doi.org

Schulz, Stephan (2004). "System Description: E 0.81". Automated Reasoning. Lecture Notes in Computer Science. Vol. 3097. pp. 223–228. doi:10.1007/978-3-540-25984-8_15. ISBN 978-3-540-22345-0.
Schulz, Stephan (2001). "Learning Search Control Knowledge for Equational Theorem Proving". KI 2001: Advances in Artificial Intelligence. Lecture Notes in Computer Science. Vol. 2174. pp. 320–334. doi:10.1007/3-540-45422-5_23. ISBN 978-3-540-42612-7.
Sutcliffe, Geoff (2009). "The 4th IJCAR Automated Theorem Proving System Competition--CASC-J4". AI Communications. 22 (1): 59–72. doi:10.3233/AIC-2009-0441. Retrieved 16 December 2009.
Meng, Jia; Lawrence C. Paulson (2004). Experiments on Supporting Interactive Proof Using Resolution. Lecture Notes in Computer Science. Vol. 3097. Springer. pp. 372–384. CiteSeerX 10.1.1.62.5009. doi:10.1007/978-3-540-25984-8_28. ISBN 978-3-540-22345-0.
Benzmüller, Christoph; Lawrence C. Paulson; Frank Theiss; Arnaud Fietzke (2008). "LEO-II – A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)". Automated Reasoning (PDF). Lecture Notes in Computer Science. Vol. 5195. Springer. pp. 162–170. doi:10.1007/978-3-540-71070-7_14. ISBN 978-3-540-71069-1. Archived from the original (PDF) on 15 June 2011. Retrieved 20 December 2009.
Korovin, Konstantin (2008). "iProver—an instantiation-based theorem prover for first-order logic". Automated Reasoning. Lecture Notes in Computer Science. Vol. 5195. pp. 292–298. doi:10.1007/978-3-540-71070-7_24. ISBN 978-3-540-71069-1.
Ranise, Silvio; David Déharbe (2003). "Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs". Electronic Notes in Theoretical Computer Science. 86 (1). 4th International Workshop on First-Order Theorem Proving: Elsevier: 109–119. doi:10.1016/S1571-0661(04)80656-X.{{cite journal}}: CS1 maint: location (link)
Denney, Ewen; Bernd Fischer; Johan Schumann (2006). "An Empirical Evaluation of Automated Theorem Provers in Software Certification". International Journal on Artificial Intelligence Tools. 15 (1): 81–107. CiteSeerX 10.1.1.163.4861. doi:10.1142/s0218213006002576. Archived from the original on 24 February 2012. Retrieved 19 December 2009.

eprover.org

Schulz, Stephan (2008). "The E Equational Theorem Prover". Retrieved 24 March 2009.

gilith.com

ttvsi.gilith.com

Paulson, Lawrence C. (2008). "Automation for Interactive Proof: Techniques, Lessons and Prospects" (PDF). Tools and Techniques for Verification of System Infrastructure – A Festschrift in Honour of Professor Michael J. C. Gordon FRS: 29–30. Retrieved 19 December 2009.

metapress.com

iospress.metapress.com

Sutcliffe, Geoff (2009). "The 4th IJCAR Automated Theorem Proving System Competition--CASC-J4". AI Communications. 22 (1): 59–72. doi:10.3233/AIC-2009-0441. Retrieved 16 December 2009.

miami.edu

cs.miami.edu

Schulz, Stephan (2008). "Entrants System Descriptions: E 1.0pre and EP 1.0pre". Archived from the original on 15 June 2009. Retrieved 24 March 2009.
Sutcliffe, Geoff. "The CADE ATP System Competition". Archived from the original on 2 March 2009. Retrieved 24 March 2009.
"FOF division of CASC in 2008". Archived from the original on 15 June 2009. Retrieved 19 December 2009.
Sutcliffe, Geoff (2010). "The CADE ATP System Competition". University of Miami. Archived from the original on 29 June 2010. Retrieved 20 July 2010.
Sutcliffe, Geoff (2011). "The CADE ATP System Competition". University of Miami. Archived from the original on 12 August 2011. Retrieved 14 August 2011.
Sutcliffe, Geoff; et al. (2009). The 4th IJCAR ATP System Competition (PDF). Archived from the original (PDF) on 17 June 2009. Retrieved 18 December 2009.

psu.edu

citeseerx.ist.psu.edu

Meng, Jia; Lawrence C. Paulson (2004). Experiments on Supporting Interactive Proof Using Resolution. Lecture Notes in Computer Science. Vol. 3097. Springer. pp. 372–384. CiteSeerX 10.1.1.62.5009. doi:10.1007/978-3-540-25984-8_28. ISBN 978-3-540-22345-0.
Denney, Ewen; Bernd Fischer; Johan Schumann (2006). "An Empirical Evaluation of Automated Theorem Provers in Software Certification". International Journal on Artificial Intelligence Tools. 15 (1): 81–107. CiteSeerX 10.1.1.163.4861. doi:10.1142/s0218213006002576. Archived from the original on 24 February 2012. Retrieved 19 December 2009.

soton.ac.uk

eprints.ecs.soton.ac.uk

Denney, Ewen; Bernd Fischer; Johan Schumann (2006). "An Empirical Evaluation of Automated Theorem Provers in Software Certification". International Journal on Artificial Intelligence Tools. 15 (1): 81–107. CiteSeerX 10.1.1.163.4861. doi:10.1142/s0218213006002576. Archived from the original on 24 February 2012. Retrieved 19 December 2009.

uni-sb.de

ags.uni-sb.de

Benzmüller, Christoph; Lawrence C. Paulson; Frank Theiss; Arnaud Fietzke (2008). "LEO-II – A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)". Automated Reasoning (PDF). Lecture Notes in Computer Science. Vol. 5195. Springer. pp. 162–170. doi:10.1007/978-3-540-71070-7_14. ISBN 978-3-540-71069-1. Archived from the original (PDF) on 15 June 2011. Retrieved 20 December 2009.

web.archive.org

Schulz, Stephan (2008). "Entrants System Descriptions: E 1.0pre and EP 1.0pre". Archived from the original on 15 June 2009. Retrieved 24 March 2009.
Sutcliffe, Geoff. "The CADE ATP System Competition". Archived from the original on 2 March 2009. Retrieved 24 March 2009.
"FOF division of CASC in 2008". Archived from the original on 15 June 2009. Retrieved 19 December 2009.
Sutcliffe, Geoff (2010). "The CADE ATP System Competition". University of Miami. Archived from the original on 29 June 2010. Retrieved 20 July 2010.
Sutcliffe, Geoff (2011). "The CADE ATP System Competition". University of Miami. Archived from the original on 12 August 2011. Retrieved 14 August 2011.
Sutcliffe, Geoff; et al. (2009). The 4th IJCAR ATP System Competition (PDF). Archived from the original (PDF) on 17 June 2009. Retrieved 18 December 2009.
Benzmüller, Christoph; Lawrence C. Paulson; Frank Theiss; Arnaud Fietzke (2008). "LEO-II – A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)". Automated Reasoning (PDF). Lecture Notes in Computer Science. Vol. 5195. Springer. pp. 162–170. doi:10.1007/978-3-540-71070-7_14. ISBN 978-3-540-71069-1. Archived from the original (PDF) on 15 June 2011. Retrieved 20 December 2009.
Denney, Ewen; Bernd Fischer; Johan Schumann (2006). "An Empirical Evaluation of Automated Theorem Provers in Software Certification". International Journal on Artificial Intelligence Tools. 15 (1): 81–107. CiteSeerX 10.1.1.163.4861. doi:10.1142/s0218213006002576. Archived from the original on 24 February 2012. Retrieved 19 December 2009.