Как MIT взломал тензоры 70 лет спустя

В этой научной статье представлена абстракция непрерывного тензора, новаторское расширение, которое позволяет индексам тензоров принимать действительные, а не только дискретные целочисленные значения. Цель работы — унифицировать программирование в областях, зависящих от вычислений в непрерывных доменах, таких как компьютерная графика и биоинформатика, которые в настоящее время используют разрозненные, доменно-специфические инструменты. Реализация опирается на кусочно-постоянные тензоры, используя специальный тип Limit и расширенную абстракцию fibertree для эффективного хранения данных и точного представления интервальных границ. Компилятор, основанный на концепции Looplets, генерирует высокоэффективный код, который разбивает непрерывное итерационное пространство на постоянные области, обобщая алгоритмы пространственного объединения. Представленный подход успешно объединяет сложные геометрические и численные операции, демонстрируя значительное ускорение работы и сокращая объем кода (LoC) по сравнению с существующими эталонными библиотеками.