[5] Assalé Adjé, Pierre-Loïc Garoche, and Victor Magron. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. In Static Analysis Symposium (SAS), Lecture Notes in Computer Science. Springer International Publishing, 2015. [ bib | arxiv ]
[4] Victor Magron. NLCertify: A Tool for Formal Nonlinear Optimization. In Hoon Hong and Chee Yap, editors, Mathematical Software – ICMS 2014, volume 8592 of Lecture Notes in Computer Science, pages 315-320. Springer Berlin Heidelberg, 2014. [ bib | arxiv | NLCertify | web ]
[3] Xavier Allamigeon, Stéphane Gaubert, Victor Magron, and Benjamin Werner. Certification of Inequalities involving Transcendental Functions: combining SDP and Max-plus Approximation. In Proceedings of the European Control Conference (ECC) Zurich, pages 2244-2250, 2013. [ bib | arxiv ]
[2] Xavier Allamigeon, Stéphane Gaubert, Victor Magron, and Benjamin Werner. Certification of Bounds of Non-linear Functions: the Templates Method. In Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, and Wolfgang Windsteiger, editors, Intelligent Computer Mathematics, volume 7961 of Lecture Notes in Computer Science, pages 51-65. Springer Berlin Heidelberg, 2013. [ bib | arxiv | web ]
[1] Victor Magron, Shin-ichiro Sugimoto, and Shinobu Yoshimura. Time Dependent Magnetic Structural Coupled Analysis of MRI Model with PC Cluster. volume 15, pages 757-760. 日本計算工学会, May 2010. [ bib | web ]