conf.bib

@preamble{{ \newcommand{\noop}[1]{} }}
@incollection{sas15,
  year = {2015},
  booktitle = {Static Analysis Symposium (SAS)},
  author = {Assal\'e Adj\'e and Pierre-Lo\"ic Garoche and Victor Magron},
  series = {Lecture Notes in Computer Science},
  title = {{Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization}},
  http = {http://arxiv.org/abs/1503.07025},
  publisher = {Springer International Publishing},
  language = {English}
}
@incollection{icms14,
  year = {2014},
  isbn = {978-3-662-44198-5},
  booktitle = {Mathematical Software – ICMS 2014},
  volume = {8592},
  series = {Lecture Notes in Computer Science},
  editor = {Hong, Hoon and Yap, Chee},
  title = {{NLCertify: A Tool for Formal Nonlinear Optimization}},
  url = {http://dx.doi.org/10.1007/978-3-662-44199-2_49},
  http = {http://arxiv.org/abs/1405.5668},
  nlcertify = {http://nl-certify.forge.ocamlcore.org},
  publisher = {Springer Berlin Heidelberg},
  author = {Magron, Victor},
  pages = {315-320},
  language = {English}
}
@inproceedings{victorecc,
  title = {{Certification of Inequalities involving Transcendental Functions: combining SDP and Max-plus Approximation}},
  author = {Xavier Allamigeon and St{\'e}phane Gaubert and Victor Magron and Benjamin Werner},
  year = {2013},
  pages = {{2244--2250}},
  booktitle = {{Proceedings of the European Control Conference (ECC) Zurich}},
  http = {http://arxiv.org/abs/1307.7002}
}
@incollection{AGMW14nltemplates,
  year = {2013},
  isbn = {978-3-642-39319-8},
  booktitle = {Intelligent Computer Mathematics},
  volume = {7961},
  series = {Lecture Notes in Computer Science},
  editor = {Carette, Jacques and Aspinall, David and Lange, Christoph and Sojka, Petr and Windsteiger, Wolfgang},
  title = {{Certification of Bounds of Non-linear Functions: the Templates Method}},
  url = {http://dx.doi.org/10.1007/978-3-642-39320-4_4},
  publisher = {Springer Berlin Heidelberg},
  author = {Allamigeon, Xavier and Gaubert, Stéphane and Magron, Victor and Werner, Benjamin},
  pages = {51-65},
  language = {English},
  http = {http://arxiv.org/abs/1307.3231}
}
@inproceedings{todai1,
  author = {Magron, Victor and Sugimoto, Shin-ichiro and Yoshimura, Shinobu},
  title = {{Time Dependent Magnetic Structural Coupled Analysis of MRI Model with PC Cluster}},
  journal = {計算工学講演会論文集 = Proceedings of the Conference on Computational Engineering and Science},
  issn = {1342-145X},
  publisher = {日本計算工学会},
  year = {2010},
  month = {May},
  volume = {15},
  number = {2},
  pages = {757-760},
  url = {http://ci.nii.ac.jp/naid/40019576042/en/}
}