Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/adg/2000,
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45410-1},
  doi          = {10.1007/3-540-45410-1},
  isbn         = {3-540-42598-5},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/AubryW00,
  author       = {Philippe Aubry and
                  Dongming Wang},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Reasoning about Surfaces Using Differential Zero and Ideal Decomposition},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {154--174},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_10},
  doi          = {10.1007/3-540-45410-1\_10},
  timestamp    = {Tue, 19 Nov 2019 15:07:32 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/AubryW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BazzottiDR00,
  author       = {Laura Bazzotti and
                  Giorgio Dalzotto and
                  Lorenzo Robbiano},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Remarks on Geometric Theorem Proving},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {104--128},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_7},
  doi          = {10.1007/3-540-45410-1\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/BazzottiDR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Bokowski00,
  author       = {J{\"{u}}rgen Bokowski},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Effective Methods in Computational Synthetic Geometry},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_11},
  doi          = {10.1007/3-540-45410-1\_11},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Bokowski00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/BulmerFS00,
  author       = {Michael Bulmer and
                  Desmond Fearnley{-}Sander and
                  Timothy Stokes},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {The Kinds of Truth of Geometry Theorems},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {129--142},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_8},
  doi          = {10.1007/3-540-45410-1\_8},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/BulmerFS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/CaferraPP00,
  author       = {Ricardo Caferra and
                  Nicolas Peltier and
                  Fran{\c{c}}ois Puitg},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Emphasizing Human Techniques in Automated Geometry Theorem Proving:
                  {A} Practical Realization},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {268--305},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_16},
  doi          = {10.1007/3-540-45410-1\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/CaferraPP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/ContiT00,
  author       = {Pasqualina Conti and
                  Carlo Traverso},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Algebraic and Semialgebraic Proofs: Methods and Paradoxes},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {83--103},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_6},
  doi          = {10.1007/3-540-45410-1\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/ContiT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/DehlingerDS00,
  author       = {Christophe Dehlinger and
                  Jean{-}Fran{\c{c}}ois Dufourd and
                  Pascal Schreck},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Higher-Order Intuitionistic Formalization and Proofs in Hilbert's
                  Elementary Geometry},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {306--324},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_17},
  doi          = {10.1007/3-540-45410-1\_17},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/DehlingerDS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Fleuriot00,
  author       = {Jacques D. Fleuriot},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Nonstandard Geometric Proofs},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {246--267},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_15},
  doi          = {10.1007/3-540-45410-1\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/Fleuriot00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/GaoHJ00,
  author       = {Xiao{-}Shan Gao and
                  Lei{-}Dong Huang and
                  Kun Jiang},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {A Hybrid Method for Solving Geometric Constraint Problems},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {16--25},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_2},
  doi          = {10.1007/3-540-45410-1\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/GaoHJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/Havel00,
  author       = {Timothy F. Havel},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Qubit Logic, Algebra and Geometry},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {228--245},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_14},
  doi          = {10.1007/3-540-45410-1\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Havel00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/HoffmannY00,
  author       = {Christoph M. Hoffmann and
                  Bo Yuan},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {On Spatial Constraint Solving Approaches},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_1},
  doi          = {10.1007/3-540-45410-1\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/HoffmannY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/KortenkampR00,
  author       = {Ulrich Kortenkamp and
                  J{\"{u}}rgen Richter{-}Gebert},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Decision Complexity in Dynamic Geometry},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {193--198},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_12},
  doi          = {10.1007/3-540-45410-1\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/KortenkampR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/LiW00,
  author       = {Hongbo Li and
                  Yihong Wu},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Automated Theorem Proving in Incidence Geometry - {A} Bracket Algebra
                  Based Elimination Method},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {199--227},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_13},
  doi          = {10.1007/3-540-45410-1\_13},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/LiW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/RouillierDS00,
  author       = {Fabrice Rouillier and
                  Mohab Safey El Din and
                  {\'{E}}ric Schost},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Solving the Birkhoff Interpolation Problem via the Critical Point
                  Method: An Experimental Study},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {26--40},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_3},
  doi          = {10.1007/3-540-45410-1\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/RouillierDS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/StokesB00,
  author       = {Timothy Stokes and
                  Michael Bulmer},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {A Complex Change of Variables for Geometrical Reasoning},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {143--153},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_9},
  doi          = {10.1007/3-540-45410-1\_9},
  timestamp    = {Mon, 01 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/StokesB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/TuloneYL00,
  author       = {Daniela Tulone and
                  Chee{-}Keng Yap and
                  Chen Li},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {Randomized Zero Testing of Radical Expressions and Elementary Geometry
                  Theorem Proving},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {58--82},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_5},
  doi          = {10.1007/3-540-45410-1\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/TuloneYL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adg/YangZ00,
  author       = {Lu Yang and
                  Ju Zhang},
  editor       = {J{\"{u}}rgen Richter{-}Gebert and
                  Dongming Wang},
  title        = {A Practical Program of Automated Proving for a Class of Geometric
                  Inequalities},
  booktitle    = {Automated Deduction in Geometry, Third International Workshop, {ADG}
                  2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2061},
  pages        = {41--57},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45410-1\_4},
  doi          = {10.1007/3-540-45410-1\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/YangZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics