Android, UIQ 3.0, Series 60 Edition 5 open-source software
Python library for defining and optimizing mathematical expressions
Advanced mathematical types and functions for Swift
An R package for causal inference in time series
A cross-platform statistical package for econometric analysis
MathMod is a mathematical modeling software
Computer Algebra System written in Common Lisp
fast C++ library for linear algebra & scientific computing
C++ library for half precision floating point arithmetics.
General Mission Analysis Tool
Tool support for the Z formal notation
Open source finite element software for multiphysical problems
2D & 3D TeX-Aware Vector Graphics Language
For exploring cellular automata like Conway's Game of Life.
Agena is an interpreted procedural programming language.
A Portable General-Purpose Computer Algebra System
System dynamics program with additional features for economics
Arbitrary-precision CRC calculator and algorithm finder
A collection of mathematical packages in pure Ada
computing f2 bootstrap CI BCA