![]() ![]() Li, H., Cheng, M.-T.: Proving theorems in elementary geometry with Clifford algebraic method. Kutzler, B., Stifter, S.: On the application of Buchberger’s algorithm to automated geometry theorem proving. Kapur, D.: Geometry theorem proving using Hilbert’s Nullstellensatz. Kapur, D.: Using Gröbner bases to reason about geometry problems. Gao, X.-S., Wang, D., Qiu, Z., Yang, H.: Equation Solving and Mechanical Proving: Problem Solving with MMP. Springer, New York, Berlin, Heidelberg (2000) World Scientific, Singapore (1994)Ĭox, D., Little, J., O’shea, D.: Ideal, Varieties, and Algorithms, 3rd edn. Academic Press, San Diego (1989)Ĭhou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. (eds.) Resolution of equations in algebraic structures, pp. Reidel Publishing Company, Dordrecht (1988)Ĭhou, S.-C., Schelter, W.F., Yang, J.-G.: Characteristic sets and Gröbner bases in geometry theorem proving. Reidel (1985)Ĭhou, S.-C.: Mechanical Geometry Theorem Proving. ![]() In: Recent Trends in Multidimensional Systems Theory. Buchberger, B.: Gröbner bases: an algorithmic method in polynomial ideal theory. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |