default search action
Search dblp for Publications
export results for "toc:db/conf/adg/adg2000.bht:"
@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} }
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.