Program finds a general formula, which gives all integer solutions to a two variable diophantine linear equation
-
Updated
Dec 23, 2023 - Java
Program finds a general formula, which gives all integer solutions to a two variable diophantine linear equation
A proof-of-concept library for motif analysis using MDL techniques.
tokenization project
An system for visualising Ontologies through Concept and Property Diagrams
The ElGamal encryption and proof components
Given a graph grammar defined in AGG (.ggx) using a type graph, converts the file to a new one, usable in Rodin, containing the same definition.
Proof of concept for "Cannelloni Deployment" with spring
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."