2 papers
cs.PL2022
Dandelion: Certified Approximations of Elementary Functions
Heiko Becker, Mohit Tekriwal, Eva Darulova +2
Elementary function operations such as sin and exp cannot in general be computed exactly on today's digital computers, and thus have to be approximated. The standard approximations…
math.NA2021
A formal proof of the Lax equivalence theorem for finite difference schemes
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin
The behavior of physical systems is typically modeled using differential equations which are too complex to solve analytically. In practical problems, these equations are discretiz…