| Original language | English |
|---|---|
| Specialist publication | Archive of Formal Proofs |
| Publication status | Published - 31 Dec 2021 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Hyperdual numbers and forward differentiation
- Filip Smola
- , Jacques D. Fleuriot
Research output: Contribution to specialist publication › Article