Adding conjecturing to Sage
☆14Mar 17, 2023Updated 2 years ago
Alternatives and similar repositories for conjecturing
Users that are interested in conjecturing are comparing it to the libraries listed below
Sorting:
- Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http:/…☆17May 24, 2023Updated 2 years ago
- Deposited packages of the homalg project☆17Dec 23, 2025Updated 2 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆24Feb 10, 2026Updated 2 weeks ago
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Oct 1, 2025Updated 4 months ago
- Repository for raising issues and requesting help on Ubermag☆11Nov 8, 2023Updated 2 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 11, 2026Updated 2 weeks ago
- ☆12Feb 18, 2024Updated 2 years ago
- 🚀 Sum of the primes below x☆39Jun 17, 2022Updated 3 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆10May 25, 2017Updated 8 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆11Sep 15, 2025Updated 5 months ago
- ☆13Jul 8, 2024Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Flat surfaces in SageMath☆11Feb 2, 2026Updated 3 weeks ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Python-based domain-specific language for computational magnetism.☆13Updated this week
- Visualize subsets of PSL(2,R) in exterior solid torus model☆13Aug 20, 2020Updated 5 years ago
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 6 years ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated last year
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Feb 20, 2024Updated 2 years ago
- An Interactive Discrete Mathematics Framework for GAP☆10Feb 7, 2026Updated 2 weeks ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- Combinators in C☆38Jun 5, 2012Updated 13 years ago
- Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …☆13Apr 17, 2023Updated 2 years ago
- Dynamic Signatures Generated by Regulatory Networks☆13Aug 21, 2019Updated 6 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Old website for the UK Society of Research Software Engineers - not the source for the live site at rse.ac.uk. To suggest changes to that…☆12Jun 4, 2024Updated last year
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 5 months ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated 2 months ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago
- Auto-generated sphinx version of the IPython website. Since this is an auto-generated directory, do *not* submit pull requests against th…☆11Jan 3, 2026Updated last month
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month