Alternatives and similar repositories for kleinian

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

• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆25Updated 5 years ago
• shaunharker / CHomP
  CHomP -- Computation Homology Project software
  ☆47Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated last week
• 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…
  ☆21Updated this week
• thosgood / translations
  some maths papers in English
  ☆18Updated 2 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 6 months ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆80Updated 8 months ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆49Updated 3 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated this week
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• thosgood / fga
  An English translation of Grothendieck's Fondements de la Géometrie Algébrique
  ☆18Updated 5 months ago
• clarkgrubb / latex-input
  Enter Unicode characters using LaTeX notation
  ☆94Updated last year
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• 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…
  ☆101Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆28Updated this week
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆28Updated 3 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago