Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ADG 2002: Hagenberg Castle, Austria
- Franz Winkler:
Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers. Lecture Notes in Computer Science 2930, Springer 2004, ISBN 3-540-20927-1 - Gábor Bodnár:
Algorithmic Tests for the Normal Crossing Property. 1-20 - XueFeng Chen, DingKang Wang:
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. 21-30 - Solen Corvez, Fabrice Rouillier:
Using Computer Algebra Tools to Classify Serial Manipulators. 31-43 - Xiao-Shan Gao, Qiang Lin:
MMP/Geometer - A Software Package for Automated Geometric Reasoning. 44-66 - Hans-Gert Gräbe:
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. 67-86 - Christophe Jermann, Bertrand Neveu, Gilles Trombettoni:
A New Structural Rigidity for Geometric Constraint Systems. 87-106 - Hongbo Li:
Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. 106-123 - John C. Owen, Steve C. Power:
The Nonsolvability by Radicals of Generic 3-connected Planar Graphs. 124-131 - Alexander A. Pasko, Valery Adzhiev:
Function-Based Shape Modeling: Mathematical Framework and Specialized Language. 132-160 - Mohamed Shalaby, Bert Jüttler, Josef Schicho:
C1 Spline Implicitization of Planar Curves. 161-177 - Irina Tchoupaeva:
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method. 178-193 - Dongming Wang:
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. 194-215 - Lu Yang:
Distance Coordinates Used in Geometric Constraint Solving. 216-229
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
