Numerical verification of equations in applied mechanics: comments on the inexpensive alternative to computer algebra
Computer algebra methods play a continually increasing rôle in the proof of equations and theorems. Gröbner bases and characteristic sets have been extensively used in this task. Here we attempt a critical view of this approach, which is frequently extremely computer-memory- and time-consuming. In f...
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Technical Report |
| Γλώσσα: | English |
| Έκδοση: |
2018
|
| Θέματα: | |
| Διαθέσιμο Online: | http://hdl.handle.net/10889/10980 |
