Computer Algebra System written in Common Lisp
An algebra editor
Implementation of database algebra algorithms
fast C++ library for linear algebra & scientific computing
Deductive Database with Datalog, SQL, RA, TRC, DRC
C++ libraries for manipulations in non-Euclidean geometry
fast C++ library for GPU linear algebra & scientific computing
Programa Para Factorizar/Simplificar Expresiones algebráicas.
Agena is an interpreted procedural programming language.
A collection of mathematical packages in pure Ada
C++ header-only library that simulates GLSL math
Сalculator with a gold proportion calculation, memory work.
A toolbox for computing with Clifford algebras in MATLAB
The package for statistical data analysis and applied mathematics
C++ Statistical ToolKit
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Pushing the Limits of Mathematical Reasoning in Open Language Models
Tensors and neural networks in Haskell
Interview guide for machine learning, mathematics, and deep learning