Reasoning about surfaces using differential zero and ideal decomposition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2061, Issue , 2001, Pages 154-174

  Aubry, Philippe ^a   Wang, Dongming ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

THEOREM PROVING;

ALGEBRAIC RELATIONS; IDEAL DECOMPOSITIONS; PARTIAL DIFFERENTIAL;

GEOMETRY;

EID: 27644575753     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45410-1_10     Document Type: Conference Paper

References (29)

1. Aubry, P. (1999). Ensembles triangulaires de polynômes et rèsolution de syst`emes algèbriques. Implantation en Axiom. Ph.D. thesis, Universitè Paris VI, France.
2. Aubry, P., Lazard, D., Moreno Maza, M. (1999). On the theories of triangular sets. J. Symb. Comput. 28: 105–124.
3. Boulier, F., Lazard, D., Ollivier, F., Petitot, M. (1995). Representation for the radical of a finitely generated differential ideal. In: Levelt, A. H. M. (ed.): Proc. ISSAC’95, Montreal, Canada, ACM Press, New York, pp. 158–166.
4. Boulier, F., Lazard, D., Ollivier, F., Petitot, M. (1998). Computing representation for radicals of finitely generated differential ideals. Preprint, LIFL, Universitè Lille I, France.
5. Boulier, F., Lemaire, F. (2000). Computing canonical representatives of regular differential ideals. In: Traverso, C. (ed.): Proc. ISSAC’2000, St. Andrews, Scotland, ACM Press, New York, pp. 38–47.
6. Buchberger, B. (1985). Gröibner bases: An algorithmic method for polynomial ideal theory. In: Bose, N. K. (ed): Multidimensional Systems Theory, D. Reidel, Dordrecht, pp. 184–232.
7. Carrà Ferro, G., Gallo, G. (1990). A procedure to prove statements in differential geometry. J. Automat. Reason. 6: 203–209.
8. Chou, S.-C., Gao, X.-S. (1993). Automated reasoning in differential geometry and mechanics using the characteristic set method — Part I. An improved version of Ritt–Wu’s decomposition algorithm. Part II. Mechanical theorem proving. J. Automat. Reason. 10: 161–189.
9. Hubert, E. (1999). The diffalg package. http://daisy.uwaterloo.ca/∼ehubert/Diff alg/.
10. Hubert, E. (2000). Factorization-free decomposition algorithms in differential algebra. J. Symb. Comput. 29: 641–662.
11. Kalkbrener, M. (1991). Three Contributions to Elimination Theory. Ph.D. thesis, Johannes Kepler University, Austria.
12. Kalkbrener, M. (1998). Algorithmic properties of polynomial rings. J. Symb. Comput. 26: 525–581.
13. Klingenberg, W. (1978). A Course in Differential Geometry. Translated by D. Hoffman. Springer, New York.
14. Kreyszig, E. (1968). Introduction to Differential Geometry and Riemannian Geometry. University of Toronto Press, Tornoto.
15. Li, H. (1997). Mechanical theorem proving in differential geometry — Local theory of surfaces. Sci. China (Ser. A) 40: 350–356.
16. Li, H., Cheng, M. (1998). Clifford algebraic reduction method for automated theorem proving in differential geometry. J. Automat. Reason. 21: 1–21.
17. Li, Z. (1995). Mechanical theorem proving in the local theory of surfaces. Ann. Math. Artif. Intell. 13: 25–46.
18. Li, Z., Wang, D. (1999). Coherent, regular and simple systems in zero decompositions of partial differential systems. Syst. Sci. Math. Sci. 12 (Suppl.): 43–60.
19. Ritt, J. F. (1950). Differential Algebra. Amer. Math. Soc., New York.
20. Rosenfeld, A. (1959). Specializations in differential algebra. Trans. Amer. Math. Soc. 90: 394–407.
21. Seidenberg, A. (1956). An elimination theory for differential algebra. Univ. California Publ. Math. (N.S.) 3(2): 31–66.
22. Wang, D. (1995). A method for proving theorems in differential geometry and mechanics. J. Univ. Comput. Sci. 1: 658–673.
23. Wang, D. (1996). An elimination method for differential polynomial systems I. Syst. Sci. Math. Sci. 9: 216–228.
24. Wang, D. (1998). Decomposing polynomial systems into simple systems. J. Symb. Comput. 25: 295–314.
25. Wang, D. (2000). Automated reasoning about surfaces (progress report). In: Richter-Gebert, J.,Wang, D. (eds.): Proc. ADG 2000, Zurich, Switzerland, September 25–27, 2000, pp. 183–196.
26. Wu, W.-t. (1979). On the mechanization of theorem-proving in elementary differential geometry (in Chinese). Sci. Sinica Special Issue on Math. (I): 94–102.
27. Wu, W.-t. (1987). A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem-proving of differential geometries. In: Gu, C., Berger, M., Bryant, R. L. (eds.): Differential Geometry and Differential Equations, LNM 1255, Springer, Berlin, pp. 173–189.
28. Wu, W.-t. (1989). On the foundation of algebraic differential geometry. Syst. Sci. Math. Sci. 2: 289–312.
29. Wu, W.-t. (1991). Mechanical theorem proving of differential geometries and some of its applications in mechanics. J. Automat. Reason. 7: 171–191.