Pinned Repositories
AllIdentifiableFunctions
Proof-of-concept implementation for the paper "Computing all identifiable functions for ODE models" (https://arxiv.org/abs/2004.07774)
CarlemanLinearization.jl
Carleman linearization for dynamical systems
DifferenceElimination
Proof-of-concept implememtation of an algorithm based on https://arxiv.org/abs/1712.01412
DifferenceZeroTest
Proof-of-concept implementation for zero testing of power series satisfying nonlinear difference equations
DifferentialAlgebra
DifferentialElimination
Prototypes of algorithms and some examples for the paper https://arxiv.org/abs/1610.04022
ExperimentsBound
Global_Identifiability
Maple code for checking global identifiability for ODE models following the paper "Global Identifiability of Differential Models"
julia-downgrade-compat-action
Personal fork: GitHub action to downgrade compat entries before testing
SIAN
SIAN (Structural Identifiability ANalyser) is a software for assessing structural identifiability of ODE models.
pogudingleb's Repositories
pogudingleb/SIAN
SIAN (Structural Identifiability ANalyser) is a software for assessing structural identifiability of ODE models.
pogudingleb/ExperimentsBound
pogudingleb/AllIdentifiableFunctions
Proof-of-concept implementation for the paper "Computing all identifiable functions for ODE models" (https://arxiv.org/abs/2004.07774)
pogudingleb/Global_Identifiability
Maple code for checking global identifiability for ODE models following the paper "Global Identifiability of Differential Models"
pogudingleb/CarlemanLinearization.jl
Carleman linearization for dynamical systems
pogudingleb/DifferenceElimination
Proof-of-concept implememtation of an algorithm based on https://arxiv.org/abs/1712.01412
pogudingleb/DifferenceZeroTest
Proof-of-concept implementation for zero testing of power series satisfying nonlinear difference equations
pogudingleb/DifferentialAlgebra
pogudingleb/DifferentialElimination
Prototypes of algorithms and some examples for the paper https://arxiv.org/abs/1610.04022
pogudingleb/julia-downgrade-compat-action
Personal fork: GitHub action to downgrade compat entries before testing
pogudingleb/monomer_dimer_tilings
Code for paper "Power series expansions for the planar monomer-dimer problem"
pogudingleb/msolve
Library for Polynomial System Solving through Algebraic Methods
pogudingleb/mueller_matrices
pogudingleb/RealizationMapleNotebooks
Maple worksheets with worked out examples for the paper "On realizing differential-algebraic equations by rational dynamical systems"
pogudingleb/sian-web-app
This app allows to assess (local and global) identifiability/observability for models defined by systems of parametric ODEs. In addition, the app includes capability for assessing single- and multi-experiment identifiability properties.
pogudingleb/ToricEnvelopes
Supplementary code for the paper