AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the intricacies of nominal anti-unification and equations reasoning in PVS through this comprehensive lecture. Delve into the formalization techniques presented by Mauricio Ayala-Rincón, supported by Brazilian agencies CAPES, CNPq, and FAPDF. Learn about the nasa/pvslib/nominal library and its applications in formal reasoning. Gain insights into advanced topics in computer science and mathematics during this hour-long presentation from the Hausdorff Center for Mathematics.
