Аннотация:
В докладе будет изложена теория, позволяющая ограничивать объем доказательных
вычислений при нахождении экстремумов функций, определенных на фрактальных кривых.
Будет продемонстрировано применение этой теории к точному вычислению квадратно-линейного
и кубо-линейного отношения плоских и пространственных кривых. Будут представлены
эффективные алгоритмы поиска фрактальных кривых с минимальным растяжением.
Обратная связь: