A Lean 4 Ecosystem Framework!
Uma calculadora desenvolvida em C, com interface gráfica em Python.
Python-based data preprocessing tool
Calculation with Clifford algebras: C++ library and Python module
H9A counts how many times a digit appears in any range, instantly.
Open-source C/C++ math engine for advanced scientific computing
Python code able to convert / compress image to PI (3.14, π) Indexes
Basic Maths for pre-school
A collection of python3 modules for Algorithmic Decision Theory
Frontend para a calculadora JavaAntonioVandreEval.
Uranie is CEA's uncertainty analysis platform, based on ROOT
Generation random numbers, words and elements
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Programa Para Factorizar/Simplificar Expresiones algebráicas.
Statistical data visualization in Python
Enhance your understanding of mathematical expressions conversions
Software for electromagnetic simulation
A textbook on informal homotopy type theory
Computer Assisted Proofs in Dynamics