Arnaud Fabre, Pascal Schreck
Combining symbolic and numerical solvers to simplify indecomposable systems solving
SAC, 2008.
@inproceedings{SAC-2008-FabreS, author = "Arnaud Fabre and Pascal Schreck", booktitle = "{Proceedings of the 23rd Symposium on Applied Computing}", doi = "10.1145/1363686.1364128", editor = "Roger L. Wainwright and Hisham Haddad", isbn = "978-1-59593-753-7", pages = "1838--1842", publisher = "{ACM}", title = "{Combining symbolic and numerical solvers to simplify indecomposable systems solving}", year = 2008, }