High-performance implementations of the Descartes method.
Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov
Browse the full ISSAC paper archive.
Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov
Browse the full ISSAC paper archive.