Period-aligned, norm-free: no four-exponentials matrix over the certified logarithm span

Initializing...

Period-aligned, norm-free: no four-exponentials matrix over the certified logarithm span · Prove2Me