Pinned Repositories
Abel
A proof of Abel-Ruffini theorem.
andors-trail
Andor's Trail
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
eclib
The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve database.
edge-addition-planarity-suite
elpi
Embeddable Lambda Prolog Interpreter
flint2
FLINT (Fast Library for Number Theory)
fplll
Lattice algorithms using floating-point arithmetic
math-comp
Mathematical Components
pynac
Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
SnarkBoojum's Repositories
SnarkBoojum/Abel
A proof of Abel-Ruffini theorem.
SnarkBoojum/andors-trail
Andor's Trail
SnarkBoojum/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
SnarkBoojum/eclib
The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve database.
SnarkBoojum/edge-addition-planarity-suite
SnarkBoojum/elpi
Embeddable Lambda Prolog Interpreter
SnarkBoojum/flint2
FLINT (Fast Library for Number Theory)
SnarkBoojum/fplll
Lattice algorithms using floating-point arithmetic
SnarkBoojum/math-comp
Mathematical Components
SnarkBoojum/pynac
Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
SnarkBoojum/real-closed
Theorems for Real Closed Fields
SnarkBoojum/sagenb
Sage Notebook (flask)