![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/adg/adg2002.bht:"
@proceedings{DBLP:conf/adg/2002, editor = {Franz Winkler}, title = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b95516}, doi = {10.1007/B95516}, isbn = {3-540-20927-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Bodnar02, author = {G{\'{a}}bor Bodn{\'{a}}r}, editor = {Franz Winkler}, title = {Algorithmic Tests for the Normal Crossing Property}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {1--20}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_1}, doi = {10.1007/978-3-540-24616-9\_1}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/adg/Bodnar02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/ChenW02, author = {XueFeng Chen and DingKang Wang}, editor = {Franz Winkler}, title = {The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {21--30}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_2}, doi = {10.1007/978-3-540-24616-9\_2}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/ChenW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/CorvezR02, author = {Solen Corvez and Fabrice Rouillier}, editor = {Franz Winkler}, title = {Using Computer Algebra Tools to Classify Serial Manipulators}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {31--43}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_3}, doi = {10.1007/978-3-540-24616-9\_3}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/CorvezR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/GaoL02, author = {Xiao{-}Shan Gao and Qiang Lin}, editor = {Franz Winkler}, title = {MMP/Geometer - {A} Software Package for Automated Geometric Reasoning}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {44--66}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_4}, doi = {10.1007/978-3-540-24616-9\_4}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/GaoL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Grabe02, author = {Hans{-}Gert Gr{\"{a}}be}, editor = {Franz Winkler}, title = {The SymbolicData {GEO} Records - {A} Public Repository of Geometry Theorem Proof Schemes}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {67--86}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_5}, doi = {10.1007/978-3-540-24616-9\_5}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/Grabe02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/JermannNT02, author = {Christophe Jermann and Bertrand Neveu and Gilles Trombettoni}, editor = {Franz Winkler}, title = {A New Structural Rigidity for Geometric Constraint Systems}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {87--106}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_6}, doi = {10.1007/978-3-540-24616-9\_6}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/JermannNT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Li02, author = {Hongbo Li}, editor = {Franz Winkler}, title = {Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {106--123}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_7}, doi = {10.1007/978-3-540-24616-9\_7}, timestamp = {Thu, 04 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/Li02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/OwenP02, author = {John C. Owen and Steve C. Power}, editor = {Franz Winkler}, title = {The Nonsolvability by Radicals of Generic 3-connected Planar Graphs}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {124--131}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_8}, doi = {10.1007/978-3-540-24616-9\_8}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/OwenP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/PaskoA02, author = {Alexander A. Pasko and Valery Adzhiev}, editor = {Franz Winkler}, title = {Function-Based Shape Modeling: Mathematical Framework and Specialized Language}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {132--160}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_9}, doi = {10.1007/978-3-540-24616-9\_9}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/PaskoA02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/ShalabyJS02, author = {Mohamed Shalaby and Bert J{\"{u}}ttler and Josef Schicho}, editor = {Franz Winkler}, title = {C\({}^{\mbox{1}}\) Spline Implicitization of Planar Curves}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {161--177}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_10}, doi = {10.1007/978-3-540-24616-9\_10}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/ShalabyJS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Tchoupaeva02, author = {Irina Tchoupaeva}, editor = {Franz Winkler}, title = {Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gr{\"{o}}bner Bases Method}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {178--193}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_11}, doi = {10.1007/978-3-540-24616-9\_11}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/Tchoupaeva02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Wang02, author = {Dongming Wang}, editor = {Franz Winkler}, title = {{GEOTHER} 1.1: Handling and Proving Geometric Theorems Automatically}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {194--215}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_12}, doi = {10.1007/978-3-540-24616-9\_12}, timestamp = {Tue, 19 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adg/Wang02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Yang02, author = {Lu Yang}, editor = {Franz Winkler}, title = {Distance Coordinates Used in Geometric Constraint Solving}, booktitle = {Automated Deduction in Geometry, 4th International Workshop, {ADG} 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2930}, pages = {216--229}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-24616-9\_13}, doi = {10.1007/978-3-540-24616-9\_13}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/Yang02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.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.