research
∙
03/02/2023
Symbolic-Numeric Parameter Estimation Software Package in Julia
We present our Julia software package ParameterEstimation.jl, which esti...
share
research
∙
01/01/2023
Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
We consider the problem of complex root classification, i.e., finding th...
research
∙
12/31/2021
Subresultant of several univariate polynomials
Subresultant of two univariate polynomials is a fundamental object in co...
research
∙
11/04/2020
Connectivity in Semi-Algebraic Sets I
A semi-algebraic set is a subset of the real space defined by polynomial...
research
∙
01/08/2020
A Condition for Multiplicity Structure of Univariate Polynomials
We consider the problem of finding a condition for a univariate polynomi...
research
∙
12/26/2018
SIAN: software for structural identifiability analysis of ODE models
Biological processes are often modeled by ordinary differential equation...
research
∙
04/25/2018
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities
We consider systems of strict multivariate polynomial inequalities over ...
research
∙
02/23/2017
Algorithm for computing semi-Fourier sequences of expressions involving exponentiations and integrations
We provide an algorithm for computing semi-Fourier sequences for express...
research
∙
03/15/2016
Algorithm for computing μ-bases of univariate polynomials
We present a new algorithm for computing a μ-basis of the syzygy module ...
research
∙
04/09/2014