Christoph Traut

According to our database¹, Christoph Traut authored at least 4 papers between 2016 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Pattern-based Subterm Selection in Isabelle.

[BibT_eX]

[DOI]

CoRR, 2021

2019

The Flow of ODEs: Formalization of Variational Equation and Poincaré Map.

[BibT_eX]

[DOI]

J. Autom. Reason., 2019

2018

Taylor Models.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

2016

The Flow of ODEs.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016