SINGULAR is a specialized computer algebra system for polynomial computations with emphasize on the needs of commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main… (More)

This paper presents a new SMT solver, STABLE, for formulas of the quantifier-free logic over fixed-sized bit vectors (QF-BV). The heart of STABLE is a computer-algebra-based engine which provides… (More)

We propose a new method of classifying vector bundles on projective curves, especially singular ones, according to their “representation type”. In particular, we prove that the classification problem… (More)

We present foundational work on standard bases over rings and on Boolean Gröbner bases in the framework of Boolean functions. The research was motivated by our collaboration with electrical engineers… (More)

This article is devoted to the problem of constructing geometric quotients of a quasiaffine scheme X over a field of characteristic 0 by a unipotent algebraic group G. This problem arises naturally… (More)

This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexity, restricted to… (More)