Search dblp for Publications

export results for "toc:db/conf/adg/adg2002.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.