Animation engine for explanatory math videos
Framework & GUI for Bayes Nets and other probabilistic models.
Structure parameter inference approach for endocrine feedback control
A framework for solving partial differential equations
Unicode XML TEI text analysis platform
This is a Java APP for Probability and Statistics Tables
Visualize 3d linear transformations.
Efficiently locate minumum of function of non-negative integer
This is the Curriculum for "How to Learn Mathematics Fast"
Verification via biSimulations of Max-Plus-Linear models
Monads and other dark magic for Elixir
A printed document recognition system that can deal with formula
NURBS-based elastic and limit analysis of masonry arches in MATLAB
Log-linear analysis (data modelling) for high-dimensional data
Discrete wavelet methods for time series analysis using python
BAYESIAN INFERENCE OF METABOLIC DIVERGENCE AMONG MICROBIAL COMMUNITIES
Software for data analysis, image processing, simulations, solver.
This small library implements a data structure for Koch curves.
OpenCV wrapper for sba library
ntccKMC: A Kripke-structure-based model checker for ntcc