Pinned Repositories
knot_floer_homology
Python wrapper for Zoltán Szabó's HFK program
Erdos-Sum-Function-Fields
Compute rigorous upper and lower bounds for a sum over polynomials with a fixed number of irreducible factors over a finite field
explicit-k-free-integer-bounds
Calculations used to prove explicit bounds on gaps in the sequence of k-free integers
kissat
knot_floer_homology
Python wrapper for Zoltán Szabó's HFK program
sharpSAT
The #SAT solver sharpSAT
TurboRisk
A game by Mario Ferrari
WebLatex
TurboRisk
A game by Mario Ferrari
agreatnate's Repositories
agreatnate/TurboRisk
A game by Mario Ferrari
agreatnate/Erdos-Sum-Function-Fields
Compute rigorous upper and lower bounds for a sum over polynomials with a fixed number of irreducible factors over a finite field
agreatnate/explicit-k-free-integer-bounds
Calculations used to prove explicit bounds on gaps in the sequence of k-free integers
agreatnate/kissat
agreatnate/knot_floer_homology
Python wrapper for Zoltán Szabó's HFK program
agreatnate/sharpSAT
The #SAT solver sharpSAT