This is a project to store the practices of my Artificial Intelligence II course; it contains basic neural networks algorithms with python and a GUI for plotting the trainings.
-
Updated
Nov 19, 2020 - Python
This is a project to store the practices of my Artificial Intelligence II course; it contains basic neural networks algorithms with python and a GUI for plotting the trainings.
A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.
Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
To use NLP machine learning model along with Algebra to solve symbolic mathematics problems in a more general and smarter way, compared to and inspired by the project facebookresearch/SymbolicMathematics.
Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)
Algebraic Sum types for Javascript (beta)
Sources of papers on algebraic file synchronization (TeX, Python)
MRHS solver - research tool for experimental algebraic cryptanalysis
Some very basic algebraic ideas and notions.
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Generate CAPTCHA from algebraic formula
Zorbage: algebraic data types and algorithms for use in numeric processing.
Algebraic Multigrid (AMG) Solver Library
Get all your structure and rip it apart.
Algebraic structures for untyped Racket
Additional accompaniment to Functional and Reactive Domain Modeling
Add a description, image, and links to the algebraic topic page so that developers can more easily learn about it.
To associate your repository with the algebraic topic, visit your repo's landing page and select "manage topics."