Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition

International Journal of Solids and Structures

Volumn 34, Issue 30, 1997, Pages 4037-4070

  Ioakimidis, Nikolaos I ^a  

^a UNIVERSITY OF PATRAS   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BEAMS AND GIRDERS; FAILURE ANALYSIS; FRACTURE MECHANICS; PROBLEM SOLVING;

CYLINDRICAL ALGEBRAIC DECOMPOSITION (CAD);

STRUCTURAL ANALYSIS;

EID: 0031249209     PISSN: 00207683     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-7683(97)00002-4     Document Type: Article

References (129)

1. Anastasselou, E. G. (1995) Compatibility differential/difference equations in classical beam problems with the characteristic sets method. Advances in Engineering Software 22, 63-68.
2. Antes, H. and Panagiotopoulos, P. D. (1992) The Boundary Integral Approach to Static and Dynamic Contact Problems: Equality and Inequality Methods. Birkhäuser, Basel.
3. Arnborg, S. and Feng, H. (1988) Algebraic decomposition of regular curves. Journal of Symbolic Computation 5 (1-2), 131-140: Algorithms in Real Algebraic Geometry (special issue, eds. D. S. Arnon and B. Buchberger).
4. Arnborg, S. and Feng, H. (1988) Algebraic decomposition of regular curves. Journal of Symbolic Computation 5 (1-2), 131-140: Algorithms in Real Algebraic Geometry (special issue, eds. D. S. Arnon and B. Buchberger).
5. Arnon, D. S. (1981) Algorithms for the geometry of semi-algebraic sets. PhD thesis. University of Wiskonsin-Madison.
6. Arnon, D. S. (1985a) A cluster-based cylindrical algebraic decomposition algorithm. In Proceedings of EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204, Springer, Berlin, pp. 262-269.
7. Arnon, D. S. (1985a) A cluster-based cylindrical algebraic decomposition algorithm. In Proceedings of EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204, Springer, Berlin, pp. 262-269.
8. Arnon, D. S. (1985b) On mechanical quantifier elimination for elementary algebra and geometry: solution of a nontrivial problem. In Proceedings of EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204, Springer, Berlin, pp. 270-271.
9. Arnon, D. S. (1985b) On mechanical quantifier elimination for elementary algebra and geometry: solution of a nontrivial problem. In Proceedings of EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204, Springer, Berlin, pp. 270-271.
10. Arnon, D. S. (1988a) A cluster-based cylindrical algebraic decomposition algorithm. Journal of Symbolic Computation 5 (1-2), 189-212.
11. Arnon, D. S. (1988b) A bibliography of quantifier elimination for real closed fields. Journal of Symbolic Computation 5 (1-2), 261-274.
12. Arnon, D. S. (1988c) Geometry reasoning with logic and algebra. Artificial Intelligence 37, 37-60.
13. Arnon, D. S. and Buchberger, B. (1988) Algorithms in Real Algebraic Geometry. Academic Press, London.
14. Arnon, D. S., Collins, G. E. and McCallum, S. (1984a) Cylindrical algebraic decomposition I: the basic algorithm. SIAM Journal on Computing 13, 865-877.
15. Arnon, D. S., Collins, G. E. and McCallum, S. (1984b) Cylindrical algebraic decomposition II: an adjacency algorithm for the plane. SIAM Journal on Computing 13, 878-889.
16. Arnon, D. S., Collins, G. E. and McCallum, S. (1985) An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space. In Proceedings of EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204, Springer, Berlin, pp. 246-261.
17. Arnon, D. S., Collins, G. E. and McCallum, S. (1985) An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space. In Proceedings of EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204, Springer, Berlin, pp. 246-261.
18. Arnon, D. S., Collins, G. E. and McCallum, S. (1988) An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space. Journal of Symbolic Computation 5 (1-2), 163-187.
19. Arnon, D. S. and McCallum, S. (1982) Cylindrical algebraic decomposition by quantifier elimination. In Computer Algebra: EUROCAM '82, European Computer Algebra (Conference Proceedings, Marseille, April 1982, ed. J. Calmet). Lecture Notes in Computer Science, Vol. 144, Springer, Berlin, pp. 215-222.
20. Arnon, D. S. and McCallum, S. (1985) A polynomial-time algorithm for the topological type of a real algebraic curve. In Proceedings or EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204. Springer, Berlin, pp. 275-276.
21. Arnon, D. S. and McCallum, S. (1985) A polynomial-time algorithm for the topological type of a real algebraic curve. In Proceedings or EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204. Springer, Berlin, pp. 275-276.
22. Arnon, D. S. and McCallum, S. (1988) A polynomial-time algorithm for the topological type of a real algebraic curve. Journal of Symbolic Computation 5 (1-2), 189-212.
23. Arnon, D. S. and Mignotte, M. (1988) On mechanical quantifier elimination for elementary algebra and geometry. Journal of Symbolic Computation 5 (1-2), 237-259.
24. Bennati, S., Degl'Innocenti, S. and Padovani, C. (1993) On the sign of the internal stresses in a problem of plane elasticity. Journal of Elasticity 32, 155-174.
25. Brackx, F. and Constates, D. (1991) Computer Algebra with LISP and REDUCE: an Introduction to Computer-aided Pure Mathematics. Kluwer, Dordrecht.
26. Broek, D. (1974) Elementary Engineering Fracture Mechanics, Noordhoff, Leyden.
27. Brown, C. and Collins, G. E. (1996) Simple solution formula construction from truth invariant CADs. Presented to the 2nd IMACS Conference on Applications of Computer Algebra, RISC-Linz, July 1996.
28. Buchberger, B. et al. (The SACLIB Group) (1993) SACLIB 1.1 user's guide. RISC-Linz Technical Report No. 93-19. Research Institute for Symbolic Computation, Johannes Kepler University, Linz.
29. Buchberger, B., Collins, G. E. and Kutzler, B. (1988) Algebraic methods for geometric reasoning. In Annual Review of Computer Science (eds J. F. Traub, B. J. Grosz, B. W. Lampson and N. J. Nilsson), Vol. 3. Annual Reviews Inc., Palo Alto, CA, pp. 85-119.
30. Buchberger, B. and Hong, H. (1991) Speeding-up quantifier elimination by Gröbner bases. RISC-Linz Technical Report No. 91-06. Research Institute for Symbolic Computation, Johannes Kepler University, Linz.
31. Caviness, B. F. and Johnson, J. R., eds (1997) Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, Wien.
32. Champetier, C. and Magni, J. F. (1988) Pole assignment by output feedback using cylindrical algebraic decomposition. International Journal of Control 48, 2107-2120.
33. Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B. and Watt, S. M. (1991) Maple V Library Reference Manual. Springer, New York.
34. Chipot, M. (1984) Variational Inequalities and Flow in Porous Media. Springer, New York.
35. Collins, G. E. (1975) Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Proceedings of the Second GI Conference on Automata Theory and Formal Languages, Kaiserslautern, 1975, ed. H. Brakhage. Lecture Notes in Computer Science, Vol. 33, Springer, Berlin, pp. 134-183.
36. Collins, G. E. (1976) Quantifier elimination for real closed fields by cylindrical algebraic decomposition - a synopsis. ACM SIGSAM Bulletin 10 (1), 10-12.
37. Collins, G. E. (1982) Factorization in cylindrical algebraic decomposition abstract. In Computer Algebra: EUROCAM '82, European Computer Algebra (Conference Proceedings, Marseille, April, 1982, ed. J. Calmet). Lecture Notes in Computer Science, Vol. 144, Springer, Berlin, pp. 212-214.
38. Collins, G. E. (1983) Quantifier elimination for real closed fields: a guide to the literature. In Computer Algebra: Symbolic and Algebraic Computation, 2nd edn (eds B. Buchberger, G. E. Collins and R. Loos). Springer, Wien, pp. 79-81.
39. Collins, G. E. (1995) Application of quantifier elimination to Solotareff's approximation problem. RISC-Linz Technical Report No. 95-31. Research Institute for Symbolic Computation, Johannes Kepler University, Linz.
40. Collins, G. E. (1997) Quantifier elimination by cylindrical algebraic decomposition - twenty years of progress. In Quantifier Elimination and Cylindrical Algebraic Decomposition (eds B. F. Caviness and J. R. Johnson). Springer, Wien, pp. 8-23.
41. Collins, G. E. and Hong, H. (1991) Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation 12, 299-328.
42. Collins, G. E. and Johnson, J. R. (1989) Quantifier elimination and the sign variation method for real root isolation. In Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation (ISSAC '89), Portland, OR, July 1989 (ed. G. H. Gonnet). ACM Press, New York, pp. 264-271.
43. Collins, G. E. and McCallum, S. (1995) Adjacency algorithms for cylindrical algebraic decomposition of three and higher dimensional space I: adjacencies over a non-nullifying [0, 1] adjacency. RISC-Linz Technical Report No. 95-32. Research Institute for Symbolic Computation, Johannes Kepler University, Linz.
44. Computer Aided Mathematics Group of Symbolics, Inc. (1988) Macsyma User's Guide. Symbolics, Inc., Burlington, MA (now Macsyma, Inc., Arlington, MA).
45. Corless, R. M. (1995) Essential Maple: an Introduction for Scientific Programmers. Springer, New York.
46. Davenport, J. H. (1985) Computer algebra for cylindrical algebraic decomposition, Technical Report TRITA-NA-8511, Department of Numerical Analysis and Computer Science (NADA), The Royal Institute of Technology (KTH), S-100.44 Stockholm.
47. Davenport, J. H. and Heintz, J. (1988) Real quantifier elimination is doubly exponential. Journal of Symbolic Computation 5 (1-2), 29-35.
48. Davenport, J. H., Siret, Y. and Tournier, E. (1993) Computer Algebra: Systems and Algorithms for Algebraic Computation, 2nd English edn. Academic Press, London.
49. Duffin, R. J. (1948) On a question of Hadamard concerning super-biharmonic functions. Journal of Mathematics and Physics 27, 253-258.
50. Fitting, M. (1996) First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, New York.
51. Gdoutos, E. E. (1984) Problems of Mixed Mode Crack Propagation. Martinus Nijhoff, The Hague.
52. Gladwell, G. M. L. (1980) Contact Problems in the Classical Theory of Elasticity. Sijthoff & Noordhoff, Alphen aan den Rijn, The Netherlands.
53. González, L., Lombardi, H., Recio, T. and Roy, M.-F. (1989) Sturm-Habicht sequence. In Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation (ISSAC '89), Portland, OR, July 1989 (ed. G. H. Gonnet). ACM Press, New York, pp. 136-146.
54. González-Campos, E.-N. and González-Vega, L. (1996) Global projection operators for the cylindrical algebraic decomposition algorithm. Presented to the 2nd IMACS Conference on Applications of Computer Algebra, RISC-Linz, July 1996.
55. González-Vega, L. (1993) A combinatorial algorithm solving some quantifier elimination problems. Report Núm. 11-1993, Departamento de Matemáticas, Estadística y Computación, Universitad de Cantabria, Santander, Spain.
56. Haftka, R. T. and Gürdal, Z. (1992) Elements of Structural Optimization, 3rd edn. Kluwer, Dordrecht.
57. Heal, K. M., Hansen, M. L. and Rickard, K. M. (1996) Maple V: Learning Guide. Springer, New York.
58. Hlaváček, I., Haslinger, J., Nečas, J. and Lovišek, J. (1988) Solution of Variational Inequalities in Mechanics. Springer, New York.
59. Hong, H. (1990a) An improvement of the projection operator in cylindrical algebraic decomposition. In Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC '90). Tokyo, August 1990 (eds S. Watanabe and M. Nagata). ACM Press, New York, and Addison-Wesley, Reading, MA, pp. 261-264.
60. Hong, H. (1990b) Improvements in CAD-based quantifier elimination. PhD thesis, The Ohio State University.
61. Hong, H. (1991a) Collision problems by an improved CAD-based quantifier elimination algorithm, RISC-Linz Technical Report No. 91-05. Research Institute for Symbolic Computation, Johannes Kepler University, Linz.
62. Hong, H. (1991b) Comparison of several decision algorithms for the existential theory of the reals. RISC-Linz Technical Report No. 91-41. Research Institute for Symbolic Computation, Johannes Kepler University, Linz.
63. Hong, H. (1992) Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC '92), Berkeley, CA, June 1992 (ed. P. S. Wang). ACM Press, New York, pp. 177-188.
64. Hong, H., ed. (1993a) Computational Quantifier Elimination. Special issue of The Computer Journal 36 (5).
65. Hong, H. (1993b) Quantifier elimination for formulas constrained by quadratic equations via slope resultants. The Computer Journal 36, 439-449.
66. Hong, H. (1993c) Parallelization of quantifier elimination on a workstation network. In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Proceedings of the 10th International Symposium AAECC-10, San Juan, Puerto Rico, May 1993 (eds G. Cohen, T. Mora and O. Moreno). Lecture Notes in Computer Science, Vol. 673, pp. 170-179, Springer, Berlin.
67. Hong, H. (1993d) Heuristic search strategies for cylindrical algebraic decomposition. In Artificial Intelligence and Symbolic Mathematical Computing, Proceedings of the International Conference AISMC-1, Karlsruhe, August 1992 (eds J. Calmet and J. A. Campbell). Lecture Notes in Computer Science, Vol. 737, pp. 152-165, Springer, Berlin.
68. Hong, H., Jahn, M., Liska, R., Robidoux, N. and Steinberg, S. (1995) Parallel quantifier elimination on SP2. In Electronic Proceedings of the 1st International IMACS Conference on Applications of Computer Algebra, Albuquerque, May 1995.
69. Hong, H. and Jakus, D. (1996) Testing positiveness of polynomials. RISC-Linz Technical Report No. 96-02. Research Institute for Symbolic Computation, Johannes Kepler University, Linz.
70. Hong, H. and Neubacher, A. (1996) Approximate quantifier elimination. Presented to the 2nd IMACS Conference on Applications of Computer Algebra, RISC-Linz, July 1996.
71. Ioakimidis, N. I. (1993) Elementary applications of MATHEMATICA to the solution of elasticity problems by the finite element method. Computer Methods in Applied Mechanics and Engineering 102, 29-40.
72. Ioakimidis, N. I. (1995a) Application of quantifier elimination to a simple elastic beam finite element below a straight rigid obstacle. Mechanics Research Communications 22, 271-278.
73. Ioakimidis, N. I. (1995b) An inequality constraint for the deflection of an elastic beam under a uniform distributed loading. Strojnicky Casopis 46, 229-242.
74. Ioakimidis, N.I. (1996a) Deciding in elasticity problems by using Sturm's theorem. Computers and Structures 58, 123-131.
75. Ioakimidis, N. I. (1996b) Inequality constraints in rectangular finite/boundary elements. Computers and Structures 60, 415-431.
76. Ioakimidis, N. I. (1996c) Beams on tensionless elastic foundation: approximate quantifier elimination with Chebyshev series. International Journal for Numerical Methods in Engineering 39, 663-686.
77. Ioakimidis, N. I. (1996d) Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading. Acta Mechanica 117, 229-235.
78. Ioakimidis, N. I. (1996e) Inequality constraints in one-dimensional finite elements for an elastic beam on a tensionless Winkler foundation. Finite Elements in Analysis and Design 24, 67-75.
79. Ioakimidis, N. I. (1997a) Conditions for contact/lack of contact along a loaded simple straight crack in plane isotropic elasticity. Engineering Fracture Mechanics (in press).
80. Ioakimidis, N. I. (1997b) Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints. International Journal for Numerical Methods in Engineering (submitted).
81. Ioakimidis, N. I. and Anastasselos, G. T. (1992) Direct Taylor-series solution of singular integral equations with MAPLE. Computers and Structures 45, 613-617.
82. Ioakimidis, N. I. and Anastasselou, E. G. (1993) Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases. Computer Methods in Applied Mechanics and Engineering 110, 103-111.
83. Jenks, R. D. and Sutor, R. S. (1992) Axiom: the Scientific Computation System. Springer, New York.
84. Jirstrand, M. (1996) Some applications of quantifier elimination in nonlinear control theory. Presented to the 2nd IMACS ACA Conference on Applications of Computer Algebra, RISC-Linz, July 1996.
85. Kalliontzis, C., Andrianis, E., Spyropoulos, K. and Doikas, S. (1996) Finite element stress analysis of unilaterally supported submarine pipelines. Computers and Structures 61, 1207-1226.
86. Kikuchi, N. and Oden, J. T. (1988) Contact Problems in Elasticity: a Study of Variational Inequalities and Finite Element Methods. Society for Industrial and Applied Mathematics, Philadelphia.
87. Kim, J. O. and Kwak, B. M. (1996) Dynamic analysis of two-dimensional frictional contact by linear complementarity problem formulation. International Journal of Solids and Structures 30, 4605-4624.
88. Kinderlehrer, D. and Stampacchia, G. (1980) An Introduction to Variational Inequalities and Their Applications. Academic Press, Boston.
89. Kirsch, U. (1993) Structural Optimization: Fundamentals and Applications. Springer, Berlin.
90. Lazard, D. (1988) Quantifier elimination: optimal solution for two classical examples. Journal of Symbolic Computation 5 (1-2), 261-266.
91. Lazard, D. (1994) An improved projection for cylindrical algebraic decomposition. In Algebraic Geometry and Its Applications, Conference Proceedings, W. Lafayette, IN, 1990 (ed. C. L. Bajaj). Springer, New York, pp. 467 476.
92. Lee, S. S. (1996) Analysis of crack closure problem using the dual boundary element method. International Journal of Fracture 77, 323-336.
93. Liska, R. and Steinberg, S. (1993) Applying quantifier elimination to stability analysis of difference schemes. The Computer Journal 36, 497-503.
94. Liska, R. and Steinberg, S. (1996) The stability of boundary conditions. Presented to the 2nd IMACS Conference on Applications of Computer Algebra, RISC-Linz, July 1996.
95. Loos, R. and Weispfenning, V. (1993) Applying linear quantifier elimination. The Computer Journal 36, 450-462.
96. Maeder, R. (1996) The Mathematica Programmer. Vol. II. Academic Press, Orlando, FL.
97. Marchand, J. (1989) The algorithm by Schwartz. Sharir and Collins on the piano mover's problem. In Geometry and Robotics, Proceedings of a Workshop, Toulouse, May 1988 (eds J.-D. Boissonnat and J.-P. Laumond). Lecture Notes in Computer Science, Vol. 391. Springer, Berlin, pp. 49-66.
98. McCallum, S. (1984) An improved projection operation for cylindrical algebraic decomposition. PhD thesis. The University of Wiskonsin-Madison.
99. McCallum, S. (1985) An improved projection operation for cylindrical algebraic decomposition. In Proceedings of EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204, Springer, Berlin, pp. 277-278.
100. McCallum, S. (1985) An improved projection operation for cylindrical algebraic decomposition. In Proceedings of EUROCAL '85: European Conference on Computer Algebra, Linz, April 1985, Vol. 2: Research Contributions (ed. B. F. Caviness). Lecture Notes in Computer Science, Vol. 204, Springer, Berlin, pp. 277-278.
101. McCallum, S. (1988). An improved projection operation for cylindrical algebraic decomposition of three-dimensional space. Journal of Symbolic Computation 5 (1-2), 141-161.
102. McCallum, S. (1993) Solving polynomial strict inequalities using cylindrical algebraic decomposition. The Computer Journal 36, 432-438.
103. McCallum, S. (1995) Partial solution of a path finding problem using the CAD method. In Electronic Proceedings of the 1st International IMACS Conference on Applications of Computer Algebra, Albuquerque, May 1995.
104. McCallum, S. (1997) An improved projection operation for cylindrical algebraic decomposition. In Quantifier Elimination and Cylindrical Algebraic Decomposition (eds B. F. Caviness and J. R. Johnson). Springer, Wien, pp. 242-268.
105. Mishra, B. (1993) Algorithmic Algebra. Springer, New York.
106. Monagan, M. B., Geddes, K. O., Heal, K. M., Labahn, G. and Vorkoetter, S. (1996) Maple V: Programming Guide. Springer, New York.
107. NAG (1996) Axiom for Windows Tutorial. The Numerical Algorithms Group (NAG), Oxford.
108. Prill, D. (1986) On approximations and incidence in cylindrical algebraic decompositions. SIAM Journal on Computing 15, 972-993.
109. Richardson, D. (1991) Towards computing non algebraic cylindrical decompositions. In Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation (ISSAC '91), Bonn. July 1991 (ed. S. M. Watt). ACM Press, New York, pp. 247-255.
110. Richardson, D. (1997) Local theories and cylindrical decomposition. In Quantifier Elimination and Cylindrical Algebraic Decomposition (eds B. F. Caviness and J. R. Johnson). Springer, Wien, pp. 350-363.
111. Saunders, B. D., Lee, H. R. and Abdali, S. K. (1989) A parallel implementation of the cylindrical algebraic decomposition algorithm. In Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation (ISSAC '89), Portland, OR, July 1989 (ed. G. H. Gonnet). ACM Press. New York, pp. 298-307.
112. Sih, G. C. (1973) Introductory chapter: a special theory of crack propagation. In Mechanics of Fracture, Vol. 1: Methods of Analysis and Solutions of Crack Problems (ed. G. C. Sih). Noordhoff, Leyden, pp. xxi-xlv.
113. Sih, G. C. (1981a) Introductory chapter: failure of composites as predicted by the strain energy density theory. In Mechanics of Fracture, Vol. 6: Cracks in Composite Materials (eds G. C. Sih and E. P. Chen). Martinus Nijhoff, The Hague, pp. xv-lxxxi.
114. Sih, G. C. (1981b) Introductory chapter: experimental fracture mechanics: strain energy density criterion. In Mechanics of Fracture. Vol. 7: Experimental Evaluation of Stress Concentration and Intensity Factors (ed. G. C. Sih). Martinus Nijhoff, The Hague, pp. xvii-lvi.
115. Sih, G. C. and Theocaris, P. S., eds (1981) Mixed Mode Crack Propagation, (Proceedings of First U.S.A. Greece symposium, Athens, August 1980. Sijthoff & Noordhoff, Alphen aan den Rijn, The Netherlands.
116. Tarski, A. (1951) A Decision Method for Elementary Algebra and Geometry, 2nd (revised) edn. University of California Press, Berkeley, CA.
117. Tarski, A. (1994) Introduction to Logic and to the Methodology of the Deductive Sciences, 4th edn (ed. J. Tarski). Oxford University Press, New York, Oxford.
118. Theocaris, P. S. (1981) Elastic stress intensity factors evaluated by caustics. In Mechanics of Fracture. Vol. 7: Experimental Evaluation of Stress Concentration and Intensity Factors (ed. G. C. Sih). Martinus Nijhoff, The Hague, pp. 189-252.
119. Theocaris, P. S. and Andrianopoulos, N. P. (1982) The Mises elastic-plastic boundary as the core region in fracture criteria. Engineering Fracture Mechanics 16, 425-432.
120. Timoshenko, S. P. and Gere, J. M. (1973) Mechanics of Materials, S. I. edn. Van Nostrand Reinhold, New York.
121. Timoshenko, S. P. and Goodier, J. N. (1970) Theory of Elasticity, 3rd edn. McGraw-Hill, New York.
122. Timoshenko, S. P. and Woinowsky-Krieger, S. (1959) Theory of Plates and Shells, 2nd edn. McGraw-Hill, New York.
123. Wang, D. (1995). An implementation of the characteristic set method in Maple. In Automated Practical Reasoning (eds J. Pfalzgraf and D. Wang). Springer, Wien, pp. 187-201.
124. Weispfenning, V. (1993) A new approach to quantifier elimination for real algebra. Techn. Ber. No. MIP-9305. Fakultät für Mathematik und Informatik, Universität Passau, Passau.
125. Wester, M. (1995) A review of CAS mathematical capabilities. In Electronic Proceedings of the 1st International IMACS Conference on Applications of Computer Algebra, Albuquerque, May 1995.
126. Wester, M., Steinberg, S. and Jahn, M. (1995) Electronic Proceedings of the 1st International IMACS Conference on Applications of Computer Algebra, Albuquerque, May 1995.
127. Williams, H. P. (1986) Fourier's method of linear programming and its dual. The American Mathematical Monthly 93, 681-695.
128. Winkler, F. (1996) Polynomial Algorithms in Computer Algebra. Springer, Wien.
129. Wolfram, S. (1996) The Mathematica Book, 3rd edn. Wolfram Media, Champaign, IL, and Cambridge University Press, Cambridge.