research
∙
04/03/2023
Taylor Polynomials of Rational Functions
A Taylor variety consists of all fixed order Taylor polynomials of ratio...
share
research
∙
02/15/2020
A divide-and-conquer algorithm for computing Gröbner bases of syzygies in finite dimension
Let f_1,…,f_m be elements in a quotient R^n / N which has finite dimensi...
research
∙
02/08/2018
Exact algorithms for semidefinite programs with degenerate feasible set
Let A_0, ..., A_n be m × m symmetric matrices with entries in Q, and let...
research
∙
11/07/2016
SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic
This document describes our freely distributed Maple library spectra, f...
research
∙
02/01/2016