research
∙
06/21/2021
Multivariate Power Series in Maple
We present MultivariatePowerSeries, a Maple library introduced in Maple ...
share
research
∙
05/22/2021
On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation
Hensel's lemma, combined with repeated applications of Weierstrass prepa...
research
∙
11/05/2019
KLARAPTOR: A Tool for Dynamically Finding Optimal Kernel Launch Parameters Targeting CUDA Programs
In this paper we present KLARAPTOR (Kernel LAunch parameters RAtional Pr...
research
∙
06/01/2019
A Technique for Finding Optimal Program Launch Parameters Targeting Manycore Accelerators
In this paper, we present a new technique to dynamically determine the v...
research
∙
05/31/2019
On the Parallelization of Triangular Decomposition of Polynomial Systems
We discuss the parallelization of algorithms for solving polynomial syst...
research
∙
11/05/2018
Complexity Estimates for Fourier-Motzkin Elimination
In this paper, we propose a new method for removing all the redundant in...
research
∙
11/05/2018
Putting Fürer Algorithm into Practice with the BPAS Library
Fast algorithms for integer and polynomial multiplication play an import...
research
∙
01/12/2018
Comprehensive Optimization of Parametric Kernels for Graphics Processing Units
This work deals with the optimization of computer programs targeting Gra...
research
∙
12/05/2017
Symbolic-Numeric Integration of Rational Functions
We consider the problem of symbolic-numeric integration of symbolic func...
research
∙
12/17/2016