Christoph Fürst

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 4

Top Topics

Theoretical Analysis

Space Reduction

Orthogonal Projection

Top Venues

Math. Comput. Sci.

Publications

Nikolaus Studnicka, Bernhard Groiss, Christoph Fürst, Mathias Ganspöck
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. AGIT Journal 5 (2019)
Christoph Fürst, Alexander B. Levin
Relative Reduction and Buchberger's Algorithm in Filtered Free Modules. Math. Comput. Sci. 11 (3-4) (2017)
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. ThEdu@CADE (2017)
Christoph Fürst, Günter Landsmann
Computation of Dimension in Filtered Free Modules by Gröbner Reduction. ISSAC (2015)