A Formally Verified Solver for Homogeneous Linear Diophantine Equations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel. A Formally Verified Solver for Homogeneous Linear Diophantine Equations. In Jeremy Avigad, Assia Mahboubi, editors, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. Volume 10895 of Lecture Notes in Computer Science, pages 441-458, Springer, 2018. [doi]

This author has not been identified. Look up 'Florian Meßner' in GoogleThis author has not been identified. Look up 'Julian Parsert' in GoogleThis author has not been identified. Look up 'Jonas Schöpf' in GoogleThis author has not been identified. Look up 'Christian Sternagel' in Google

runs on WebDSL