Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints
DOI<103::AID-CNM133>3.0.CO;2-V 10.1002/(SICI)1099-0887(199802)14:2<103::AID-CNM133>3.0.CO;2-VzbMath0958.74078OpenAlexW2000528998MaRDI QIDQ4213662
Publication date: 9 April 2001
Full work available at URL: https://doi.org/10.1002/(sici)1099-0887(199802)14:2<103::aid-cnm133>3.0.co;2-v
linear programminglinear inequality constraintsfracture mechanicscrack tiploadingcomputer algebrastress intensity factorquadrature rulesfeasibility conditionscomputational quantifier eliminationstraight edge-crack problem
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading
- Solution of crack problems. The distributed dislocation technique
- The complexity of linear problems in fields
- Application of computer algebra to the iterative solution of singular integral equations
- Fractal interfaces with unilateral contact and friction conditions
- Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
- Effective optimization-based approach for designing active noise control systems in enclosures
- Inequality constraints in one-dimensional finite elements for an elastic beam on a tensionless Winkler foundation
- Application of quantifier elimination to a simple elastic beam finite element below a straight rigid obstacle
- Polynomial algorithms in computer algebra
- Optimal topology design using linear programming
- Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
- Applying Linear Quantifier Elimination
- Chebyshev approximations to stress intensity factors: An application of ‘DERIVE’
- Fourier's Method of Linear Programming and Its Dual
- Inequality constraints in rectangular finite/boundary elements
- Parametric quadratic programming method for dynamic contact problems with friction
- A computational method for frictional contact problem using finite element method
- Dynamic analysis of structures with unilateral constraints: Numerical integration and reduction of structural equations
- BEAMS ON TENSIONLESS ELASTIC FOUNDATION: APPROXIMATE QUANTIFIER ELIMINATION WITH CHEBYSHEV SERIES
- Elements of structural optimization.
This page was built for publication: Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints
