nvcleemp / conjecturing

Related projects: ⓘ

• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 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 week
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 3 months ago
• probonto / ontology
  ☆15Updated last year
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 2 years ago
• shaunharker / CHomP
  CHomP -- Computation Homology Project software
  ☆45Updated 6 months ago
• nebneuron / Simplicial.jl
  A package for various computations with simplicial complexes, combinatorial codes, directed complexes and their filtrations.
  ☆27Updated last year
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated 3 weeks ago
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆14Updated 8 years ago
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆29Updated 4 years ago
• 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 11 months 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
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 6 years ago
• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 9 years ago
• null-a / Stochy.jl
  Probabilistic Programming in Julia
  ☆14Updated 6 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆32Updated 6 years ago
• BigBayes / BNPMix.jl
  Bayesian Nonparametric Mixture Models in Julia
  ☆14Updated 6 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆13Updated last week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆39Updated 11 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆42Updated 2 weeks ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions for Julia
  ☆8Updated last year
• cseed / knotkit
  knot theory and computational algebra software
  ☆33Updated 10 years ago
• jpfairbanks / SocialTheories.jl
  Theories of social science expressed in Catlab.jl formalisms
  ☆15Updated 3 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆35Updated 5 months ago
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated last year
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆46Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆44Updated 6 years ago