C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Mohit Tekriwal
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 8
Top Topics
Gauss Seidel
Numerical Algorithms
Formal Proof
Finite Difference
Top Venues
CoRR
ITP
CICM
NFM
</>
Publications
</>
Mohit Tekriwal
,
Andrew W. Appel
,
Ariel E. Kellison
,
David Bindel
,
Jean-Baptiste Jeannin
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.
CICM
(2023)
Mohit Tekriwal
,
Joshua Miller
,
Jean-Baptiste Jeannin
Formal verification of iterative convergence of numerical algorithms.
CoRR
(2022)
Ariel Kellison
,
Mohit Tekriwal
,
Jean-Baptiste Jeannin
,
Geoffrey C. Hulette
Towards Verified Rounding Error Analysis for Stationary Iterative Methods.
Correctness@SC
(2022)
Heiko Becker
,
Mohit Tekriwal
,
Eva Darulova
,
Anastasia Volkova
,
Jean-Baptiste Jeannin
Dandelion: Certified Approximations of Elementary Functions.
ITP
(2022)
Mohit Tekriwal
,
Avi Tachna-Fram
,
Jean-Baptiste Jeannin
,
Manos Kapritsos
,
Dimitra Panagou
Formally verified asymptotic consensus in robust networks.
CoRR
(2022)
Heiko Becker
,
Mohit Tekriwal
,
Eva Darulova
,
Anastasia Volkova
,
Jean-Baptiste Jeannin
Dandelion: Certified Approximations of Elementary Functions.
CoRR
(2022)
Mohit Tekriwal
,
Karthik Duraisamy
,
Jean-Baptiste Jeannin
A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes.
NFM
(2021)
Mohit Tekriwal
,
Karthik Duraisamy
,
Jean-Baptiste Jeannin
A formal proof of the Lax equivalence theorem for finite difference schemes.
CoRR
(2021)