vporton / algebraic-general-topologyLinks
A math research book
☆8Updated 6 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
Sorting:
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Updated 2 months 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
- Homotopy type theory☆14Updated 2 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆16Updated 7 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 3 weeks ago
- An intelligent agent that adaptively changes its thought processes to maximize cumulative reward☆12Updated 8 years ago
- Multivariable calculus course materials☆56Updated 10 years ago
- A system for computational category theory and applications☆39Updated 9 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- The MMT Language and System☆75Updated last year
- A curated list of Quantum Computing resources, articles, programming languages and projects. The main idea is that everyone can contribut…☆21Updated 2 years ago
- Intu is a Cognitive Embodiment Middleware for AI on the edge.☆31Updated 8 months ago
- Launch NMT tasks on the cloud☆13Updated 2 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- Research Debt☆26Updated 7 years ago
- Boolean satisfiability for propositional logic in Python☆14Updated 9 years ago
- Learning platform for category theory in python☆17Updated last week
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Research Paper Review Notes☆13Updated 6 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 4 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Easing non-convex optimization with neural networks.☆23Updated 6 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆27Updated last year
- OpenCog Unsupervised Language Learning☆20Updated 5 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- Source of metamath book☆49Updated last year