카라테오도리-페이어 정리의 접근 가능한 증명에 대해 아... 노트

카라테오도리-페이어 정리의 접근 가능한 증명에 대해 아는 사람이 있나요?

최근에 동료 중 한 명이 우리 컴파일러로 포팅할 수 있는 다항식 근사 루틴을 구현하는 데 도움을 주었는데, 그러나 그것은 제가 예상한 방법이 아니었습니다. 전에 썼던 것처럼, 저는 레메즈 알고리즘을 연구하고 파이썬에서 프로토타입을 구현했습니다. 레메즈 근사는 루트 찾기와 선형 시스템 풀기를 번갈아 수행하는 반복적인 루프를 포함하며, 따라서 다소 깨지기 쉽고 어렵습니다. 이러한 하위 솔버의 수치적 오류와 정확도 한계는 알고리즘이 수렴하지 못하게 만드는 이상한 엣지 케이스에 기여합니다.