Last released Jan 11, 2021
Polynomial and rational function library
Last released Oct 14, 2020
Parameter Space Dimension Reduction Toolbox
Last released Jul 29, 2020
An iteration history printer
Last released Mar 4, 2020
System-Theoertic Model Order Reduction
Last released Jul 19, 2019
SAT Solver Interface
Supported by
