:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bessonov, Mariya, Ilmer, Ilia, Konstantinova, Tatiana, Ovchinnikov, Alexey, Pogudin, Gleb, Soto, Pedro
Format:	Preprint
Published:	2022
Subjects:	Symbolic Computation Mathematical Software Quantitative Methods
Online Access:	https://arxiv.org/abs/2202.06297
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Identifiable specializations for ODE models
by: Ovchinnikov, Alexey, et al.
Published: (2023)

Algebraic identifiability of partial differential equation models
by: Byrne, Helen, et al.
Published: (2024)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

Simple generators of rational function fields
by: Demin, Alexander, et al.
Published: (2026)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
by: Heisinger, Maximilian, et al.
Published: (2025)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
by: Demin, Alexander, et al.
Published: (2025)

Groebner.jl: A package for Gröbner bases computations in Julia
by: Demin, Alexander, et al.
Published: (2023)

Dissipative quadratizations of polynomial ODE systems
by: Cai, Yubo, et al.
Published: (2023)

Exact hierarchical reductions of dynamical models via linear transformations
by: Demin, Alexander, et al.
Published: (2023)

Automated Data-Driven Discovery of Material Models Based on Symbolic Regression: A Case Study on Human Brain Cortex
by: Hou, Jixin, et al.
Published: (2024)

ParetoEnsembles.jl: A Julia Package for Multiobjective Parameter Estimation Using Pareto Optimal Ensemble Techniques
by: Varner, Jeffrey D.
Published: (2026)

Persistent components in Canny's Generalized Characteristic Polynomial
by: Pogudin, Gleb
Published: (2024)

Algebraically Observable Physics-Informed Neural Network and its Application to Epidemiological Modelling
by: Komatsu, Mizuka
Published: (2025)

On the dimension of the solution space of linear difference equations over the ring of infinite sequences
by: Abramov, Sergei, et al.
Published: (2023)

MeTime: An R package for reproducible longitudinal metabolomics data analysis
by: Marella, Bharadwaj, et al.
Published: (2026)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Some Computational Tools for Solving a Selection of Problems in Control Theory
by: Demin, Alexander, et al.
Published: (2025)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

Generalised Burnside and Dixon algorithms for irreducible projective representations
by: Szabó, Attila
Published: (2025)

SignatureTensors.jl: A Package for Signature Tensors in Julia
by: Riffo, Gabriel, et al.
Published: (2026)

Antiassociative algebra in R: introducing the evitaicossa package
by: Hankinn, Robin K. S.
Published: (2024)

Projecting dynamical systems via a support bound
by: Mukhina, Yulia, et al.
Published: (2025)

Support bound for differential elimination in polynomial dynamical systems
by: Mukhina, Yulia, et al.
Published: (2025)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

Symbolic-numeric algorithm for parameter estimation in discrete-time models with $\exp$
by: Berman, Yosef, et al.
Published: (2024)

Fast Symbolic Integer-Linear Spectra
by: Luntzel, Jonny, et al.
Published: (2024)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
by: Verschelde, Jan, et al.
Published: (2024)

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
by: Kramer, Boris, et al.
Published: (2025)

Structural and Practical Identifiability of Phenomenological Growth Models for Epidemic Forecasting
by: Liyanage, Yuganthi R., et al.
Published: (2025)

Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
by: Loday-Richaud, Michèle, et al.
Published: (2026)

A data structure for monomial ideals with applications to signature Gröbner bases
by: Lairez, Pierre, et al.
Published: (2026)

Implicit Gaussian process representation of vector fields over arbitrary latent manifolds
by: Peach, Robert L., et al.
Published: (2023)

Accelerated Patient-Specific Calibration via Differentiable Hemodynamics Simulations
by: Renner, Diego, et al.
Published: (2024)

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
by: Gaudel, Bimal, et al.
Published: (2025)

OGRe: An Object-Oriented General Relativity Package for Mathematica
by: Shoshany, Barak
Published: (2021)

On the computation of Gröbner bases for matrix-weighted homogeneous systems
by: Verron, Thibaut
Published: (2022)

Packaging Jupyter notebooks as installable desktop apps using LabConstrictor
by: Hidalgo-Cenalmor, Iván, et al.
Published: (2026)

BIOMERO 2.0: end-to-end FAIR infrastructure for bioimaging data import, analysis, and provenance
by: Luik, Torec T., et al.
Published: (2025)