Logarithm, exponential and hyperbolic functions.
| Theorem | Location | PVS Name | Contributors |
|---|
- Anthony Narkawicz, NASA, USA
- David Lester, Manchester University, UK
- Ricky Butler, NASA, USA
- César Muñoz, NASA, USA
- Mariano Moscato, NIA & NASA, USA
- César Muñoz, NASA, USA
