Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements
The rather recent interesting computational method of quantifier elimination already implemented in four computer algebra systems has been already used in many problems of engineering interest including several problems of applied and computational mechanics. Among the previous applications of inter...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Αυτο-έκδοση
2020
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10889/13518 |
