| Sollya: An environment for the development of numerical codes S Chevillard, M Joldeş, C Lauter Mathematical Software–ICMS 2010: Third International Congress on …, 2010 | 146 | 2010 |
| Certifying the floating-point implementation of an elementary function using Gappa F De Dinechin, C Lauter, G Melquiond IEEE Transactions on Computers 60 (2), 242-253, 2010 | 144 | 2010 |
| Assisted verification of elementary functions using Gappa F De Dinechin, CQ Lauter, G Melquiond Proceedings of the 2006 ACM symposium on Applied computing, 1318-1322, 2006 | 106 | 2006 |
| CR-LIBM A library of correctly rounded elementary functions in double-precision C Daramy-Loirat, D Defour, F De Dinechin, M Gallet, N Gast, C Lauter, ... LIP,, 2006 | 66 | 2006 |
| Fast and correctly rounded logarithms in double-precision F De Dinechin, C Lauter, JM Muller RAIRO-Theoretical Informatics and Applications 41 (1), 85-102, 2007 | 60 | 2007 |
| Arrondi correct de fonctions mathématiques: fonctions univariées et bivariées, certification et automatisation CQ Lauter | 47 | 2008 |
| Basic building blocks for a triple-double intermediate format CQ Lauter INRIA, LIP, 2005 | 46 | 2005 |
| Metalibm: A mathematical functions code generator O Kupriianova, C Lauter Mathematical Software–ICMS 2014: 4th International Congress, Seoul, South …, 2014 | 40 | 2014 |
| Code generators for mathematical functions N Brunie, F De Dinechin, O Kupriianova, C Lauter 2015 IEEE 22nd Symposium on Computer Arithmetic, 66-73, 2015 | 38 | 2015 |
| Fast correct rounding of elementary functions in double precision using double-extended arithmetic F De Dinechin, D Defour, C Lauter INRIA, LIP, 2004 | 29 | 2004 |
| A certified infinite norm for the implementation of elementary functions S Chevillard, C Lauter Seventh International Conference on Quality Software (QSIC 2007), 153-160, 2007 | 28 | 2007 |
| Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision A Volkova, T Hilaire, C Lauter 2015 IEEE 22nd Symposium on Computer Arithmetic, 96-103, 2015 | 26 | 2015 |
| Certified and fast computation of supremum norms of approximation errors S Chevillard, M Joldes, C Lauter 2009 19th IEEE Symposium on Computer Arithmetic, 169-176, 2009 | 26 | 2009 |
| A new open-source SIMD vector libm fully implemented with high-level scalar C C Lauter 2016 50th Asilomar Conference on Signals, Systems and Computers, 407-411, 2016 | 22 | 2016 |
| Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure A Volkova, T Hilaire, C Lauter 2015 49th Asilomar Conference on Signals, Systems and Computers, 737-741, 2015 | 19 | 2015 |
| Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors S Graillat, C Lauter, PTP Tang, N Yamanaka, S Oishi ACM Transactions on Mathematical Software (TOMS) 41 (4), 1-20, 2015 | 19 | 2015 |
| An Efficient Rounding Boundary Test for {\rm pow}(x, y) in Double Precision CQ Lauter, V Lefèvre IEEE Transactions on Computers 58 (2), 197-207, 2008 | 19 | 2008 |
| Optimizing polynomials for floating-point implementation F De Dinechin, CQ Lauter arXiv preprint arXiv:0803.0439, 2008 | 18 | 2008 |
| A framework for semi-automatic precision and accuracy analysis for fast and rigorous deep learning C Lauter, A Volkova 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH), 103-110, 2020 | 14 | 2020 |
| Reliable verification of digital implemented filters against frequency specifications A Volkova, C Lauter, T Hilaire 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH), 180-187, 2017 | 13 | 2017 |
