Robotics and Automatic Geometric Theorem Proving

2015 ◽  
pp. 291-343
Author(s):  
David A. Cox ◽  
John Little ◽  
Donal O’Shea
Keyword(s):  
Theorem Proving ◽  
Geometric Theorem

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving

1999 ◽  
Vol 39 (1,2) ◽  
pp. 85-104 ◽  
Author(s):  
Stéphane Fèvre ◽  
Dongming Wang
Keyword(s):  
Theorem Proving ◽  
Term Rewriting ◽  
Geometric Theorem ◽  
Algebraic Computing

Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method

2016 ◽  
Vol 59 (3) ◽  
pp. 331-344 ◽  
Author(s):  
Jie Zhou ◽  
Dingkang Wang ◽  
Yao Sun
Keyword(s):  
Theorem Proving ◽  
Gröbner Basis ◽  
Grobner Basis ◽  
Geometric Theorem ◽  
Basis Method

Remarks on Geometric Theorem Proving

2001 ◽  
pp. 104-128 ◽  
Author(s):  
Laura Bazzotti ◽  
Giorgio Dalzotto ◽  
Lorenzo Robbiano
Keyword(s):  
Theorem Proving ◽  
Geometric Theorem
Sign in / Sign up

Export Citation Format

Share Document