Add, Subtract, or Die!

Search
Skip to content
  • BIGNUM Library
  • PtCut Software
  • Tesla
  • Links
  • About me
  • Impressum
  • Datenschutzerklärung

Monthly Archives: August 2019

Tropical Geometry

Slides of my talk at CASC 2019, Moscow on ODEbase, an extensible database for ODEs and their algebraic properties

2019-08-27 chris

Here are the slides of my talk on CASC 2019 conference (computer algebra in scientific computing) in Moscow, held on 27th August 2019. This is joint work with Hassan Errami, Matthias Neidhardt, Satya S. Samal and Andreas Weber.

The database can be freely accessed as odebase.cs.uni-bonn.de.

Programming & Computer Algebra

Recent Posts

  • ODEbase relaunch and arXiv paper
  • Paper: Algorithmic Reduction of Biological Networks With Multiple Time Scales
  • Update to paper: Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers
  • Paper: Computing Tropical Prevarieties with Satisfiability Modulo Theory (SMT) Solvers
  • Side-by-side installation of Cygwin SSH and Git on Windows

Recent Comments

    Archives

    • January 2022
    • October 2020
    • June 2020
    • April 2020
    • January 2020
    • November 2019
    • August 2019
    • April 2019
    • February 2019
    • December 2018
    • September 2018
    • July 2018
    • June 2018
    • May 2018
    • April 2018
    • March 2018
    • September 2017
    • June 2017
    • October 2016
    • September 2016
    • September 2015
    • July 2015
    • May 2015
    • April 2015
    • March 2015
    • January 2015

    Categories

    • Bignum
    • Chemical Reaction Networks
    • Machine Learning
    • SMT
    • Tesla
    • Tropical Geometry
    • Uncategorized
    • Vorkurs

    Meta

    • Register
    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    Proudly powered by WordPress