@inproceedings{02bd6878a1ea48b59d35a9c8bef0583d,
title = "Algebraic factoring and geometry theorem proving",
abstract = "Two methods for polynomial factorization over algebraic extension fields are reviewed. It is explained how geometric theorems may be proved by using irreducible zero decomposition for which algebraic factoring is necessary. A set of selected geometric theorems are taken as examples to illustrate how algebraic factoring can help understand the ambiguity of a theorem and prove it even if its algebraic formulation does not precisely correspond to the geometric statement. Among the polynomials occurring in our examples which need to be algebraically factorized, 12 are presented. Experiments with the two factoring methods for these polynomials are reported in comparison with the Maple{\textquoteright}s built-in factorizer. Our methods are always faster and any of the 12 polynomials can be factorized within 40 CPU seconds on a SUN SparcServer 690/51. Timings for proving the example theorems are also provided.",
author = "Dongming Wang",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1994.; 12th International Conference on Automated Deduction, CADE-12 1994 ; Conference date: 26-06-1994 Through 01-07-1994",
year = "1994",
doi = "10.1007/3-540-58156-1\_27",
language = "英语",
isbn = "9783540581567",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "386--400",
editor = "Alan Bundy",
booktitle = "Automated Deduction — CADE-12 - 12th International Conference on Automated Deduction, Proceedings",
address = "德国",
}