Computers, Reasoning and Mathematical Practice


Download Links

by Ursula Martin
Citations:6 - 2 self

Active Bibliography

3 ΩMEGA: Computer supported mathematics – Jörg Siekmann, Christoph Benzmüller - 2004
4 Proof Representations in Theorem Provers – Geoffrey Norman Watson, Geoffrey Norman Watson - 1998
2 Automated Reasoning: Past Story and New Trends* – Andrei Voronkov
Computational Discovery in Pure Mathematics – Simon Colton
7 Designing a Theorem Prover – Lawrence C Paulson - 1990
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
6 A Perspective On Symbolic Mathematical Computing And Artificial Intelligence – J. Calmet, J.A. Campbell - 1997
20 Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment – Ramayya Kumar, Klaus Schneider, Thomas Kropf - 1993
Eugenio Roanes-Lozano a,2 Nicolas van Labeke b – How To Cite, Eugenio Van Labeke, Eugenio Connecting The D, Cas Maple
3 Towards Concurrent Resource Managed Deduction – Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge - 1999
Random Generator – Dor Abrahamson A, Dor Abrahamson - 2009
The cognitive basis of arithmetic – Helen De Cruz, Hansjörg Neth, Dirk Schlimm
Resolution – Tomer Líbal, Betreuung Univ. Prof, Dr. Phil Alex, Er Leitsch, Technische Universität Wien, Tomer Líbal, Advisor Univ. Prof, Dr. Phil Alex, Er Leitsch, Technische Universität Wien, Tomer Líbal, Bruno Woltzenlogel Paleo, Martin Riener, David Cerna, Mikheil Rukhaia, Paolo Baldi
Automated Theorem Proving and Its Prospects – Desmond Fearnley-sander
1 A Design Framework for System Re-engineering – Liu Chen, X. Liu, Z. Chen, H. Yang, H. Zedan, William C. Chu - 1997
3 Formal Methods For The Re-Engineering of Computing Systems – X. Liu, H. Yang, H. Zedan - 1997
4 A Grand Challenge of Theorem Discovery – Geoff Sutcliffe, Yi Gao, Simon Colton - 2003
12 Formal proof—theory and practice – John Harrison - 2008