Jamnik, Mateja - Computer Laboratory, University of Cambridge

Advanced Search

Jamnik, Mateja - Computer Laboratory, University of Cambridge

Experiments with an Agent-oriented Reasoning System
THE UNIVERSITY OF BIRMINGHAM
Informal Human Mathematical Reasoning Mateja Jamnik
Electronic Notes in Theoretical Computer Science 86 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages
On Automating Diagrammatic Proofs of Arithmetic Arguments \Lambda
Verification of Diagrammatic Proofs Mateja Jamnik, Alan Bundy, Ian Green
Automatic Learning of Proof Methods in Proof Planning
Can Decision Procedures be Learnt Automatically?
Resource Guided Concurrent Deduction Christoph Benzmueller ? ; Mateja Jamnik ? ; Manfred Kerber ? ; Volker Sorge y
Psychological Validity of Schematic Proofs Mateja Jamnik 1 and Alan Bundy 2
Electronic Notes in Theoretical Computer Science 23 No. 3 (1999) URL: http://www.elsevier.nl/locate/entcs/volume23.html 12 pages
THE UNIVERSITY OF BIRMINGHAM
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains
Diagrammatic Reasoning in Separation Logic M. Ridsdale1
Combined Reasoning by Automated Cooperation
Can machines reason? Humans often use diagrams for reasoning, but can computers do the same?
Informal Human Mathematical Reasoning Mateja Jamnik
Resource Guided Concurrent Deduction Christoph Benzmueller ; Mateja Jamnik ; Manfred Kerber ; Volker Sorge
THE UNIVERSITY OF BIRMINGHAM
Combined Reasoning by Automated Cooperation #
Computer scientist and a woman? Linus Torvalds, Bill Gates, Steve Jobs, Sergey Brin... what do they have in common?
Automation of Diagrammatic Proofs in Mathematics \Lambda Mateja Jamnik, Alan Bundy, Ian Green y
An Experimental Comparison of Diagrammatic and Algebraic Logics
Heterogeneous Reasoning in Real Arithmetic M. Urbas and M. Jamnik
THE UNIVERSITY OF BIRMINGHAM
Can a Higher-Order and a First-Order Theorem Prover Cooperate? ?
What is a proof? By Alan Bundy1