A review and prospect of readable machine proofs for geometry theorems (Q2439882)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A review and prospect of readable machine proofs for geometry theorems |
scientific article |
Statements
A review and prospect of readable machine proofs for geometry theorems (English)
0 references
18 March 2014
0 references
automated geometry reasoning
0 references
coordinate-free method
0 references
formal logic method
0 references
geometric inequality
0 references
intelligent geometry software
0 references
machine learning
0 references
mechanical theorem proving
0 references
readable machine proof
0 references
search method
0 references
0 references
0 references
0 references
0 references
0 references
