pogudingleb Goto Github PK

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

monomer_dimer_tilings

Code for paper "Power series expansions for the planar monomer-dimer problem"

msolve

Library for Polynomial System Solving through Algebraic Methods

mueller_matrices

realizationmaplenotebooks

Maple worksheets with worked out examples for the paper "On realizing differential-algebraic equations by rational dynamical systems"

sian

SIAN (Structural Identifiability ANalyser) is a software for assessing structural identifiability of ODE models.

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.

toricenvelopes

Supplementary code for the paper