pogudingleb

SIAN

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

ExperimentsBound

AllIdentifiableFunctions

Proof-of-concept implementation for the paper "Computing all identifiable functions for ODE models" (https://arxiv.org/abs/2004.07774)

Global_Identifiability

Maple code for checking global identifiability for ODE models following the paper "Global Identifiability of Differential Models"

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

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-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