## 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