renamed det_bound_gram to det_bound_hadamard, showed that bound is tight (using unproven fact about determinants of block-matrices)
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFPe2545be0714b: added lemma for special case of small integer solutions (no mixed integer)…
- Branches
- Unknown
- Tags