Christoph Traut

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 4

Top Topics

Ordinary Differential Equations

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Lars Noschinski, Christoph Traut
Pattern-based Subterm Selection in Isabelle. CoRR (2021)
Fabian Immler, Christoph Traut
The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. J. Autom. Reason. 62 (2) (2019)
Christoph Traut, Fabian Immler
Taylor Models. Arch. Formal Proofs 2018 (2018)
Fabian Immler, Christoph Traut
The Flow of ODEs. ITP (2016)