Pages that link to "Item:Q4213662"
From MaRDI portal
The following pages link to Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints (Q4213662):
Displaying 2 items.
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Derivation of feasibility conditions in engineering problems under parametric inequality constraints with classical Fourier elimination (Q4506060) (← links)