Automated Deduction in Geometry - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540666721, 9783540479970
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Application of Automatic Theorem Proving in Computer Vision

1999 ◽  
pp. 207-232 ◽  
Author(s):  
Didier Bondyfalat ◽  
Bernard Mourrain ◽  
Théodore Papadopoulo
Keyword(s):  
Computer Vision ◽  
Theorem Proving ◽  
Automatic Theorem Proving ◽  
Automatic Theorem

Decomposing Algebraic Varieties

1999 ◽  
pp. 180-206 ◽  
Author(s):  
Dongming Wang
Keyword(s):  
Algebraic Varieties

scholarly journals Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle

1999 ◽  
pp. 47-66 ◽  
Author(s):  
Jacques D. Fleuriot ◽  
Lawrence C. Paulson
Keyword(s):  
Nonstandard Analysis

Clifford Term Rewriting for Geometric Reasoning in 3D

1999 ◽  
pp. 130-156 ◽  
Author(s):  
Thierry Boy de la Tour ◽  
Stéphane Fèvre ◽  
Dongming Wang
Keyword(s):  
Term Rewriting ◽  
Geometric Reasoning

Readable Machine Solving in Geometry and ICAI Software MSG

1999 ◽  
pp. 67-85 ◽  
Author(s):  
Chuan-Zhong Li ◽  
Jhing-Zhong Zhang
Load More ...
Sign in / Sign up

Export Citation Format

Share Document