A Formally Verified Solver for Homogeneous Linear Diophantine Equations.

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

Published in: ITP (2018)

Keyphrases

linear systems
angular velocity
linear equations
mathematical model
square root
database
special case
dynamical systems
closed form
differential equations
closed form solutions
algebraic equations
data sets
databases
information systems