Barry Trager

CertRL: formalizing convergence proofs for value and policy iteration in Coq

Nathan Fulton, Avraham Shinnar, Koundinya Vajjha, 2020, CPP.

Computational Aspects of Commutative Algebra and Algebraic Geometry (Dagstuhl Seminar 9722)

Eberhard Becker, David Eisenbud, Barry Trager, 2021 .