Mohit Tekriwal
According to our database1,
Mohit Tekriwal
authored at least 8 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
2023
Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.
Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023
2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022
2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021