Author:
Allamigeon Xavier,Gaubert Stéphane,Magron Victor,Werner Benjamin
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Hales, T.C., Harrison, J., McLaughlin, S., Nipkow, T., Obua, S., Zumkeller, R.: A revision of the proof of the kepler conjecture. Discrete & Computational Geometry 44(1), 1–34 (2010)
2. Dagstuhl Seminar Proceedings;T.C. Hales,2006
3. Peyrl, H., Parrilo, P.A.: Computing sum of squares decompositions with rational coefficients. Theor. Comput. Sci. 409(2), 269–281 (2008)
4. Kaltofen, E.L., Li, B., Yang, Z., Zhi, L.: Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. JSC 47(1), 1–15 (2012); In memory of Wenda Wu (1929–2009)
5. Lecture Notes in Computer Science;D. Monniaux,2011
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献