A numerical replacement of computer algebra methods for the derivation of polynomial equations in mechanics

Advances in Engineering Software

Volumn 28, Issue 8, 1997, Pages 539-547

  Ioakimidis, Nikolaos I ^a  

^a UNIVERSITY OF PATRAS   (Greece)

Author keywords

Compatibility equations; Computer algebra; Cracks; Elasticity; Fracture mechanics; Linear equations; Numerical coefficient determination; Polynomial equations

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; CRACKS; ELASTICITY; FRACTURE MECHANICS; NUMERICAL ANALYSIS; NUMERICAL METHODS;

COMPATIBILITY EQUATIONS; COMPUTER ALGEBRA METHODS; NUMERICAL COEFFICIENT DETERMINATION;

POLYNOMIALS;

EID: 0031268071     PISSN: 09659978     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0965-9978(97)00032-X     Document Type: Article

References (30)

1. Cerutti, E. and Davis, P. J., FORMAC meets Pappus: some observations on elementary analytic geometry by computer. Amer. Math. Monthly, 1969, 76, 895-905.
2. Buchberger, B., Applications of Gröbner bases in nonlinear computational geometry. In Trends in Computer Algebra, Proceedings of an International Symposium, Bad Neuenahr, May 1987. ed. R. Janßen. Lecture Notes in Computer Science, Vol. 296. Springer Verlag, Berlin, 1988, pp. 52-80.
3. Buchberger, B., Collins, G. E. and Kutzler, B., Algebraic methods for geometric reasoning. In Annual Review of Computer Science, Vol. 3, ed. J. F. Traub, B. J. Grosz, B. W. Lampson and N. J. Nilsson. Annual Reviews Inc., Palo Alto, CA, 1988, pp. 85-119.
4. Chou, S.-C., Mechanical Geometry Theorem Proving. Reidel, Dordrecht, 1988.
5. Wang, D.-M., An implementation of characteristic sets method in Maple. Report, in TeX format, 11 pages, distributed electronically with Maple V, release 2, 1993). Research Institute for Symbolic Computation, Johannes Kepler University, Linz, 1991.
6. González-López, M. J. and Recio, T., The ROMIN inverse geometric model and the dynamic evaluation method. In Computer Algebra in Industry; Problem Solving in Practice, Proceedings of the 1991 SCAFI Seminar at CWI, Dec. 1992, Amsterdam, ed. A. M. Cohen. Wiley, Chichester, 1993, pp. 117-141.
7. Geddes, K. O., Czapor, S. R. and Labahn, G., Algorithms for Computer Algebra. Kluwer, Boston, 1992.
8. Wu, W.-T., A mechanization method of geometry and its applications - I: distances, areas, and volumes. J. Systems Sci. Math. Sci., 1986, 6, 204-216.
9. Chou, S.-C., A method for mechanical derivation of formulas in elementary geometry. J. Automated Reasoning, 1987, 3, 291-299.
10. Chou, S.-C. and Gao, X.-S., Methods for mechanical geometry formula deriving. In ISSAC '90: Proceedings of the International Symposium on Symbolic and Algebraic Computation, Tokyo, Aug. 1990. ACM Press, New York and Addison-Wesley, Reading, MA, 1990, pp. 265-270.
11. Cox, D., Little, J. and O'Shea, D., Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer Verlag, New York, 1992.
12. Heck, A., Transformation between geocentric and geodetic coordinates. In Computer Algebra in Industry: Problem Solving in Practice, Proceedings of the 1991 SCAFI Seminar at CWI, Dec. 1992, Amsterdam, ed. A. M. Cohen. Wiley, Chichester, 1993, pp. 203-219.
13. Kalker-Kalkman, C. M., An implementation of Buchberger's algorithm with applications to robotics. Mech. Mach. Theory, 1993, 28, 523-537.
14. Ioakimidis, N. I. and Anastasselou, E. G., Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases. Comput. Methods Appl. Mech. Eng., 1993, 110, 103-111.
15. Anastasselou, E. G., Determination of the loading at infinity from the stress intensity factors with computer algebra software. Int. J. Fract., 1993, 63, R35-R39.
16. Ioakimidis, N. I. and Anastasselou, E. G., Derivation of the equation of caustics in Cartesian coordinates with Maple. Eng. Fract. Mech., 1994, 48, 147-149.
17. Ioakimidis, N. I. and Anastasselou, E. G., Gröbner bases in truss problems with Maple. Comput. Struct., 1994, 52, 1093-1096.
18. Ioakimidis, N.I., Detecting loading/geometrical singularities in isotropic elastic media with Gröbner bases. Submitted 1995.
19. Chou, S.-C., Automated reasoning in geometries using the characteristic set method and Gröbner basis method. In ISSAC '90: Proceedings of the International Symposium on Symbolic and Algebraic Computation, Tokyo, Aug. 1990. ACM Press, New York and Addison-Wesley, Reading, MA, 1990, pp. 255-260.
20. Wu, W.-T., Mechanical derivation of Newton's gravitational laws from Kepler's laws. M M Research Reprints, 1987, 1, 53-61.
21. Jenks, R. D. and Sutor, R. S., Axiom: The Scientific Computation System. NAG (The Numerical Algorithms Group), Oxford and Springer Verlag, New York, 1992.
22. Ioakimidis, N. I. and Anastasselou, E. G., Application of Gröbner bases to problems of movement of a particle. Computers Math. Applic., 1994, 27(3), 51-57.
23. Cohen, A. M., Davenport, J. H. and Heck, A. J. P., An overview of computer algebra. In Computer Algebra in Industry: Problem Solving in Practice, Proceedings of the 1991 SCAFI Seminar at CWI, Dec. 1992, Amsterdam, ed. A. M. Cohen. Wiley, Chichester, 1993, pp. 1-52.
24. Hironaka, H., Resolution of singularities of an algebraic variety over a field of characteristic zero: I, II. Ann. Math., 1964, 79, 109-326.
25. Buchberger, B., Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal). Doctoral dissertation, Mathematics Institute, University of Innsbruck, Innsbruck, 1965.
26. Becker, T., Weispfenning, V. and Kredel, H., Gröbner Bases: A Computational Approach to Commutative Algebra. Springer Verlag, New York, 1993.
27. Mishra, B., Algorithmic Algebra. Springer Verlag, New York, 1993.
28. Huynh, D. T., A superexponential lower bound for Gröbner bases and Church-Rosser commutative Thue systems. Inform. Control, 1986, 68, 196-206.
29. Neun, W. and Melenk, H., Very large Gröbner basis calculations. In Computer Algebra and Parallelism, Proceedings of the Second International Workshop, Ithaca, NY, May 1990, ed. R. Zippel. Lecture Notes in Computer Science, Vol. 584. Springer Verlag, Berlin, 1992, pp. 89-99.
30. 46 edited by Buchberger and Collins. Under these circumstances only time will show to what extent the computer and the computer-based algorithms will influence our research work and whether they will make the proof of existing results and the derivation of new ones really easier by moving part of the related heavy task from humans to human-made machines.