Mechanical theorem proving in geometry plays an important role in the research of automated reasoning. In this paper, we introduce three kinds of computerized methods for geometrical theorem proving: the first is Wu ’ s method in the international community, the second is elimination point method and the third is lower dimension method
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts I...
The aim of this diploma thesis Computer aided verification and proving of geometric theorems is veri...
Includes bibliographical references (pages 70-71)Over twenty years ago, H.R. Gelernter developed a\u...
Abstract. Wu’s method on mechanical theorem proving in geometries is a well-known method. Ordering o...
A survey of the main procedures for automatic theorem proving in geometry is presented
Abstract: Wu’s Method for proving geometric theorems is well known. We inves-tigate the underlying a...
AbstractWe clarify the formulation problem of mechanical theorem proving in differential geometry an...
Abstract. We present a set of rules based on full-angles as the basis of automated geometry theorem ...
In 1977 Wu Wen-tsiin discovered an efficient method for mechanical theorem proving. This method has ...
Wu’s Method for proving geometric theorems is well known. We investigate the underlying algorithms i...
International audienceThis paper describes the mechanization of the proofs of the first height chapt...
Article dans revue scientifique avec comité de lecture.International audienceThis article presents o...
A zero decomposition algorithm is presented and used to devise a method for proving theorems automat...
Over the past 25 years highly successful methods for geometry theorem proving have been developed. W...
It is a difficult problem which is left since the Euclid times to find a mechanical method to prove ...
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts I...
The aim of this diploma thesis Computer aided verification and proving of geometric theorems is veri...
Includes bibliographical references (pages 70-71)Over twenty years ago, H.R. Gelernter developed a\u...
Abstract. Wu’s method on mechanical theorem proving in geometries is a well-known method. Ordering o...
A survey of the main procedures for automatic theorem proving in geometry is presented
Abstract: Wu’s Method for proving geometric theorems is well known. We inves-tigate the underlying a...
AbstractWe clarify the formulation problem of mechanical theorem proving in differential geometry an...
Abstract. We present a set of rules based on full-angles as the basis of automated geometry theorem ...
In 1977 Wu Wen-tsiin discovered an efficient method for mechanical theorem proving. This method has ...
Wu’s Method for proving geometric theorems is well known. We investigate the underlying algorithms i...
International audienceThis paper describes the mechanization of the proofs of the first height chapt...
Article dans revue scientifique avec comité de lecture.International audienceThis article presents o...
A zero decomposition algorithm is presented and used to devise a method for proving theorems automat...
Over the past 25 years highly successful methods for geometry theorem proving have been developed. W...
It is a difficult problem which is left since the Euclid times to find a mechanical method to prove ...
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts I...
The aim of this diploma thesis Computer aided verification and proving of geometric theorems is veri...
Includes bibliographical references (pages 70-71)Over twenty years ago, H.R. Gelernter developed a\u...
DOI
Add to ORKG