kvmevolution.blogg.se

Wu, Z., Wang, L., Liu, Y.: The Dictionary of International Mathematical Olympiads, Volume of Geometry. Winkler, F.: Gröbner bases in geometry theorem proving and simplest degeneracy conditions. Wang, D.: Decomposing polynomial systems into simple systems. Wang, D.-K.: Wsolve: a Maple Package for Solving System of Polynomial Equations.

Stifter, S.: Geometry theorem proving in vector spaces by means of Gröbner bases. (ed.) Invariant Methods in Discrete and Computational Geometry, pp. Springer, Berlin (1999)Ĭrapo, H., Richter-Gebert, J.: Automatic proving of geometric theorems. (eds.) Some Tapas of Computer Algebra, Algorithms and Computations in Mathematics, vol. Recio, T., Sterk, H., Vélez, P.: Project: Automated Geometry Theorem proving. Li, H.: Symbolic computation in the homogeneous geometric model with Clifford algebra. Journal of Automated Reasoning 25, 83–121 (2000) Li, H., Cheng, M.-T.: Vectorial equation-solving for mechanical geometry theorem proving. 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.