The Poincaré-Bendixson theorem in Isabelle/HOL

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 20, 2020
Source ID
10.1145/3372885.3373833

Entities

People

  • Fabian Immler
  • Yong Kiam Tan

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University