Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/adg/2006,
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77356-6},
  doi          = {10.1007/978-3-540-77356-6},
  isbn         = {978-3-540-77355-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/ChenW06,
  author       = {Xiaoyu Chen and
                  Dongming Wang},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Towards an Electronic Geometry Textbook},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {1--23},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_1},
  doi          = {10.1007/978-3-540-77356-6\_1},
  timestamp    = {Fri, 29 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/ChenW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Hales06,
  author       = {Thomas C. Hales},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Equidecomposable Quadratic Regions},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {24--38},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_2},
  doi          = {10.1007/978-3-540-77356-6\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Hales06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/JanicicQ06,
  author       = {Predrag Janicic and
                  Pedro Quaresma},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Automatic Verification of Regular Constructions in Dynamic Geometry
                  Systems},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {39--51},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_3},
  doi          = {10.1007/978-3-540-77356-6\_3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/JanicicQ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/LebmeirR06,
  author       = {Peter Lebmeir and
                  J{\"{u}}rgen Richter{-}Gebert},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Recognition of Computationally Constructed Loci},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {52--67},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_4},
  doi          = {10.1007/978-3-540-77356-6\_4},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/LebmeirR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/LewisC06,
  author       = {Robert H. Lewis and
                  Evangelos A. Coutsias},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Algorithmic Search for Flexibility Using Resultants of Polynomial
                  Systems},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {68--79},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_5},
  doi          = {10.1007/978-3-540-77356-6\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/LewisC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Lichtblau06,
  author       = {Daniel Lichtblau},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Cylinders Through Five Points: Complex and Real Enumerative Geometry},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {80--97},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_6},
  doi          = {10.1007/978-3-540-77356-6\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Lichtblau06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/MichelucciF06,
  author       = {Dominique Michelucci and
                  Sebti Foufou},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Detecting All Dependences in Systems of Geometric Constraints Using
                  the Witness Method},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {98--112},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_7},
  doi          = {10.1007/978-3-540-77356-6\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/MichelucciF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/MontesR06,
  author       = {Antonio Montes and
                  Tom{\'{a}}s Recio},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive
                  Gr{\"{o}}bner Systems},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {113--138},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_8},
  doi          = {10.1007/978-3-540-77356-6\_8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/MontesR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Narboux06,
  author       = {Julien Narboux},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Mechanical Theorem Proving in Tarski's Geometry},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {139--156},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_9},
  doi          = {10.1007/978-3-540-77356-6\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Narboux06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Pech06,
  author       = {Pavel Pech},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {On the Need of Radical Ideals in Automatic Proving: {A} Theorem About
                  Regular Polygons},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {157--170},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_10},
  doi          = {10.1007/978-3-540-77356-6\_10},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Pech06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Roanes-MaciasR06,
  author       = {Eugenio Roanes{-}Mac{\'{\i}}as and
                  Eugenio Roanes{-}Lozano},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {171--188},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_11},
  doi          = {10.1007/978-3-540-77356-6\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Roanes-MaciasR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Todd06,
  author       = {Philip H. Todd},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Geometry Expressions: {A} Constraint Based Interactive Symbolic Geometry
                  System},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {189--202},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_12},
  doi          = {10.1007/978-3-540-77356-6\_12},
  timestamp    = {Mon, 27 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/Todd06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/YangZ06,
  author       = {Lu Yang and
                  Zhenbing Zeng},
  editor       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {Constructing a Tetrahedron with Prescribed Heights and Widths},
  booktitle    = {Automated Deduction in Geometry, 6th International Workshop, {ADG}
                  2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4869},
  pages        = {203--211},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-77356-6\_13},
  doi          = {10.1007/978-3-540-77356-6\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/YangZ06.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.