После предложения, сделанного Кристианом Хеннигом на JSM 2024, я начал работать со своим аспирантом Даной Надери над подробной оценкой метода, который мы предложили в 2009 году с Дарреном Урейтом для приближения доказательств. (Метод был кратко упомянут в статье Physical Review и также кратко проиллюстрирован в нашей работе 2010 года на конференции в Сан ...