Wielomiany, logika i geometria Lorenzo Clemente pokazuje jak automatycznie rozwiązywać zadania geometryczne wykorzystując do tego twierdzenie Tarskiego–Seidenberga informatyka algorytmy geometria logika Delta 2/2023