removed assumption in det_bound_hadamard_tight, moved some basic lemmas on matrices, added a conditional version of det(four_block_mat ...) = ...
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP365c3d8497ce: renamed det_bound_gram to det_bound_hadamard, showed that bound is tight (using…
- Branches
- Unknown
- Tags