Pracuję nad twierdzeniem twierdzenia wyższego rzędu, którego unifikacja wydaje się najtrudniejszym problemem.

Jeśli algorytm Hueta jest nadal uważany za najnowocześniejszy, czy ktoś ma jakieś powiązania z jego wyjaśnieniami, które są napisane tak, aby były zrozumiałe dla programisty, a nie dla matematyka?

Czy nawet nie ma przykładów, gdzie to działa, a zwykły algorytm pierwszego rzędu nie działa?