Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints (Q4213662)
From MaRDI portal
scientific article; zbMATH DE number 1210671
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints |
scientific article; zbMATH DE number 1210671 |
Statements
9 April 2001
0 references
feasibility conditions
0 references
computational quantifier elimination
0 references
computer algebra
0 references
linear inequality constraints
0 references
straight edge-crack problem
0 references
fracture mechanics
0 references
loading
0 references
stress intensity factor
0 references
crack tip
0 references
linear programming
0 references
quadrature rules
0 references
0 references
0 references
0 references
0 references
0 references
0 references
Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints (English)
0 references
