Computers, Reasoning and Mathematical Practice

Cached

Download Links

by Ursula Martin
Citations:6 - 2 self

Active Bibliography

THE NATURE OF CONTEMPORARY CORE MATHEMATICS – Frank Quinn - 2010
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
Generating Proof Representation Structures – Magister Artium M. A, Philosophischen Fakultät, Nickolay Mitkov Kolev, Dass Die Arbeit, Nickolay Kolev Danksagung, Peter Koepke, Jip Veldman, Merlin Carl, Bernhard Fisseni Zusammenarbeit
3 Mathematical Intuition vs. Mathematical Monsters – Solomon Feferman - 1998
16 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
11 Computers in Mathematical Inquiry – Jeremy Avigad
4 Computers in mathematical inquiry – Jeremy Avigad - 2008
6 A Perspective On Symbolic Mathematical Computing And Artificial Intelligence – J. Calmet, J.A. Campbell - 1997
What’s experimental about experimental mathematics? ∗ – Henrik Kragh Sørensen - 2008
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
2 CDM: Teaching discrete mathematics to computer science majors – Klaus Sutner - 2005
Unification in Higher-order Resolution – Tomer Líbal - 2012
Automated Theorem Proving and Its Prospects – Desmond Fearnley-sander