default search action
Search dblp for Publications
export results for "toc:db/conf/adg/adg2004.bht:"
@proceedings{DBLP:conf/adg/2004, editor = {Hoon Hong and Dongming Wang}, title = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11615798}, doi = {10.1007/11615798}, isbn = {3-540-31332-X}, timestamp = {Tue, 19 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adg/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/BotanaR04, author = {Francisco Botana and Tom{\'{a}}s Recio}, editor = {Hoon Hong and Dongming Wang}, title = {Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {92--110}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_7}, doi = {10.1007/11615798\_7}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adg/BotanaR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/ChenLLW04, author = {XueFeng Chen and Peng Li and Long Lin and DingKang Wang}, editor = {Hoon Hong and Dongming Wang}, title = {Proving Geometric Theorems by Partitioned-Parametric Gr{\"{o}}bner Bases}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {34--43}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_3}, doi = {10.1007/11615798\_3}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/ChenLLW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/ChibisovMP04, author = {Dmytro Chibisov and Ernst W. Mayr and Sergey Pankratov}, editor = {Hoon Hong and Dongming Wang}, title = {Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {156--168}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_10}, doi = {10.1007/11615798\_10}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/ChibisovMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Denner-Broser04, author = {Britta Denner{-}Broser}, editor = {Hoon Hong and Dongming Wang}, title = {On the Decidability of Tracing Problems in Dynamic Geometry}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {111--129}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_8}, doi = {10.1007/11615798\_8}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/Denner-Broser04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Li04, author = {Hongbo Li}, editor = {Hoon Hong and Dongming Wang}, title = {\emph{n}D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {169--197}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_11}, doi = {10.1007/11615798\_11}, timestamp = {Thu, 04 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/Li04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/LiangW04, author = {Tielin Liang and Dongming Wang}, editor = {Hoon Hong and Dongming Wang}, title = {Towards a Geometric-Object-Oriented Language}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {130--155}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_9}, doi = {10.1007/11615798\_9}, timestamp = {Tue, 19 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adg/LiangW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Lichtblau04, author = {Daniel Lichtblau}, editor = {Hoon Hong and Dongming Wang}, title = {Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {70--91}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_6}, doi = {10.1007/11615798\_6}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/Lichtblau04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/MeikleF04, author = {Laura I. Meikle and Jacques D. Fleuriot}, editor = {Hoon Hong and Dongming Wang}, title = {Mechanical Theorem Proving in Computational Geometry}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {1--18}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_1}, doi = {10.1007/11615798\_1}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/MeikleF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/Pech04, author = {Pavel Pech}, editor = {Hoon Hong and Dongming Wang}, title = {Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {44--58}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_4}, doi = {10.1007/11615798\_4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/Pech04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/RobuITTB04, author = {Judit Robu and Tetsuo Ida and Dorin Tepeneu and Hidekazu Takahashi and Bruno Buchberger}, editor = {Hoon Hong and Dongming Wang}, title = {Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {19--33}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_2}, doi = {10.1007/11615798\_2}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/RobuITTB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/YangZ04, author = {Lu Yang and Zhenbing Zeng}, editor = {Hoon Hong and Dongming Wang}, title = {Symbolic Solution of a Piano Movers' Problem with Four Parameters}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {59--69}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_5}, doi = {10.1007/11615798\_5}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/YangZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adg/ZhangG04, author = {Gui{-}Fang Zhang and Xiao{-}Shan Gao}, editor = {Hoon Hong and Dongming Wang}, title = {Planar Generalized Stewart Platforms and Their Direct Kinematics}, booktitle = {Automated Deduction in Geometry, 5th International Workshop, {ADG} 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3763}, pages = {198--211}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11615798\_12}, doi = {10.1007/11615798\_12}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adg/ZhangG04.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.