Author:
Ayyildiz Akoglu Tulay,Hauenstein Jonathan D.,Szanto Agnes
Funder
Ministry of National Education of Turkey
DARPA
Alfred P. Sloan Research Fellowship
NSF
Subject
Computational Mathematics,Algebra and Number Theory
Reference80 articles.
1. Bounds on factors in Z[x];Abbott;J. Symb. Comput.,2013
2. Formal proofs for nonlinear optimization;Allamigeon;J. Formaliz. Reason.,2015
3. Zeroes, multiplicities and idempotents for zerodimensional systems;Alonso;Prog. Math.,1996
4. Modular algorithms for computing Gröbner bases;Arnold;J. Symb. Comput.,2003
5. Recovering exact results from inexact numerical data in algebraic geometry;Bates;Exp. Math.,2013
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献