Search alternatives:
stability theory » probability theory
Cover Image
Read Now

1
by Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil
Published 2022
Springer International Publishing
Table of Contents: “...Introduction -- Interactive Theorem Proving -- Formalization of Stability Theory -- Formalization...”