Geometric theorem proving by integrated logical and algebraic reasoning

&
Artificial Intelligence 75 (1):93-113 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)00064-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.
Theorem proving in infinitesimal geometry.J. Fleuriot - 2001 - Logic Journal of the IGPL 9 (3):447-474.
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
The A Priori Meaningfulness Measure and Resolution Theorem Proving.Joseph S. Fulda & Kevin De Fontes - 1989 - Journal of Experimental and Theoretical Artificial Intelligence 1 (3):227-230.
Theorem Proving and Model Building with the Calculus KE.Jeremy Pitt & Jim Cunningham - 1996 - Logic Journal of the IGPL 4 (1):129-150.
An Approach to Glivenko's Theorem in Algebraizable Logics.Antoni Torrens Torrell - 2008 - Studia Logica 88 (3):349 - 383.
Effective Higher-Order Automated Theorem Proving with integrated Descente Infinie and Presburger Arithmetic LEO-III.Benzmüller Christoph & Wirth Claus-Peter - 2009
Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle.Hai-Ping Ko - 1988 - Artificial Intelligence 37 (1-3):95-122.
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
An Approach to Glivenko’s Theorem in Algebraizable Logics.Antoni Torrens - 2008 - Studia Logica 88 (3):349-383.
Bridging Theorem Proving and Mathematical Knowledge Retrieval.Christoph Benzmüller, Andreas Meier & Volker Sorge - 2004 - In Dieter Hutter (ed.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer. pp. 277-296.
Geometric significance of the spinor Lie derivative. II.V. Jhangiani - 1978 - Foundations of Physics 8 (7-8):593-601.
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.Michael J. C. Gordon & Tom F. Melham - 1993

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,379,768)

6 months
3 (#967,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Geometric reasoning with logic and algebra.Dennis S. Arnon - 1988 - Artificial Intelligence 37 (1-3):37-60.

Add more references