Automatic cloud classification of whole sky images A. Heinle, A. Macke, and A. Srivastav Excellence Cluster “The Future Ocean”, Department of Computer Science, Kiel University, Kiel, Germany Leibniz… (More)

We present algorithms to factorize homogeneous polynomials in the first q-Weyl algebra and the first Weyl algebra. By homogeneous we mean homogeneous with respect to a Z-grading on the first (q-)Weyl… (More)

In this paper we will present SDeval, a software project that contains tools for creating and running benchmarks with a focus on problems in computer algebra. It is built on top of the Symbolic Data… (More)

In this paper, we present a new algorithm and an experimental implementation for factoring elements in the polynomial <i>n</i>th Weyl algebra, the polynomial <i>n</i>th shift algebra, and… (More)

In this paper we present MathCheck2, a tool which combines sophisticated search procedures of current SAT solvers with domain specific knowledge provided by algorithms implemented in computer algebra… (More)

In this paper we will present SDeval, a software project that contains tools for creating and running benchmarks with a focus on problems in computer algebra. It is built on top of the Symbolic Data… (More)

We present a method and an associated system, called MathCheck, that embeds the functionality of a computer algebra system (CAS) within the inner loop of a conflict-driven clause-learning SAT solver.… (More)