MRHS solver - research tool for experimental algebraic cryptanalysis
-
Updated
Feb 5, 2024 - C
MRHS solver - research tool for experimental algebraic cryptanalysis
Some very basic algebraic ideas and notions.
A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.
Zorbage: algebraic data types and algorithms for use in numeric processing.
Algebraic Sum types for Javascript (beta)
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)
Sources of papers on algebraic file synchronization (TeX, 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.
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Get all your structure and rip it apart.
Algebraic Multigrid (AMG) Solver Library
Generate CAPTCHA from algebraic formula
Algebraic structures for untyped Racket
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
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."