sjneph / satfactor
Convert an integer factorization problem into a boolean SATISFIABILITY problem.
☆10Updated 5 years ago
Related projects: ⓘ
- SHA256-SAT-BITCOIN☆24Updated 8 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 12 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆16Updated 11 years ago
- Jupyter Kernel for Mathics☆20Updated 7 years ago
- Tools for creating binary tarballs☆14Updated 3 years ago
- A "git trac" subcommand for git☆13Updated 2 years ago
- Analytic Number Theory high-precision GnuMP routines☆15Updated 7 months ago
- Cython wrappers for Google's sparsehash library, and the murmur hash functions☆17Updated 10 years ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated last week
- Factor numbers using a quantum computer☆34Updated 10 months ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated last year
- Shine - A symbolic regression machine☆11Updated 13 years ago
- GAP package guava - computations relative to error-correcting codes☆12Updated 3 weeks ago
- Automatic differentiation for NumPy☆42Updated 11 years ago
- A research platform and active library for generalised SAT solving☆32Updated 3 months ago
- A simple CAS written in C.☆10Updated 9 years ago
- Datasets☆26Updated 9 years ago
- A tool for proving and organizing general theorems using Python.☆27Updated 2 months ago
- A set of tools to generate synthetic graphs embedded into a hyperbolic space and to test the greedy routing.☆25Updated 8 years ago
- A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…☆10Updated 11 months ago
- Software to look for interrelationships between constants and find formulas for number sequences☆17Updated 5 months ago
- A research project on isomorphisms of finite fields☆16Updated 6 years ago
- A particle swarm optimization library created by Numenta for hyperparameter optimization.☆18Updated 9 years ago
- Set of files to use ROOTbooks in mybinder.org☆15Updated 3 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 weeks ago
- Simulated annealing solvers☆20Updated 6 years ago
- Elliptic functions for Matlab and Octave☆15Updated 11 months ago
- Test to see how effectively D-Wave's native QUBO problem can be solved in software☆25Updated 8 years ago
- Dynamic Self-Organized maps☆22Updated 8 years ago
- ☆15Updated 3 years ago