Cited in
(37)- Computing differential characteristic sets by change of ordering
- A condition for regeneration of a cell chain inspired by the Dachsous-Fat system
- A general procedure for accurate parameter estimation in dynamic systems using new estimation errors
- Algorithmic Thomas decomposition of algebraic and differential systems
- Finding identifiable parameter combinations in nonlinear ODE models and the rational reparameterization of their input-output equations
- Robust global identifiability theory using potentials -- application to compartmental models
- TrIm
- Model reduction of chemical reaction systems using elimination
- A new algorithm for computing regular representations for radicals of parametric differential ideals
- CASA
- Epsilon
- Differential elimination by differential specialization of Sylvester style matrices
- Janet
- DIFFALG
- DAISY
- GenSSI
- diffgrob2
- AlgebraicThomas
- DifferentialAlgebra
- DiffRes
- MR
- An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner bases
- Differential elimination and biological modelling
- COMBOS
- Linear sparse differential resultant formulas
- ObservabilityTest
- StructuralIdentifiability.jl
- Structural identifiability analysis of age-structured PDE epidemic models
- Finding first integrals using normal forms modulo differential regular chains
- Thomas decomposition of algebraic and differential systems
- LieAlg
- Linear complete differential resultants and the implicitization of linear DPPEs
- Identifiability from a few species for a class of biochemical reaction networks
- Differential Algebra and System Modeling in Cellular Biology
- SIAN
- Validation of simulation models without knowledge of parameters using differential algebra
- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
This page was built for software: BLAD
