nvcleemp / conjecturingLinks
Adding conjecturing to Sage
☆14Updated 2 years ago
Alternatives and similar repositories for conjecturing
Users that are interested in conjecturing are comparing it to the libraries listed below
Sorting:
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆23Updated 3 weeks ago
- Embedded algebraic number fields☆14Updated 3 weeks ago
- some maths papers in English☆19Updated last month
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- ☆37Updated last year
- Formalizing results about the Mandelbrot set in Lean☆27Updated this week
- Listing of online math seminars☆43Updated 2 months ago
- Python package to convert LaTeX markup to DOM☆15Updated 11 months ago
- Deposited packages of the homalg project☆16Updated last week
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 7 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- ☆24Updated 3 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Updated 3 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Updated 2 weeks ago
- Jupyter wrapper kernel for singular☆11Updated last year
- All the math/tex files for the Automorphic Project☆19Updated last year
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- The MMT Language and System☆79Updated 3 months ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated last year
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Convex optimization modeling in Lean 4☆61Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Updated 3 months ago
- RealAnalysisGame☆40Updated last week
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 7 months ago
- Free group automorphisms and train-track representative in python/sage☆12Updated 3 months ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 weeks ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 2 weeks ago