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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,894

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

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings.Jacques Calmet, International Conference on Artificial Intelligence and Symbolic Mathematical Computation & Calculemus - 2002 - Springer Verlag.
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.
An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning.Frank Malloy Brown - 1980 - Artificial Intelligence 14 (3):221-242.
Formal Methods in Artificial Intelligence.Allan Ramsay - 1988 - CUP Archive.
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.
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings.Jacques Calmet - 1998 - Boom Koninklijke Uitgevers.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Analytic resolution in theorem proving.D. Brand - 1976 - Artificial Intelligence 7 (4):285-318.
Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Geometric reasoning and artificial intelligence: Introduction to the special volume.Deepak Kapur & Joseph L. Mundy - 1988 - Artificial Intelligence 37 (1-3):1-11.

Analytics

Added to PP
2020-12-22

Downloads
12 (#1,471,016)

6 months
1 (#1,601,934)

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