|
|
Realization of automatic reasoning system of geometry based on point-eliminating method
Hui-min LUO
Journal of Computer Applications
In order to realize the readable proofs in geometry and improve the efficiency of reason, the design and implementation of an automatic reasoning system for structive geometry statements was introduced in the paper. Users can input the prerequisites of geometry statements by graphic-drawing method that the system provided. Most structive geometry statements in elementary geometry can be proved and resolved automatically with readable proofs, which can meet the needs of education and research on elementary or high geometry.
Related Articles |
Metrics
|
|