default search action

combined dblp search
author search
venue search
publication search

ask others

1st ADG 1996: Toulouse, France

> Home > Conferences and Workshops > ADG

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adg/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/1996
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
- view
  authority control:
- export record
  dblp key:
  - conf/adg/Kapur96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/Kapur96
Deepak Kapur:
Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets. 1-36
- view
  authority control:
- export record
  dblp key:
  - conf/adg/Tran96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/Tran96
Quoc-Nam Tran:
Extended Dixon's Resultant and Its Applications. 37-57
- view
  authority control:
- export record
  dblp key:
  - conf/adg/SturmW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/SturmW96
Thomas Sturm, Volker Weispfenning:
Computational Geometry Problems in REDLOG. 58-86
- view
  authority control:
- export record
  dblp key:
  - conf/adg/FerroGG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/FerroGG96
Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro:
Probabilistic Verification of Elementary Geometry Statements. 87-101
- view
  authority control:
- export record
  dblp key:
  - conf/adg/Havel96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/Havel96
Timothy F. Havel:
Computational Synthetic Geometry with Clifford Algebra. 102-114
- view
  authority control:
- export record
  dblp key:
  - conf/adg/Wang96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/Wang96
Dongming Wang:
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. 115-140
- view
  authority control:
- export record
  dblp key:
  - conf/adg/Fearnley-SanderS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/Fearnley-SanderS96
Desmond Fearnley-Sander, Timothy Stokes:
Area in Grassmann Geometry. 141-170
- view
  authority control:
- export record
  dblp key:
  - conf/adg/YangGCZ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/YangGCZ96
Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang:
Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries. 171-188
- view
  authority control:
- export record
  dblp key:
  - conf/adg/HillgarterW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/HillgarterW96
Erik Hillgarter, Franz Winkler:
Points on Algebraic Curves and the Parametrization Problem. 189-207
- view
  authority control:
- export record
  dblp key:
  - conf/adg/ShiZ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/ShiZ96
He Shi, Fengmei Zou:
Flat Central Configurations of Four Planet Motions. 208-217
- view
  authority control:
- export record
  dblp key:
  - conf/adg/Fevre96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/Fevre96
Stéphane Fèvre:
Integration of Reasoning and Algebraic Calculus in Geometry. 218-234

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.