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

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

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

Homotopy and rewriting

Line Simplification Demos

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

The Eilenberg-MacLane Machine (EMM)

PHYS10 poster on algebraic topology for non-holonomic classical mechanics

here is my practices on TDA using python.

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

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

The Eilenberg-MacLane Machine (EMM)