26 search results - page 1 / 6 » A New Approach for Automatic Theorem Proving in Real Geometr... |
JAR
1998
13 years 4 months ago
1998
JAR
2000
13 years 4 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
AAAI
2000
13 years 6 months ago
2000
The game of Hex is a two-player game with simple rules, a deep underlying mathematical beauty, and a strategic complexity comparable to that of Chess and Go. The massive game-tree...
DIAGRAMS
2004
Springer
13 years 10 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
ADG
2006
Springer
13 years 8 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...