RPN command-line calculator
Functional programming language designed for readable & expressive code, extensibility, and mathematical computing with arbitrary precision arithmetic.
Assorted functions for statistics and mathematics built on mpmath.
Find polynomial roots with multiplicities using mpmath.
A computational and formal workbench around the Riemann zeta function: kernel-checked Lean proofs, ball-arithmetic enclosures, structure-matched negative controls, and the dead ends published beside the results. Makes no claim of progress toward RH.
Experimental Riemann Hypothesis numeric scanner for Python
High-precision scientific tool for sequence extrapolation, curve fitting, and error propagation — bilingual (中/EN) PySide6 desktop + Flask web app with LaTeX export & inline PDF preview.
A Scientific Calculator with Graphing and advanced mathematical calculation capabilities
Certified first 1,000 nontrivial zeros of the Riemann zeta function using a dual-evaluator (mpmath ζ + η‐series) contour method with strict Krawczyk isolation and automatic refinement.
Official repo for "The Genesis of e from Modular Substrate Theory". Certifies exact algebraic identities linking e, ln 2, and ζ(0) = -1/2 with Lean 4 (0 sorries). Features a high-precision Python suite showing robust D₆ dihedral phase quantization over 10,000 non-trivial Riemann zeros with extreme statistical significance (p ≈ 10⁻⁸³).
Python Transcendental Equation Solvers
Official repository for the non-perturbative derivation of the fine-structure constant (α⁻¹). A parameter-free spectral action model matching CODATA 2022 within 1.5 × 10⁻¹⁴. Features the complete Python validation suite (Monte Carlo LEE audit, PSLQ, SciPy RG flow) and mechanized mathematical proofs certified in Lean 4.
Solução robusta para o Método dos Mínimos Quadrados em Python. Projetada para ajustar polinômios de grau alto (10+) sem divergência. Integra aritmética de precisão infinita, correção automática para falta de dados e estabilização de matrizes mal-condicionadas. Ideal para modelagem matemática onde o NumPy padrão falha por erros de arredondamento.
Моделирование и анализ СМО с ограниченной очередью и нетерпеливыми заявками: переходный и стационарный режимы, MAP-потоки от нескольких датчиков, аналитические, численные и имитационные расчёты.
Arbitrary precision floating / ball arithmetic (interval arithmetic) dtype in NumPy / array API
Lerch transcendent implementation for arbitrary-precision
🌌 Official repo for "The Emergence of Geometry." Features 150-digit precision validation and Lean 4 formal verification of the fundamental identity linking ζ(0), ln 2, and spatial geometry within the Z/6Z modular substrate.
Computational and mathematical research archive and proof-engineering workspace for experimental approaches to the Riemann Hypothesis, Li-Keiper positivity, and related spectral/arithmetic structures.
A computational framework bridging Einsteinian mass-energy equivalence and quantum mechanics by modeling rest mass as a dynamic Compton wave function.
To associate your repository with the mpmath topic, visit your repo's landing page and select "manage topics."