AI-driven neuro-symbolic solver for high-school geometry problems
For exploring cellular automata like Conway's Game of Life.
The birth of modern video feedback art.
A language for making art using mathematics
Automated integer factorization
A calculator for solving problems using Constraint Logic Programming.
lightweight GPU-based sparse matrix-vector multiplication (SpMV)
A Free and Open Source Java Framework for Multiobjective Optimization
Fingerprint Recognition System 5.3 - Matlab source code
Taylor series Integrator for Differential Equations
A finite element solver using state-of-the-art programming techniques.