Alternatives and similar repositories for Spherogram:

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

• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 2 weeks ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆26Updated this week
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 6 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 4 months ago
• ah1112 / synthetic_euclid_4
  ☆10Updated 11 months ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆21Updated last week
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆94Updated last week
• b-mehta / combinatorics
  ☆22Updated 2 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
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆10Updated 5 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆37Updated last week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆33Updated 10 years ago
• NUS-Math-Formalization / coxeter
  ☆12Updated 6 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• b-mehta / unit-fractions
  ☆15Updated last year
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago