Skip to content
#

non-standard-analysis

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 C++ 1 TeX 1

aratraw / delta_analysis

Star 1

delta‑analysis library – a parametric factory for producing any kind of mathematical analysis, where the continuum emerges from iterative refinement. Provides frameworks for functions on arbitrary address spaces (rationals, matrices, binary strings, p‑adic numbers, will extend) with adaptive grids, exact rational arithmetic, and rigorous calculus.

eigen openmp mathematical-analysis rational-numbers numerical-methods google-test adaptive-grid cpp20 constructive-mathematics adaptive-refinement differential-calculus integral-calculus p-adic-numbers non-standard-analysis delta-analysis boost-multiprecision
  • Updated Mar 15, 2026
  • C++

Improve this page

Add a description, image, and links to the non-standard-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the non-standard-analysis topic, visit your repo's landing page and select "manage topics."

Learn more