A formally verified solver for homogeneous linear Diophantine equations

DOI10.1007/978-3-319-94821-8_26OpenAlexW2810744507MaRDI QIDQ1791187

Florian Meßner, Jonas Schöpf, Julian Parsert, Christian Sternagel

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_26

zbMATH Keywords

mechanized mathematicscode generationIsabelle/HOLhomogeneous linear Diophantine equationsverified code

Mathematics Subject Classification ID

Computer solution of Diophantine equations (11Y50) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

A new PCP outer verifier with applications to homogeneous linear equations and max-bisection ⋮ Diophantine

Uses Software

• Title not available (Why is that?)
• Title not available (Why is that?)
• CoLL

This page was built for publication: A formally verified solver for homogeneous linear Diophantine equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1791187)