HoTT/HoTT-Agda

Development of homotopy type theory in Agda

Language: Agda - Size: 6.15 MB - Last synced at: 23 days ago - Pushed at: about 6 years ago - Stars: 424 - Forks: 58

nennigb/pypolsys

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

Language: Fortran - Size: 181 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 2 - Forks: 0

o-morikawa/HigherCup

Symbolic manipulation of Steenrod higher cups

Language: Mathematica - Size: 55.7 KB - Last synced at: 21 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

janverschelde/PHCpack

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

Language: Ada - Size: 45.7 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 59 - Forks: 21

siddhartha-gadgil/ProvingGround

Proving Ground: Tools for Automated Mathematics

Language: Jupyter Notebook - Size: 435 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 203 - Forks: 38

aleksitk/TopologicalDataAnalysis

here is my practices on TDA using python.

Size: 0 Bytes - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

smimram/homer 📦

Homotopy and rewriting

Language: OCaml - Size: 995 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

harsh306/continuation-jax

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

Language: Python - Size: 3.19 MB - Last synced at: 16 days ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1

Booodaness/loop-classical-mechanics

PHYS10 poster on algebraic topology for non-holonomic classical mechanics

Language: TeX - Size: 689 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

777388/TopographyTemplate

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

Language: Python - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

AlbertoJaenal/L1Homotopy_cpp

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

Language: C++ - Size: 417 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 2

sreahw/schuller-geometric

Source code for lecture notes

Language: TeX - Size: 505 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 126 - Forks: 44

harsh306/curriculum-datasets

Size: 1.48 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1

dmivilensky/Sampling-from-homotopy-groups-of-spheres

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

Language: Jupyter Notebook - Size: 477 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

aclemen1/EMM

The Eilenberg-MacLane Machine (EMM)

Language: C++ - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

amkatrutsa/dmg

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

Language: Jupyter Notebook - Size: 537 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 15 - Forks: 4

TopoSimplify/demos

Line Simplification Demos

Language: Go - Size: 80.5 MB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

Captainkk75/Schemes

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

Language: Haskell - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

n-x-p/RSDMT

Random Strong Discrete Morse Theory

Language: C++ - Size: 2.54 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

openscienceunil/EMM Fork of aclemen1/EMM

The Eilenberg-MacLane Machine (EMM)

Language: C++ - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0