Christoph Fürst

According to our database, Christoph Fürst authored at least 4 papers between 2015 and 2019.

Collaborative distances:

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

2019

Effiziente Aufnahme und orthogonale Darstellung von Laserscans zur Erstellung von Bestandsplänen historischer Gebäude / Efficient Surveying and Orthogonal Projection of Laser Scans for the Creation of As-built Plans of Historical Buildings.

Nikolaus Studnicka, Bernhard Groiss, Christoph Fürst, Mathias Ganspöck

AGIT Journal Angew. Geoinformatik, 2019

2017

Relative Reduction and Buchberger's Algorithm in Filtered Free Modules.

Christoph Fürst, Alexander B. Levin

Math. Comput. Sci., 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

2015

Computation of Dimension in Filtered Free Modules by Gröbner Reduction.

Christoph Fürst, Günter Landsmann

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015