ZhengPu Shi

According to our database, ZhengPu Shi authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2024

Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination.

ZhengPu Shi, Gang Chen

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion.

ZhengPu Shi, Gang Chen

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

CoqMatrix: Formal matrix library with multiple models in Coq.

ZhengPu Shi, Guojun Xie, Gang Chen

J. Syst. Archit., October, 2023

2022

Integration of Multiple Formal Matrix Models in Coq.

ZhengPu Shi, Gang Chen

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022