Find machin-like arctan formulae using PSLQ and algorithmic extension
-
Updated
Aug 13, 2025 - Go
#
pslq
Here are 6 public repositories matching this topic...
A loop-plus-verifier agent framework with a pluggable generator. Verifies candidate answers for closed-form and witness math problems and refuses false positives. Bring your own generator (Ollama example included).
-
Updated
Sep 10, 2026 - Python
Ramanujan-Machine-style identity hunter: PSLQ over parameterized series families, blind-rediscovers Apéry, Comtet, Lehmer, Catalan classical, log 2 from scratch. Built in an evening with Claude.
python mathematics number-theory mpmath experimental-mathematics ramanujan apery identity-discovery pslq
-
Updated
Apr 28, 2026 - Python
Supplementary code for: Trivial rational contamination in PSLQ-based PCF searches. Pre-screening protocol + AEAL governance log.
reproducibility number-theory continued-fractions experimental-mathematics false-positives pslq polynomial-continued-fractions wallis-recurrence
-
Updated
Apr 19, 2026 - Python
High-precision integer-relation tests (PSLQ + LLL, dual-engine certified) probing whether Apéry's constant ζ(3) is algebraically independent from π — plus MZV / Zagier-basis checks. Fully reproducible; documents a real PSLQ reproducibility pitfall filed upstream to mpmath.
research mathematics computational-mathematics number-theory lll mpmath pslq apery-constant integer-relation
-
Updated
Sep 26, 2026 - TeX
Finds hardcoded numbers that are secretly exact math constants — typed by hand, and typed wrong (pi/180, 1/ln2, sqrt2). A Python linter.
python constants linter static-analysis pre-commit flake8 code-quality floating-point numerical-computing pslq
-
Updated
Sep 3, 2026 - Python
Add this topic to your repo
To associate your repository with the pslq topic, visit your repo's landing page and select "manage topics."