5 papers
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…
Identifiable specializations for ODE models
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin +1
The parameter identifiability problem for a dynamical system is to determine whether the parameters of the system can be found from data for the outputs of the system. Verifying wh…
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…
Symbolic-numeric algorithm for parameter estimation in discrete-time models with
Yosef Berman, Joshua Forrest, Matthew Grote +2
Dynamic models describe phenomena across scientific disciplines, yet to make these models useful in application the unknown parameter values of the models must be determined. Discr…
Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova +3
Symbolic computation for systems of differential equations is often computationally expensive. Many practical differential models have a form of polynomial or rational ODE system w…