Alternatives and similar repositories for conjecturing:

Users that are interested in conjecturing are comparing it to the libraries listed below

• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆19Updated last week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 7 months ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 4 months ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated this week
• pablolessa / dibujos_hiperbolicos
  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 last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions for Julia
  ☆8Updated last month
• mkoeppe / cutgeneratingfunctionology
  Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…
  ☆12Updated last month
• probonto / ontology
  ☆15Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 3 years ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆56Updated this week
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial sets and other combinatorial models of geometric spaces
  ☆33Updated this week
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆10Updated 5 months ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 2 years ago
• passagemath / lrslib
  Reverse search algorithm for vertex enumeration/convex hull problems by David Avis (http://cgm.cs.mcgill.ca/~avis/C/lrs.html). Git histor…
  ☆14Updated 3 years ago
• wbhart / Singular.jl
  Julia package for the Singular library
  ☆20Updated 3 years ago
• chakravala / VerTeX.jl
  Typeset scattered graph data rewriter based on LaTeX nodes
  ☆13Updated 3 years ago
• jcpaik / sofa-designer
  A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rat…
  ☆18Updated 9 months ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated this week
• flatsurf / surface-dynamics
  Teichmüller dynamics in SageMath
  ☆12Updated last week
• leanprover / super
  Superposition prover
  ☆17Updated last year
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• JuliaIntervals / IntervalContractors.jl
  Interval contractors and inverse (reverse) functions for Julia
  ☆10Updated 5 months ago
• jakirkham / dask-distance
  Distance computations with Dask (akin to scipy.spatial.distance)
  ☆8Updated 7 years ago