activity
20072021
most citedTruth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

31 citations · 70 across the 19 of their papers we have counts for

collaborators

20 papers

cs.SC2021

On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation

Alexander Brandt, Marc Moreno Maza

Hensel's lemma, combined with repeated applications of Weierstrass preparation theorem, allows for the factorization of polynomials with multivariate power series coefficients. We…

cs.SC2021

Multivariate Power Series in Maple

Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi +2

We present MultivariatePowerSeries, a Maple library introduced in Maple 2021, providing a variety of methods to study formal multivariate power series and univariate polynomials ov…

cs.DC2019★ 1 cited

KLARAPTOR: A Tool for Dynamically Finding Optimal Kernel Launch Parameters Targeting CUDA Programs

Alexander Brandt, Davood Mohajerani, Marc Moreno Maza +2

In this paper we present KLARAPTOR (Kernel LAunch parameters RAtional Program estimaTOR), a new tool built on top of the LLVM Pass Framework and NVIDIA CUPTI API to dynamically det…

cs.DC2019

A Technique for Finding Optimal Program Launch Parameters Targeting Manycore Accelerators

Alexander Brandt, Davood Mohajerani, Marc Moreno Maza +2

In this paper, we present a new technique to dynamically determine the values of program parameters in order to optimize the performance of a multithreaded program P. To be precise…

cs.SC2019★ 2 cited

On the Parallelization of Triangular Decomposition of Polynomial Systems

Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir +2

We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decomposition. Algorithms for solving polynomial systems combine low-l…

cs.SC2018

Putting Fürer Algorithm into Practice with the BPAS Library

Sviatoslav Covanov, Davood Mohajerani, Marc Moreno-Maza +1

Fast algorithms for integer and polynomial multiplication play an important role in scientific computing as well as in other disciplines. In 1971, Sch{ö}nhage and Strassen designed…