Basic principles of mechanical theorem proving in elementary geometrics
Journal of Automated Reasoning
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Ritt-Wu's decomposition algorithm and geometry theorem proving
CADE-10 Proceedings of the tenth international conference on Automated deduction
Geometric reasoning
Wu's method and its application to perspective viewing
Geometric reasoning
Multilinear cayley factorization
Journal of Symbolic Computation
Some examples of the use of distances as coordinates for Euclidean geometry
Journal of Symbolic Computation
Geometry theorem proving in vector spaces by means of Gröbner bases
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Three-dimensional computer vision: a geometric viewpoint
Three-dimensional computer vision: a geometric viewpoint
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Modeling and rendering architecture from photographs: a hybrid geometry- and image-based approach
SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision
Selected Papers from the International Workshop on Automated Deduction in Geometry
Geometry Machines: From AI to SMC
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
From Projective to Euclidean Space Under any Practical Situation, a Criticism of Self-Calibration
ICCV '98 Proceedings of the Sixth International Conference on Computer Vision
Inter-block backtracking: exploiting the structure in continuous CSPs
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Hi-index | 0.00 |
Getting accurate construction of tridimensional CAD models is a field of great importance: with the increasing complexity of the models that modeling tools can manage nowadays, it becomes more and more necessary to construct geometrically accurate descriptions. Maybe the most promising technique, because of its full generality, is the use of automatic geometric tools: these can be used for checking the geometrical coherency and discovering geometrical properties of the model. In this paper, we describe an automatic method for constructing the model of a given geometrical configuration and for discovering the theorems of this configuration. This approach motivated by 3D modeling problems is based on characteristic set techniques and generic polynomials in the bracket algebra.