research
∙
09/06/2021
Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany
We compare the machine readability of pictograms found on Austrian and G...
research
∙
12/03/2020
A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms
We present a generic and executable formalization of signature-based alg...
research
∙
05/01/2018
Gröbner Bases of Modules and Faugère's F_4 Algorithm in Isabelle/HOL
We present an elegant, generic and extensive formalization of Gröbner ba...
research
∙
04/29/2016
Verifying Buchberger's Algorithm in Reduction Rings
In this paper we present the formal, computer-supported verification of ...
research
∙
02/13/2016