The Poincare-Bendixson Theorem in Isabelle/HOL

POPL 2020

The Poincare-Bendixson Theorem in Isabelle/HOL

Sep 17, 2020
|
38 views
Details
Presenter: Yong Kiam Tan Presented at CPP'20, colocated with POPL 2020.

Comments
loading...