Talk:E (theorem prover)/Archive 1

More sources
User: Abductive requested more outside sources. In principle, everything in , , qualifies - these are direct scientific references to one of the published descriptions of E. Some particularly apropos ones are: --Stephan Schulz (talk) 21:53, 14 December 2009 (UTC)
 * The CASC articles describing E's performance in the CADE ATP System Competition, e.g. ,,, , ...
 * discusses the reconstruction of E proofs in Isabelle (theorem prover)
 * describes the use of E in a verification environment
 * compares E to a new tool (including E) used for verification tasks
 * compares SPASS, E, and Vampire on the Opencyc corpus
 * compares E and other provers on software certification tasks at NASA

My Thoughts On the Stephan Schulz Article

 * As per User:Enric Naval, I will Be Bold and transfer most of the article to here — possibly as a footnote. I invite discussion.--NBahn (talk) 13:38, 19 December 2009 (UTC)
 * Thanks. I have reordered the article and I have created an "author" section. Cramming the whole text into a footnote looked horrible :-) I just had to change it. --Enric Naval (talk) 17:00, 19 December 2009 (UTC)
 * Thank you for your effort! I knew that it looked bad, but I couldn't think of any other way to do it!  You're right; it looks much better now.--NBahn (talk) 23:29, 19 December 2009 (UTC)

Author Section
This section does seem to be rather overly-positive in tone. -- Eraserhead1 &lt;talk&gt; 11:37, 24 February 2010 (UTC)
 * OK I have boldly removed the section - the author is named in the into; no more is needed as he is notable only (if at all) as the author. Springnuts (talk) 23:43, 24 February 2010 (UTC)