Jacques D. Fleuriot

Homepages 🌐

• https://www.inf.ed.ac.uk/people/staff/Jacques_Fleuriot.html

Entries

2022

Constructing the Reals as Dedekind Cuts of Rationals

by Jacques D. Fleuriot and Lawrence C. Paulson

Mar 24

2021

Hyperdual Numbers and Forward Differentiation

by Filip Smola and Jacques D. Fleuriot 🌐

Dec 31

Real Exponents as the Limits of Sequences of Rational Exponents

by Jacques D. Fleuriot 🌐

Nov 08

Schutz' Independent Axioms for Minkowski Spacetime

by Richard Schmoetten 📧, Jake Palmer 📧 and Jacques D. Fleuriot 🌐

Jul 27