homotopy

There are 2 repositories under homotopy topic.

HoTT / HoTT-Agda
Development of homotopy type theory in Agda
agda homotopy hott univalence
Language:Agda 404
siddhartha-gadgil / ProvingGround
Proving Ground: Tools for Automated Mathematics
scala homotopy theorem-proving
Language:Jupyter Notebook 202
sreahw / schuller-geometric
Source code for lecture notes
logic notes truth axioms sets classification topology homotopy manifolds bundles lie curves physics geometry algebras dynkin
Language:TeX 131
janverschelde / PHCpack
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
polynomial-systems homotopy-continuation-methods homotopy algebraic-geometry parallel-computing gpu-acceleration
Language:Ada 56
amkatrutsa / dmg
Source code for Deep Multigrid method https://arxiv.org/pdf/1711.03825.pdf
amg autograd helmholtz-equation homotopy multigrid poisson-equation pyamg
Language:Jupyter Notebook 17
dmivilensky / Sampling-from-homotopy-groups-of-spheres
Sampling from π_n(S^2). Application of optimization and machine learning methods to problems of algebraic topology
activation-maximization cayley-graphs evolutionary-algorithm gpt-2 gradient-descent topology group-theory homotopy embeddings
Language:Jupyter Notebook 7
harsh306 / continuation-jax
Continuation methods of Deep Neural Networks optimization, deep-learning, homotopy, bifurcation-analysis, continuation
optimization deep-learning homotopy bifurcation-analysis continuation curriculum-learning adaptive machine-learning python speedup training profiling mlflow
Language:Python 5
AlbertoJaenal / L1Homotopy_cpp
C++/Eigen3 implementation of the L1-norm minimization using homotopy
dantzig-selector homotopy l1-norm-minimization basis-pursuit basis-pursuit-denoising cpp l1-optimization optimization-algorithms
Language:C++ 3
smimram / homer
Homotopy and rewriting
homotopy ocaml rewriting
Language:OCaml 3
aclemen1 / EMM
The Eilenberg-MacLane Machine (EMM)
homology homotopy eilenberg-maclane
Language:C++ 2
nennigb / pypolsys
A python wrapper to the fortran package POLSYS_PLP that solve polynomial systems with homotopy method.
f2py homotopy multivariate-polynomials polynomial-systems wrapper
Language:Fortran 2
TopoSimplify / demos
Line Simplification Demos
constrained dp rdp simplification generalization topology homotopy
Language:Go 2
Booodaness / loop-classical-mechanics
PHYS10 poster on algebraic topology for non-holonomic classical mechanics
algebraic-topology gemini-theme holonomy homotopy loop-quantum-gravity singular-homology uw-phys10
Language:TeX 1
Captainkk75 / Schemes
This is an attempt to use ideas from Algebra and Topology together in computation.
schemes homotopy algebra topology
Language:Haskell 0
harsh306 / curriculum-datasets
curriculum-learning continuation homotopy diffusion deep-learning optimization dataset toy-data local-minima
0
777388 / TopographyTemplate
Anonymously map out a number, a string, or a file. Template.
anonymous homotopy template topography
Language:Python
openscienceunil / EMM
The Eilenberg-MacLane Machine (EMM)
homotopy homology eilenberg-maclane
Language:C++