Alternatives and similar repositories for conjecturing:

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

• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 8 months ago
• 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 month
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 2 months ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 2 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• BigBayes / BNPMix.jl
  Bayesian Nonparametric Mixture Models in Julia
  ☆14Updated 7 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• 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
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• ReScience / submissions
  ReScience C submissions
  ☆28Updated 5 years ago
• mkoeppe / cutgeneratingfunctionology
  Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…
  ☆12Updated 2 months ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• OpenDreamKit / OpenDreamKit.github.io
  Sources for OpenDreamKit's website
  ☆15Updated last year
• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆10Updated 6 months ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆22Updated last month
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆17Updated last month
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 10 months ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• AlgebraicJulia / CSetAutomorphisms.jl
  Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
  ☆13Updated last year
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions
  ☆8Updated last week
• wbhart / Singular.jl
  Julia package for the Singular library
  ☆20Updated 3 years ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆79Updated 5 months ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago