Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Repository Index
47,133 repositories indexed
25–30 of 30 · Most stars
A flexible Julia toolkit for high-dimensional cellular profiles
- julia
- morphological-analysis
- high-content-screening
C++ modules for scalar, vector and complex math. And maths.
- cpp20
- math
- mathematics
- vectors
Translated🗺️ Research Data Map — AI-driven global research visualization platform | Research Data Map with 250M+ papers
- academic
- ai
- china
- cloudflare-workers
Elixir library implementing complex numbers and math.
A Do-Whatever Matrix-Math class in Actionscript 3