Automated Reasoning
From MaRDI portal
Publication:5307070
DOI10.1007/b98691zbMath1126.68584MaRDI QIDQ5307070
Daniel Winterstein, Corin A. Gurr, Alan Bundy
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Related Items
Visual Mathematics: Diagrammatic Formalization and Proof, Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method, Efficient on-line algorithms for Euler diagram region computation, Vivid: a framework for heterogeneous problem solving, A graphical user interface for formal proofs in geometry, Automated theorem proving in Euler diagram systems, Speedith: a reasoner for spider diagrams, Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
Uses Software