Search dblp for Publications

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

 download as .bib file

@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}
}
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.