Computation of Dimension in Filtered Free Modules by Gröbner Reduction. - Christoph Fürst; Günter Landsmann (ISSAC, 2015)

Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. - Wolfgang Schreiner; Alexander Brunhuemer; Christoph Fürst (ThEdu@CADE, 2017)

Relative Reduction and Buchberger's Algorithm in Filtered Free Modules. - Christoph Fürst; Alexander B. Levin (Math. Comput. Sci., 2017)

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)