![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st ADG 1996: Toulouse, France
- Dongming Wang:
Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. Lecture Notes in Computer Science 1360, Springer 1997, ISBN 3-540-64297-8 - Deepak Kapur:
Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets. 1-36 - Quoc-Nam Tran:
Extended Dixon's Resultant and Its Applications. 37-57 - Thomas Sturm, Volker Weispfenning:
Computational Geometry Problems in REDLOG. 58-86 - Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro:
Probabilistic Verification of Elementary Geometry Statements. 87-101 - Timothy F. Havel:
Computational Synthetic Geometry with Clifford Algebra. 102-114 - Dongming Wang:
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. 115-140 - Desmond Fearnley-Sander, Timothy Stokes:
Area in Grassmann Geometry. 141-170 - Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang:
Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. 171-188 - Erik Hillgarter, Franz Winkler:
Points on Algebraic Curves and the Parametrization Problem. 189-207 - He Shi, Fengmei Zou:
Flat Central Configurations of Four Planet Motions. 208-217 - Stéphane Fèvre:
Integration of Reasoning and Algebraic Calculus in Geometry. 218-234
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.