Working Papers

• Frédéric Goualard. The Ins and Outs of Solving Quadratic Equations with Floating-Point Arithmetic. Research report. Laboratoire des Sciences du Numérique de Nantes, June 2023.
• Frédéric Goualard. When $\genfrac{}{}{0.1ex}{}{3x}{3}$ and $3\genfrac{}{}{0.1ex}{}{x}{3}$ are not equal to $x$. Research Report. Laboratoire des Sciences du Numérique de Nantes, January 2017.
• Frédéric Goualard. Interval Extensions of Multivalued Inverse Functions. Research Report hal-00288457, 2008.

Selected Publications

Here is a selection of my most recent and/or significant publications. Other publications available upon request. [Obfuscation note: replace all occurrences of '3' by 'e' in the email address]

Frédéric Goualard. MicroFloatingPoints.jl: providing very small IEEE 754-compliant floating-point types. Journal of Open Source Software, 9:101, September 2024
• Christophe Jermann et Frédéric Goualard. Le problème de la transposition informatique pour les algorithmes numériques. Repères IREM. Vol. 133. Décembre 2023.
• Frédéric Goualard. Drawing random floating-point numbers from an interval. In ACM Transactions on Modeling and Computer Simulation. 32:3, January 2022. Corrigendum, Nov. 8 2023.
• Frédéric Goualard. Generating Random Floating-Point Numbers by Dividing Integers: a Case Study In proceedings of the International Conference on Computational Science (ICCS 2020). Lecture Notes in Computer Science, pp. 15–28, Springer, June 2020.
• Frédéric Goualard. How do you compute the midpoint of an interval? In ACM Transactions on Mathematical Software. 40:2, 2014.
• Frédéric Goualard. Fast and Correct SIMD Algorithms for Interval Arithmetic . In proceedings of the 9th International Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA '08), Lecture Notes in Computer Science, vol. 6126–6127, Springer, 2012.
• Alexandre Goldsztejn and Frédéric Goualard. Box Consistency through Adaptive Shaving. In proceedings of the 25th ACM Symposium On Applied Computing, pp. 2049–2054, 2010.
• Frédéric Goualard. Faster and tighter Evaluation of a Polynomial Range Through SIMD Interval Arithmetic. In proceedings of the 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2010.
• Frédéric Goualard and Alexandre Goldsztejn. A Data-Parallel Algorithm to Reliably Solve Systems of Nonlinear Equations. In proceedings of the Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'08), pp. 39–46, IEEE Computer Society, 2008.
• Frédéric Goualard and Christophe Jermann. A Reinforcement Learning Approach to Interval Constraint Propagation. Constraints, pp. 206–226, 13:1–2, 2008.
• Frédéric Goualard and Christophe Jermann. On the Selection of a Transversal to Solve Nonlinear Systems with Interval Arithmetic. In proceedings of the International Conference on Computational Science (ICCS '06), Lecture Notes in Computer Science, vol. 3991, pp. 332–339, Springer, 2006.
• Frédéric Goualard and Laurent Granvilliers. Controlled propagation in continuous numerical constraint networks. In proceedings of the 20th Annual ACM Symposium on Applied Computing (Constraint Solving and Programming track), pp. 377–382, vol. 1, The Association for Computing Machinery, Inc., 2005.
• Frédéric Goualard. On Considering an Interval Constraint Solving Algorithm as a Free-Steering Nonlinear Gauss-Seidel Procedure . In proceedings of the 20th Annual ACM Symposium on Applied Computing (Reliable Computation and Applications track), pp. 1434–1438, vol. 2, The Association for Computing Machinery, Inc., 2005.
• Frédéric Benhamou, Frédéric Goualard, Éric Languénou, and Marc Christie. Interval Constraint Solving for Camera Control and Motion Planning . ACM Transactions on Computational Logic, 5:4, pp. 732–767, October 2004.
• Frédéric Benhamou and Frédéric Goualard. Universally Quantified Interval Constraints. Proceedings of the sixth International Conference on Principles and Practice of Constraint Programming (CP'2000), Lecture Notes in Computer Science, vol. 1894, pp. 67–82, Springer, 2000.
• Laurent Granvilliers, Frédéric Goualard, and Frédéric Benhamou. Box Consistency through Weak Box Consistency . In Proceedings of the eleventh IEEE International Conference on Tools with Artificial Intelligence (ICTAI '99), pp. 373–380, IEEE Computer Society, 1999.
• Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, and Jean-François Puget. Revising hull and box consistency . In proceedings of the sixteenth International Conference on Logic Programming (ICLP'99), pp. 230–244, The MIT Press, 1999. Awarded the John Alan Robinson 20 year test of time award at ICLP 2019.

Software

LaTeX Stuff

Since 1996, I have developed many LaTeX packages, mostly used only locally at the labs I was employed at the time. For my PhD defense in 2000, I developed Prosper, a package to write more beautiful LaTeX slides in a simpler way than what was available at the time. Somehow, it filled a need and caught on. However, Prosper heavily relies on Adobe Postscript, and cannot be used when producing Adobe PDF files directly from the LaTeX source, as would be done by a tool such as pdflatex. With more modern contenders around, I decided in 2009 to stop supporting it. If you are now making the move to LaTeX slide design, please consider packages like Powerdot (self-advertised as ``based on Prosper'') or Beamer (my favorite, and the one I myself use now) instead.

To fill a narrower need, I have written sujet, a LaTeX class to write subjects for exams, tutorials, … It is possible to edit both the subject and its correction in the same document.

The XeLaTeX class unantes can be used to write a letter according to the graphic charter of the University of Nantes. It is an unofficial class, which is not endorsed in any way by the University of Nantes. You will most likely need to install the Alte Din 1451 Mittelschrift font on your system to use the class.

The Beamer style ls2n can be used for LaTeX presentations sponsored by the Laboratoire des Sciences du Numérique de Nantes (LS2N). This is an unofficial style that is not endorsed by LS2N.