References

The following books: papers and blog posts serve as the basis for the algorithms used in the library:

  1. Donald E. Knuth, The Art of Computer Programming Volume 2 Seminumerical Algorithms, 3rd edition, 1998

  2. Michael L. Scott and Jonathan Aldrich, Programming Language Pragmatics, 5th edition, 2025

  3. Steve Klabnik, Carol Nichols, and Chris Krycho, The Rust Programming Language, Version 1.90.0, 2025

  4. Jean-Michel Muller, Nicolas Brisebarre, Florent De Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres, Handbook of Floating-Point Arithmetic, 2000

  5. Benjamin C. Pierce, Types and Programming Languages, 2002

  6. Benjamin C. Pierce, Advanced Topics in Types and Programming Languages, 2005

Edit this Page