Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/adg/1998,
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-47997-X},
  doi          = {10.1007/3-540-47997-X},
  isbn         = {3-540-66672-9},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/BondyfalatMP98,
  author       = {Didier Bondyfalat and
                  Bernard Mourrain and
                  Th{\'{e}}odore Papadopoulo},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {An Application of Automatic Theorem Proving in Computer Vision},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {207--231},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_11},
  doi          = {10.1007/3-540-47997-X\_11},
  timestamp    = {Tue, 19 Nov 2019 15:07:32 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/BondyfalatMP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Dolzmann98,
  author       = {Andreas Dolzmann},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Solving Geometric Problems with Real Quantifier Elimination},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {14--29},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_2},
  doi          = {10.1007/3-540-47997-X\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Dolzmann98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Fearnley-Sander98,
  author       = {Desmond Fearnley{-}Sander},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Plane Euclidian Reasoning},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {86--110},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_6},
  doi          = {10.1007/3-540-47997-X\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Fearnley-Sander98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/FleuriotP98,
  author       = {Jacques D. Fleuriot and
                  Lawrence C. Paulson},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard
                  Analysis in Isabelle},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {47--66},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_4},
  doi          = {10.1007/3-540-47997-X\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/FleuriotP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Gao98,
  author       = {Xiao{-}Shan Gao},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Automated Geometry Diagram Construction and Engineering Geometry},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {232--257},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_12},
  doi          = {10.1007/3-540-47997-X\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Gao98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Lee98,
  author       = {Jae Yeol Lee},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {A 2D Geometric Constraint Solver for Parametric Design Using Graph
                  Analysis and Reduction},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {258--274},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_13},
  doi          = {10.1007/3-540-47997-X\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Lee98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Li98,
  author       = {Hongbo Li},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Some Applications of Clifford Algebra to Geometries},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {156--179},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_9},
  doi          = {10.1007/3-540-47997-X\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Li98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/LiZ98,
  author       = {Chuan{-}Zhong Li and
                  Jing{-}Zhong Zhang},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Readable Machine Solving in Geometry and {ICAI} Software {MSG}},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {67--85},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_5},
  doi          = {10.1007/3-540-47997-X\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/LiZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/OuL98,
  author       = {Zongying Ou and
                  Jun Liu},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Variant Geometry Analysis and Synthesis in Mechanical {CAD}},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {275--286},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_14},
  doi          = {10.1007/3-540-47997-X\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/OuL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/TourFW98,
  author       = {Thierry Boy de la Tour and
                  St{\'{e}}phane F{\`{e}}vre and
                  Dongming Wang},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Clifford Term Rewriting for Geometric Reasoning in 3D},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {130--155},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_8},
  doi          = {10.1007/3-540-47997-X\_8},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/TourFW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Wang98,
  author       = {Dongming Wang},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Decomposing Algebraic Varieties},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {180--206},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_10},
  doi          = {10.1007/3-540-47997-X\_10},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/Wang98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/Wen-Tsun98,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_1},
  doi          = {10.1007/3-540-47997-X\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/Wen-Tsun98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/YangHX98,
  author       = {Lu Yang and
                  Xiaorong Hou and
                  Bican Xia},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {Automated Discovering and Proving for Geometric Inequalities},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {30--46},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_3},
  doi          = {10.1007/3-540-47997-X\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/YangHX98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adg/YangZF98,
  author       = {Haiquan Yang and
                  Shugong Zhang and
                  Guochen Feng},
  editor       = {Xiao{-}Shan Gao and
                  Dongming Wang and
                  Lu Yang},
  title        = {A Clifford Algebraic Method for Geometric Reasoning},
  booktitle    = {Automated Deduction in Geometry, Second International Workshop, ADG'98,
                  Beijing, China, August 1-3, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1669},
  pages        = {111--129},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47997-X\_7},
  doi          = {10.1007/3-540-47997-X\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/YangZF98.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.