Publication:4506060
From MaRDI portal
DOI<1583::AID-NME962>3.0.CO;2-W 10.1002/1097-0207(20000820)48:11<1583::AID-NME962>3.0.CO;2-WzbMath0983.74084MaRDI QIDQ4506060
Publication date: 23 April 2002
fracture mechanics; heat transfer; linear inequality constraint; Fourier-Motzkin elimination; computer algebra system Maple V; feasibility condition; parametric inequality constraint
68W30: Symbolic computation and algebraic computation
76R10: Free convection
65F05: Direct numerical methods for linear systems and matrix inversion
74S99: Numerical and other methods in solid mechanics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The complexity of linear problems in fields
- Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
- Application of computer algebra to the iterative solution of singular integral equations
- Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
- Inequality constraints in one-dimensional finite elements for an elastic beam on a tensionless Winkler foundation
- Simulation and optimization by quantifier elimination
- Special issue on Applications of quantifier elimination
- Fourier-Motzkin elimination and its dual
- Symbolic computations for the solution of inverse/design problems with Maple
- Applying Linear Quantifier Elimination
- Variable Elimination in Linear Constraints
- Chebyshev approximations to stress intensity factors: An application of ‘DERIVE’
- Solvability and Consistency for Linear Equations and Inequalities
- Fourier's Method of Linear Programming and Its Dual
- Application of MATHEMATICA to the optimal design of composite shells for improved buckling strength
- Application of computer-generated finite-difference equations to decision and inverse problems in elasticity
- Determination of critical buckling loads with Gröbner bases
- Elements of structural optimization.