Combining symbolic and numerical solvers to simplify indecomposable systems solving
| Title: | Combining symbolic and numerical solvers to simplify indecomposable systems solving |
|---|---|
| Authors: | Fabre, Arnaud; Schreck, Pascal |
| Source: | Proceedings of the 2008 ACM symposium on Applied computing. :1838-1842 |
| Availability: | http://dl.acm.org/doi/10.1145/1363686.1364128 |
| Database: | ACM Full-Text Collection |