Andreas Schropp

According to our database, Andreas Schropp authored at least 3 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient Analysis and Visualization of High-Resolution Computed Tomography Data for the Exploration of Enclosed Cuneiform Tablets.

Stephan Olbrich, Andreas Beckert, Cécile Michel, Christian Schroer, Samaneh Ehteram, Andreas Schropp, Philipp Paetzold

Proceedings of the 14th IEEE Symposium on Large Data Analysis and Visualization, 2024

2013

Nonfree Datatypes in Isabelle/HOL - Animating a Many-Sorted Metatheory.

Andreas Schropp, Andrei Popescu

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2010

A Mechanized Translation from Higher-Order Logic to Set Theory.

Alexander Krauss, Andreas Schropp

Proceedings of the Interactive Theorem Proving, First International Conference, 2010