aeg-paper.bib

@inproceedings{Knuth1997TheAO,
  title={The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition},
  author={Donald Ervin Knuth},
  year={1997}
}

@article{Reynolds1972DefinitionalIF,
  title={Definitional Interpreters for Higher-Order Programming Languages},
  author={John C. Reynolds},
  journal={Higher-Order and Symbolic Computation},
  year={1972},
  volume={11},
  pages={363-397}
}

@inproceedings{Markstein2004SoftwareDA,
  title={Software Division and Square Root Using Goldschmidt's Algorithms},
  author={Peter W. Markstein},
  year={2004}
}

@article{Quinnell2007FloatingPointFM,
  title={Floating-Point Fused Multiply-Add Architectures},
  author={Eric Quinnell and Earl E. Swartzlander and Carl Lemonds},
  journal={2007 Conference Record of the Forty-First Asilomar Conference on Signals, Systems and Computers},
  year={2007},
  pages={331-337}
}

@article{Costa2001ADO,
  title={A description of several coordinate systems for hyperbolic spaces},
  author={S. S. e Costa},
  journal={arXiv: Mathematical Physics},
  year={2001}
}

@article{Pambuccian2016THEAO,
  title={THE ARITHMETIC OF THE EVEN AND THE ODD},
  author={Victor Pambuccian},
  journal={The Review of Symbolic Logic},
  year={2016},
  volume={9},
  pages={359 - 369}
}

@article{Schacht2018ANOTHERAO,
  title={ANOTHER ARITHMETIC OF THE EVEN AND THE ODD},
  author={Celia Schacht},
  journal={The Review of Symbolic Logic},
  year={2018},
  volume={11},
  pages={604 - 608}
}

@inproceedings{Needham2021VisualDG,
  title={Visual Differential Geometry and Forms},
  author={Tristan Needham},
  year={2021},
  url={https://api.semanticscholar.org/CorpusID:240837028}
}