BibTeX records: Wenjun Wu 0003

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Wenjun Wu 0003

download as .bib file

@article{DBLP:journals/fcsc/WuG07,
  author       = {Wenjun Wu and
                  Xiao{-}Shan Gao},
  title        = {Mathematics mechanization and applications after thirty years},
  journal      = {Frontiers Comput. Sci. China},
  volume       = {1},
  number       = {1},
  pages        = {1--8},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11704-007-0001-8},
  doi          = {10.1007/S11704-007-0001-8},
  timestamp    = {Mon, 19 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fcsc/WuG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/WuG06,
  author       = {Wen{-}tsun Wu and
                  Xiao{-}Shan Gao},
  title        = {Automated Reasoning and Equation Solving with the Characteristic Set
                  Method},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {21},
  number       = {5},
  pages        = {756--764},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11390-006-0756-7},
  doi          = {10.1007/S11390-006-0756-7},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/WuG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Wen-Tsun05,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  editor       = {Manuel Kauers},
  title        = {On a finite kernel theorem for polynomial-type optimization problems
                  and some of its applications},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {4},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073887},
  doi          = {10.1145/1073884.1073887},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Wen-Tsun05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/giae/Wu04,
  author       = {Wen{-}tsun Wu},
  editor       = {Hongbo Li and
                  Peter J. Olver and
                  Gerald Sommer},
  title        = {On Wintner's Conjecture About Central Configurations},
  booktitle    = {Computer Algebra and Geometric Algebra with Applications, 6th International
                  Workshop, {IWMM} 2004, Shanghai, China, May 19-21, 2004, and International
                  Workshop, {GIAE} 2004, Xian, China, May 24-28, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3519},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11499251\_1},
  doi          = {10.1007/11499251\_1},
  timestamp    = {Thu, 04 May 2023 13:46:57 +0200},
  biburl       = {https://dblp.org/rec/conf/giae/Wu04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Wu03,
  author       = {Wen{-}tsun Wu},
  editor       = {Atsushi Ohori},
  title        = {On a Method of Global Optimization},
  booktitle    = {Programming Languages and Systems, First Asian Symposium, {APLAS}
                  2003, Beijing, China, November 27-29, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2895},
  pages        = {1},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40018-9\_1},
  doi          = {10.1007/978-3-540-40018-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Wu03.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    = {Tue, 19 Nov 2019 15:07:32 +0100},
  biburl       = {https://dblp.org/rec/conf/adg/Wen-Tsun98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Wen-Tsun97,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  editor       = {William McCune},
  title        = {The Char-Set Method and Its Applications to Automated Reasoning},
  booktitle    = {Automated Deduction - CADE-14, 14th International Conference on Automated
                  Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1249},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63104-6\_1},
  doi          = {10.1007/3-540-63104-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Wen-Tsun97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0074585,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  title        = {Mechanical Theorem Proving in Geometries - Basic Principles},
  series       = {Texts {\&} Monographs in Symbolic Computation},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/978-3-7091-6639-0},
  doi          = {10.1007/978-3-7091-6639-0},
  isbn         = {978-3-211-82506-8},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0074585.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isaac/Wen-Tsun94,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Polynomial Equations-Solving and its Applications},
  booktitle    = {Algorithms and Computation, 5th International Symposium, {ISAAC} '94,
                  Beijing, P. R. China, August 25-27, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {834},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_159},
  doi          = {10.1007/3-540-58325-4\_159},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Wen-Tsun94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wen-Tsun91,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  title        = {Mechanical Theorem Proving of Differential Geometries and Some of
                  its Applications in Mechanics},
  journal      = {J. Autom. Reason.},
  volume       = {7},
  number       = {2},
  pages        = {171--191},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF00243806},
  doi          = {10.1007/BF00243806},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wen-Tsun91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Wen-tsun87,
  author       = {Wen{-}tsun Wu},
  editor       = {James H. Davenport},
  title        = {A zero structure theorem for polynomial-equations-solving and its
                  applications},
  booktitle    = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
                  June 2-5, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {378},
  pages        = {44},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-51517-8\_84},
  doi          = {10.1007/3-540-51517-8\_84},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Wen-tsun87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wen-Tsun86,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  title        = {Basic Principles of Mechanical Theorem Proving in Elementary Geometries},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {3},
  pages        = {221--252},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02328447},
  doi          = {10.1007/BF02328447},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wen-Tsun86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

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.