Geometric theorem proving by integrated logical and algebraic reasoning
From MaRDI portal
Publication:1855223
DOI10.1016/0004-3702(94)00064-8zbMath1013.68535OpenAlexW2053294589MaRDI QIDQ1855223
Tomoaki Nitta, Takashi Matsuyama
Publication date: 4 February 2003
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(94)00064-8
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Geometric reasoning with logic and algebra
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Using Gröbner bases to reason about geometry problems
- Automated reasoning in geometry theorem proving with Prolog
- Proving geometry theorems with rewrite rules
- Wu's method and its application to perspective viewing
- A refutational approach to geometry theorem proving
- Plane geometry theorem proving using forward chaining
This page was built for publication: Geometric theorem proving by integrated logical and algebraic reasoning
