homotopy

Development of homotopy type theory in Agda

Proving Ground: Tools for Automated Mathematics

Source code for lecture notes

The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.

Source code for Deep Multigrid method https://arxiv.org/pdf/1711.03825.pdf

Sampling from π_n(S^2). Application of optimization and machine learning methods to problems of algebraic topology

C++/Eigen3 implementation of the L1-norm minimization using homotopy

Continuation methods of Deep Neural Networks optimization, deep-learning, homotopy, bifurcation-analysis, continuation

Homotopy and rewriting

The Eilenberg-MacLane Machine (EMM)

A python wrapper to the fortran package POLSYS_PLP that solve polynomial systems with homotopy method.

Line Simplification Demos

Anonymously map out a number, a string, or a file. Template.

Topological sonata: musical form as topological space, contrapuntal voice-leading as homotopy, cadences as topological transitions

The Eilenberg-MacLane Machine (EMM)

This is an attempt to use ideas from Algebra and Topology together in computation.

here is my practices on TDA using python.

Symbolic manipulation of Steenrod higher cups

Algebraic topology for non-holonomic classical mechanics