A Preprocessor for Linear Diophantine Equalities and Inequalities

René Thiemann
Archive of Formal Proofs 2024.

abstract   BibTeX    
AFP entry