A Probabilistic Algorithm for Verification of Geometric Theorems
暂无分享,去创建一个
[1] Chee-Keng Yap,et al. Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving , 2000, Automated Deduction in Geometry.
[2] Lu Yang,et al. The Parallel Numerical Method of Mechanical Theorem Proving , 1990, Theor. Comput. Sci..
[3] W. Brownawell. Bounds for the degrees in the Nullstellensatz , 1987 .
[4] Sabine Stifter,et al. Automated geometry theorem proving using Buchberger's algorithm , 1986, SYMSAC '86.
[5] Giovanni Gallo,et al. Wu-Ritt Characteristic Sets and Their Complexity , 1990, Discrete and Computational Geometry.
[6] Shang-Ching Chou,et al. An introduction to Wu's method for mechanical theorem proving in geometry , 1988, Journal of Automated Reasoning.
[7] J. Kollár. Sharp effective Nullstellensatz , 1988 .
[8] Wenjun Wu,et al. Basic principles of mechanical theorem proving in elementary geometries , 1986, Journal of Automated Reasoning.
[9] Giovanni Gallo,et al. Efficient algorithms and bounds for Wu-Ritt characteristic sets , 1991 .
[10] Deepak Kapur,et al. Algebraic and geometric reasoning using Dixon resultants , 1994, ISSAC '94.
[11] J Hong. CAN WE PROVE GEOMETRY THEOREM BY COMPUTING AN EXAMPLE , 1986 .
[12] Deepak Kapur,et al. Using Gröbner Bases to Reason About Geometry Problems , 1986, J. Symb. Comput..
[13] Jacob T. Schwartz,et al. Fast Probabilistic Algorithms for Verification of Polynomial Identities , 1980, J. ACM.
[14] Dongming Wang. A new theorem discovered by computer prover , 1989 .
[15] Richard Bellman. ON PROVING THEOREMS IN PLANE GEOMETRY VIA DIGITAL COMPUTER , 1966 .
[16] Giovanni Gallo,et al. Probabilistic Verification of Elementary Geometry Statements , 1996, Automated Deduction in Geometry.
[17] Xiao-Shan Gao,et al. MMP/Geometer - A Software Package for Automated Geometric Reasoning , 2002, Automated Deduction in Geometry.