vporton / algebraic-general-topology
A math research book
☆8Updated 2 months ago
Alternatives and similar repositories for algebraic-general-topology:
Users that are interested in algebraic-general-topology are comparing it to the libraries listed below
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Updated 7 months ago
- In this online version of the classic con game, we demonstrate how to use IBM's quantum computer to solve the riddle of the game by deduc…☆10Updated 7 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Mathematica REPL plugin for IntellyJ IDEA IDE☆14Updated 6 years ago
- A curated list of Quantum Computing resources, articles, programming languages and projects. The main idea is that everyone can contribut…☆21Updated 2 years ago
- Tested, working functional programming tools for MATLAB. Yes, really.☆40Updated 12 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- Implementation of Mapper Algorithm☆14Updated 8 years ago
- I took Math for Intelligent System COT5615 in fall 2018 offered by University of Florida. In this repo I am sharing the assignments, lect…☆17Updated 6 years ago
- Tensor-based Spectral LDA on Spark☆18Updated 6 years ago
- Machine Learning Open Source Software☆23Updated 6 years ago
- Question Dependent Recurrent Entity Network☆13Updated 7 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 11 months ago
- Learning platform for category theory in python☆16Updated last week
- Automatic differentiation for NumPy☆42Updated 11 years ago
- CMS data quality monitoring☆11Updated 6 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆72Updated 3 years ago
- Code for the 2-simplicial Transformer paper☆18Updated 5 years ago
- matching between unstructured and structured data sets☆14Updated 6 years ago
- OGDL for C☆17Updated 7 years ago
- Evolutionary Algorithms implementations, for various (discrete & continuous) optimization problems, including for autonomous agent contro…☆12Updated 6 months ago
- A free open-source textbook for Multivariable Calculus that emphasizes differentials and linear algebra☆38Updated 14 years ago
- Source code for ``How far can we go without convolution: Improving fully-connected networks'' published at ICLR 2016 workshop☆13Updated 9 years ago
- The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…☆14Updated 5 years ago
- CausalTrail - a tool for performing causal reasoning using the do-calculus☆12Updated 3 years ago
- A web portal that offers more features and a better user interface for reading eprints☆24Updated 8 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Deep learning certificate part 1☆10Updated 2 years ago
- The Universal Algebra Calculator☆14Updated 2 years ago
- Implementation of the Chinese Whispers graph clustering algorithm☆8Updated 7 years ago