Pages that link to "Item:Q4213662"

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)
• (Q4506060) (← links)