CRGreathouse / PARI-extensionsLinks
Material for PARI/GP: new functions, some scripts, and syntax highlighting.
☆11Updated 2 years ago
Alternatives and similar repositories for PARI-extensions
Users that are interested in PARI-extensions are comparing it to the libraries listed below
Sorting:
- A simple implementation of the Quadratic Sieve for integer factoring in C☆13Updated 13 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 3 months ago
- SAT-based Bitcoin Mining☆88Updated 3 years ago
- Encyclopedia of Combinatorial Structures☆15Updated 7 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Robert Munafo's reverse equation solver☆17Updated 2 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- Java implementations of sequences in the OEIS☆67Updated this week
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 8 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- SHA256-SAT-BITCOIN☆24Updated 9 years ago
- metamath proof enumerators and other things☆91Updated 2 weeks ago
- O(n log n) In-place Stable Quicksort☆20Updated 3 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Updated 2 years ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆32Updated last year
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Successor to PolyBoRi☆21Updated last month
- Metamath program - source code for the Metamath executable☆89Updated 4 months ago
- implementation of OEIS sequences☆11Updated 8 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 6 months ago
- Structured BVA☆42Updated last year
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 7 months ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 2 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆107Updated last week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Updated 9 months ago