Butterfly factorization with error guarantees

Published in submitted, 2024