gazman-sdk / quadratic-sieve
Quadratic sieve implementation in Java
☆17Updated 4 years ago
Alternatives and similar repositories for quadratic-sieve:
Users that are interested in quadratic-sieve are comparing it to the libraries listed below
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- A Java math library focused on number theory and integer factorization in particular.☆31Updated this week
- Successor to PolyBoRi☆18Updated last month
- Java implementations of sequences in the OEIS☆59Updated this week
- A Java library for fast symbolic-numeric computation☆76Updated 4 years ago
- A benchmark library for constraints☆86Updated 3 months ago
- Many primes, very fast. Python sieve using primesieve.☆41Updated 5 years ago
- primality test, including probablity algorithms and AKS implimentation☆7Updated 12 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- Kiwi is a minimalist and extendable Constraint Programming (CP) solver.☆50Updated 5 years ago
- Java Algebra System (JAS) Project☆44Updated 8 months ago
- Exact 64-bit convolution algorithm☆15Updated 8 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- A Modular Library for Computing Tree Decompositions☆16Updated 3 months ago
- The semantics of Java in K☆19Updated 3 years ago
- An algorithm for generating random doubles.☆12Updated 7 years ago
- jfuzzylite: a fuzzy logic control library in Java☆43Updated 4 years ago
- M4GB: Efficient Groebner Basis algorithm☆54Updated 6 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆15Updated 2 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Updated last year
- Swing, divide and conquer the factorial!☆78Updated 2 years ago
- A Chrome extension that automatically adds viewed academic papers to your favorites.☆16Updated 6 years ago
- ☆17Updated 11 months ago
- A nice, simple, zoomable 3D surface plot in Java/Swing, designed for reuse☆15Updated 9 years ago
- SAT instance generator for SHA-1☆47Updated 3 years ago
- An asymptotically fast version of java.math.BigInteger☆79Updated 3 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆50Updated last year
- Fault-tolerant distributed algorithms encoded in a formal language☆14Updated 4 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year