Alexander Brunhuemer

According to our database, Alexander Brunhuemer authored at least 2 papers between 2017 and 2022.

Collaborative distances:

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

2022

Supervised machine learning classification for short straddles on the S&P500.

Alexander Brunhuemer, Lukas Larcher, Philipp Seidl, Sascha Desmettre, Johannes Kofler, Gerhard Larcher

CoRR, 2022

2017

Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models.

Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017