1 citations · 1 across the 5 of their papers we have counts for
8 papers
CHAMP: Cayley HAshing with Matrix Products
Alexander Demin, Alexey Ovchinnikov, Vladimir Shpilrain
Cayley hash functions hash binary strings by representing the bits of the message as elements of a semigroup and multiplying the corresponding elements. This gives Cayley hash func…
Practical Algebraic Parameter Estimation for Noisy Data via Gaussian Process Regression
Oren Bassik, Alexander Demin, Alexey Ovchinnikov
Parameter estimation for ordinary differential equation (ODE) models is a fundamental task that is often complicated by the limitations of conventional optimization-based methods.…
Redactable blockchains and polynomial equations
Alexander Demin, Alexey Ovchinnikov, Vladimir Shpilrain
We develop new tools for constructing redactable authenticated data structures with post-quantum security. In our construction, inverting the proposed one-way function means solvin…
Groebner.jl: Fast Gröbner Tracing in Julia
Alexander Demin
A standard way to control expression swell in computer algebra is to use multi-modular or evaluation-interpolation methods. In computations involving Gröbner bases, these technique…
Fast Rational Univariate Representation via Gaussian Elimination
Alexander Demin, Fabrice Rouillier
In this note, we present RationalUnivariateRepresentationjl (https://newrur.gitlabpages.inria.fr/RationalUnivariateRepresentation.jl/), a Julia package for computing rational un…
Some Computational Tools for Solving a Selection of Problems in Control Theory
Alexander Demin, Christina Katsamaki, Fabrice Rouillier
This paper demonstrates how certified computational tools can be used to address various problems in control theory. In particular, we introduce PACE.jl, a Julia package that imple…
Parameter Estimation in ODE Models with Certified Polynomial System Solving
Alexander Demin, Alexey Ovchinnikov, Fabrice Rouillier
We consider dynamical models given by rational ODE systems. Parameter estimation is an important and challenging task of recovering parameter values from observed data. Recently, a…
Reading Rational Univariate Representations on lexicographic Groebner bases
Alexander Demin, Fabrice Rouillier, Joao Ruiz
In this contribution, we consider a zero-dimensional polynomial system in variables defined over a field . In the context of computing a Rational Univariate Represe…