Elementary quantifier-free formulae in boundary elements
The use of elementary algebraic quantifier elimination techniques is suggested during the numerical solution of elasticity problems by boundary element methods in problems where the derived solutions need to be verified as far as the related physical constraints (in inequality forms) are concerned....
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Technical Report |
Γλώσσα: | English |
Έκδοση: |
2018
|
Θέματα: | |
Διαθέσιμο Online: | http://hdl.handle.net/10889/10986 |