Nombre de documents

4

CV de Antoine Plet


Article dans une revue2 documents

  • Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet. Sharp error bounds for complex floating-point inversion. Numerical Algorithms, Springer Verlag, 2016, 73 (3), pp.735-760. <10.1007/s11075-016-0115-x>. <ensl-01195625v2>
  • Maël Bosson, Caroline Richard, Antoine Plet, Sergei Grudinin, Stephane Redon. Interactive quantum chemistry: A divide-and-conquer ASED-MO method. Journal of Computational Chemistry, Wiley, 2012, 33 (7), pp.779-790. <10.1002/jcc.22905>. <hal-00755498>

Pré-publication, Document de travail1 document

  • Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet. A Library for Symbolic Floating-Point Arithmetic. 2016. <hal-01232159v2>

Communication dans un congrès1 document

  • Vincent Cheval, Véronique Cortier, Antoine Plet. Lengths may break privacy -- or how to check for equivalences with length. Natasha Sharygina and Helmut Veith. CAV'13 - 25th International Conference on Computer Aided Verification - 2013, Jul 2013, Saint Petersbourg, Russia. Springer, 8044, pp.708-723, 2013, Lecture Notes in Computer Science; Computer Aided Verification. <10.1007/978-3-642-39799-8_50>. <hal-00881065>