chapter AFP
session "Linear_Inequalities" = "LLL_Basis_Reduction" +
options [timeout = 600]
theories
Missing_Matrix
Missing_VS_Connect
theories
Cone
Convex_Hull
theories
Farkas_Lemma
Mixed_Integer_Solutions
Integer_Hull
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-06-10]
