Volgen
Mohit Tekriwal
Mohit Tekriwal
Lawrence Livermore National Laboratory
Geverifieerd e-mailadres voor umich.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Grid sensitivity and role of error in computing a lid-driven cavity problem
VK Suman, MK Tekriwal, S Bhaumik, TK Sengupta
Physical Review E 99 (1), 013305, 2019
172019
A formal proof of the Lax equivalence theorem for finite difference schemes
M Tekriwal, K Duraisamy, JB Jeannin
NASA Formal Methods Symposium, 322-339, 2021
82021
LAProof: A library of formal proofs of accuracy and correctness for linear algebra programs
AE Kellison, AW Appel, M Tekriwal, D Bindel
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH), 36-43, 2023
62023
Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method
M Tekriwal, AW Appel, AE Kellison, D Bindel, JB Jeannin
International Conference on Intelligent Computer Mathematics, 206-221, 2023
42023
Dandelion: Certified Approximations of Elementary Functions
H Becker, M Tekriwal, E Darulova, A Volkova, JB Jeannin
13th International Conference on Interactive Theorem Proving (ITP 2022 …, 2022
32022
Towards verified rounding error analysis for stationary iterative methods
A Kellison, M Tekriwal, JB Jeannin, G Hulette
2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC …, 2022
22022
Formalization of Asymptotic Convergence for Stationary Iterative Methods
M Tekriwal, J Miller, JB Jeannin
arXiv preprint arXiv:2202.05587, 2022
1*2022
Formally verified asymptotic consensus in robust networks
M Tekriwal, A Tachna-Fram, JB Jeannin, M Kapritsos, D Panagou
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
A Mechanized Error Analysis Framework for End-to-End Verification of Numerical Programs
M Tekriwal
University of Michigan, Ann Arbor, 2023
2023
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–9