| Publication | Date of Publication | Type |
|---|
| On formal power series solutions of regular differential chains | 2025-01-10 | Paper |
| Contribution to integral elimination | 2025-01-10 | Paper |
Integral equation modelling and deep learning
ACM Communications in Computer Algebra | 2023-08-02 | Paper |
| Decoupling multivariate fractions | 2022-03-24 | Paper |
A short contribution to the theory of regular chains
Mathematics in Computer Science | 2021-06-25 | Paper |
On symbolic approaches to integro-differential equations
Algebraic and Symbolic Computation Methods in Dynamical Systems | 2020-09-08 | Paper |
An equivalence theorem for regular differential chains
Journal of Symbolic Computation | 2019-03-21 | Paper |
| Symbolic-numeric methods for nonlinear integro-differential modeling | 2018-10-23 | Paper |
On the integration of differential fractions
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
PARDI!
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Computing Sparse Representations of Systems of Rational Fractions
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Qualitative investigation of a gene model using computer algebra algorithms
Programming and Computer Software | 2016-07-06 | Paper |
Additive normal forms and integration of differential fractions
Journal of Symbolic Computation | 2016-05-04 | Paper |
Real root isolation of regular chains
Computer Mathematics | 2016-04-12 | Paper |
Computing canonical representatives of regular differential ideals
Proceedings of the 2000 international symposium on Symbolic and algebraic computation | 2015-11-26 | Paper |
Finding first integrals using normal forms modulo differential regular chains
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
A method for semi-rectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
Computing the real solutions of polynomial systems with the RegularChains library in Maple
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
An algorithm for converting nonlinear differential equations to integral equations with an application to parameter estimation from noisy data
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Model reduction of chemical reaction systems using elimination
Mathematics in Computer Science | 2013-08-23 | Paper |
MABSys: Modeling and analysis of biological systems
Algebraic and Numeric Biology | 2012-06-08 | Paper |
A general procedure for accurate parameter estimation in dynamic systems using new estimation errors
Algebraic and Numeric Biology | 2012-06-08 | Paper |
Models of stochastic gene expression and Weyl algebra
Algebraic and Numeric Biology | 2012-06-08 | Paper |
When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
Journal of Symbolic Computation | 2011-12-19 | Paper |
On the regularity property of differential polynomials modulo regular differential chains
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
Chemical reaction systems, computer algebra and systems biology. (Invited talk)
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
A normal form algorithm for regular differential chains
Mathematics in Computer Science | 2011-06-08 | Paper |
Towards an automated reduction method for polynomial ODE models of biochemical reaction systems
Mathematics in Computer Science | 2011-02-19 | Paper |
| scientific article; zbMATH DE number 5722788 (Why is no real title available?) | 2010-06-17 | Paper |
| Real root isolation of regular chains | 2010-03-10 | Paper |
Computing differential characteristic sets by change of ordering
Journal of Symbolic Computation | 2009-11-06 | Paper |
Differential Algebra and System Modeling in Cellular Biology
Algebraic Biology | 2009-02-03 | Paper |
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
Algebraic Biology | 2009-02-03 | Paper |
| When does \((T)\) equal \(\mathrm{sat}(T)\)? | 2009-01-20 | Paper |
Comprehensive Triangular Decomposition
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
On Proving the Absence of Oscillations in Models of Genetic Circuits
Algebraic Biology | 2007-11-29 | Paper |
| The RegularChains library in Maple 10 | 2007-01-22 | Paper |
| scientific article; zbMATH DE number 2236717 (Why is no real title available?) | 2005-12-08 | Paper |
An orderly linear PDE system with analytic initial conditions with a non-analytic solution.
Journal of Symbolic Computation | 2003-08-21 | Paper |
