AI-driven neuro-symbolic solver for high-school geometry problems
Composable transformations of Python+NumPy programs
This dataset code generates mathematical question and answer pairs
Programa Para Factorizar/Simplificar Expresiones algebráicas.
Software for electromagnetic simulation
Precision Trigonometry: Advanced Calculator for Complex Math
Simply percent calculator
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
Python class for automatic differentiation
python2/3: compute polyfit (1D, 2D, N-D) without thirdparty libraries
A general recommender system with basic models and MRA
Software for data analysis, image processing, simulations, solver.
ODEs solver with GUI
ntccKMC: A Kripke-structure-based model checker for ntcc
A Python calculator program