Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Thomas Sturm

$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation ⬇️

scientific article published in 2016

A Case Study on the Parametric Occurrence of Multiple Steady States

scientific article published in 2017

Algorithmic global criteria for excluding oscillations.

scientific article published on 5 January 2011

Satisfiability checking and symbolic computation ⬇️

scientific article published on 22 February 2017

Paulina is supported by:

About Paulina

Help