| The result is also important in the study of stochastic processes and the Malliavin calculus, since results concerning probability measures on infinite-dimensional spaces are of central importance in these fields. | Результат также важен при изучении случайных процессов и Malliavin calculus, так как результаты, касающиеся вероятностной меры на бесконечномерных пространствах имеют центральное значение в этих областях. |
| He is the Managing Editor of the scientific journal Calculus of Variations and Partial Differential Equations, and member of the editorial boards of scientific journals. | Он является редактором научного журнала «Calculus of Variations and Partial Differential Equations» и членом редколлегий нескольких научных журналов. |
| George B. Thomas Jr. acknowledged Tucker's contribution of many exercises to Thomas's classic textbook, Calculus and Analytic Geometry. | Джордж Томас-младший признал большой вклад Таккера в создание многих упражнений для своего классического учебника, «Calculus and Analytic Geometry». |
| He designed the Calculus of Constructions in 1984 with Thierry Coquand. | В 1984 году разработал Calculus of constructions совместно с Тьерри Коканом. |
| Robert Ghrist: Welcome to Calculus. | Р. Грист: «Добро пожаловать в Calculus!» |
| Some attempts have been made to model these temporal logics using both computational formalisms such as the Event Calculus and temporal logics such as defeasible temporal logic. | Были предприняты некоторые попытки смоделировать эти аспекты в рамках темпоральной логики, используя одновременно вычислительные формализмы, такие как логический язык Event Calculus, и темпоральные логики, такие как допустимая темпоральная логика. |
| Beta normal form Comparison of programming languages Lambda calculus Parameter (computer science) Eval() Essentials of Programming Languages by Daniel P. Friedman and Mitchell Wand, MIT Press 1989-2006 Some Fortran systems use call by copy-restore. | Бета-нормальная форма Сравнение языков программирования Лямбда-исчисление Параметр (программирование) eval Essentials of Programming Languages by Daniel P. Friedman and Mitchell Wand, MIT Press 1989-2006 Lambda Calculus (неопр.). |
| His textbook on tensor calculus, The Absolute Differential Calculus (originally a set of lecture notes in Italian co-authored with Ricci-Curbastro), remains one of the standard texts more than a century after its first publication, with several translations available. | Написанный Леви-Чивитой учебник тензорного исчисления, The Absolute Differential Calculus (исходно - записи лекций, прочитанных на итальянском языке в соавторстве с Риччи-Курбастро), остаётся одним из актуальных текстов для знакомства с предметом более чем через 100 лет после его первого издания. |