2 citations · 2 across the 4 of their papers we have counts for
4 papers
Formally verified asymptotic consensus in robust networks
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin +2
Distributed architectures are used to improve performance and reliability of various systems. Examples include drone swarms and load-balancing servers. An important capability of a…
Formalization of Asymptotic Convergence for Stationary Iterative Methods
Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
Solutions to differential equations, which are used to model physical systems, are computed numerically by solving a set of discretized equations. This set of discretized equations…
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…
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…