| English | Russian |
| absorbing formula | поглощающая формула |
| addition formula | формула сложения |
| addition formulas of trigonometry | формулы сложения |
| all the necessary formulas for numerical calculations are given in full | все формулы, необходимые для численных расчётов, даны полностью |
| arithmetic formula | арифметическая формула |
| arithmetically provable formula | арифметически доказуемая формула |
| arithmetically valid formula | арифметически общезначимая формула |
| associativity formula | формула ассоциативности |
| assumption formula | исходная формула |
| back interpolation formula | формула для интерполирования назад |
| base formula | базисная формула |
| Bayesian formula | формула Байеса |
| bilinear formula | билинейная формула |
| binomial formula | формула бинома |
| binomial formula | биномиальная формула |
| binominal formula | формула бинома Ньютона |
| boundable formula | ограничиваемая формула |
| Breit formula | формула Брайта |
| Burnside formula | формула Бернсайда (для двойного интегрирования) |
| Cardano formula | формула Кардано (выражающая корни кубического уравнения через его коэффициенты) |
| Cartan formula | формула Картана |
| Cauchy mean value formula | вторая теорема о среднем |
| Cavalieri formula | формула Кавальери |
| Cayley formula | формула Кэли |
| central difference formula | формула центральных разностей |
| characteristic formula | характеристическая формула |
| Christoffel formula | формула Кристоффеля |
| Christoffel-Darboux formula | формула Кристоффеля-Дарбу |
| circular formula | круговая формула |
| class formula | формула классов |
| classical formula | классическая формула |
| class-number formula | формула для числа классов |
| closedness formula | формула замкнутости |
| coboundary formula | формула кограницы |
| collection formula | сборная формула |
| collection of formulas | совокупность формул |
| combinatorial formula | комбинаторная формула |
| combined formula | сборная формула |
| complete formula | полная формула |
| compositional formula | композиционная формула |
| compound formula | составная формула |
| computational formula | формула для вычислений |
| computing formula | формула для вычислений |
| conditional formula | условная формула |
| congruent formulas | конгруэнтная формула |
| congruous formulas | конгруэнтная формула |
| consistent formula | непротиворечивая формула |
| constructive formula | конструктивная формула |
| continuation formula | формула продолжения |
| contraction formula | формула свёртывания |
| contradictory formula | противоречивая формула |
| control formula | проверочная формула |
| conversion formula | формула перевода |
| conversion formula | формула выражения одной функции через другую |
| corollary formula | подформула |
| corrector formula | поправочная формула |
| correlation formula | корреляционная формула |
| Cotes formulas | формулы Котеса |
| Cramer formula | формула Крамера |
| cut formula | секущая формула |
| de Morgan formulas | формулы Моргана |
| decidable formula | разрешимая формула |
| decomposable formula | разложимая формула |
| decomposition formula | формула разложения |
| deducible formula | выводимая формула |
| definable formula | определимая формула |
| definite formula | определённая формула |
| definitory formula | определяющая формула |
| definitory formula | формула-определение |
| derivable formula | выводимая формула |
| development of formula | вывод формулы |
| difference formula | разностная формула |
| differentiation formula | формула дифференцирования |
| Dirichlet formula | формула Дирихле (числа делителей) |
| disprovable formula | невыводимая формула |
| distance formula | формула расстояния (между двумя точками) |
| distribution formula | формула распределения |
| double-angle formulae | формулы функций двойного угла |
| double-angle formulas | формулы для тригонометрических функций двойного угла |
| dual formula | двойственная формула |
| Duhamel formula | формула Дюамеля |
| effectively enumerable formulas | эффективно перечислимые формулы |
| effectively true formula | эффективно истинная формула |
| elementary formula | элементарная формула |
| empty formula | пустая формула |
| equivalent formulas | эквивалентные формулы |
| Erlangian formula | формула Эрланга |
| error formula | формула ошибок |
| estimation formula | формула оценки |
| Euler-Maclaurin formula | формула Эйлера-Маклорена (для аппроксимации интеграла суммой) |
| Euler-Poincare formula | формула Эйлера-Пуанкаре |
| evaluation formula | оценочная формула |
| even-numbered formula | формула с чётным номером |
| explicit formula | явная формула |
| explicitly definable formula | явно определимая формула |
| exponential formula | экспоненциальная формула (показательная) |
| false formula | ложная формула |
| Ferrari formula | формула Феррари |
| filtered formula | отфильтрованная формула |
| final formula | окончательная формула |
| first resolvent formula | первая резольвентная формула |
| five-term formula | пятичленная формула |
| formally decidable formula | формально разрешимая формула |
| formally refutable formula | формально опровержимая формула |
| formula construction | вывод формулы |
| formula derivation | вывод формулы |
| formula enlargement | формульное обогащение |
| formula level | уровень формулы |
| formula of finite increments | формула конечных приращений |
| formula of integration | формула интегрирования |
| formula of inversion | формула обращения |
| formula of signature | формула сигнатуры |
| formula of total probability | формула полной вероятности |
| formula of traces | формула следов |
| formula of universal coefficients | формула универсальных коэффициентов |
| formula satisfiability | выполнимость формулы |
| formulas of abridged multiplication | формулы сокращённого умножения (TarasZ) |
| Fourier cosine formula | формула для косинус-преобразования Фурье |
| Fourier integral formula | интегральная формула Фурье |
| Fourier sine formula | формула для синус-преобразования Фурье |
| Fredholm formula | формула Фредгольма |
| free formula | свободная формула |
| Frenet formula | формула Френе |
| full of formulas | формульный |
| functional formula | функциональная формула |
| Gaussian formula | формула Гаусса (для приближенного вычисления определённых интегралов) |
| general formula | общая формула |
| general recursively true formula | общерекурсивно истинная формула |
| generalized formula | обобщённая формула |
| generalizing formula | обобщающая формула |
| geometrically provable formula | геометрически доказуемая формула |
| geometrically valid formula | геометрически общезначимая формула |
| global formula | глобальная формула |
| graphic formula | графическая формула |
| Green formula | формула Грина |
| Green's formulas | формулы Грина (Andrey Truhachev) |
| Gregory formula | формула Грегори (для численного интегрирования) |
| grotesque formula | гротескная формула |
| half-angle formula | формула для тригонометрических функций половинного угла |
| half-angle formulas | формулы половинного угла |
| Heine formula | формула Гейне |
| Hermite interpolation formula | интерполяционная формула Эрмита |
| Heron formula | формула Герона (выражающая площадь треугольника через его стороны) |
| history of formula | история формулы |
| homomorphically stable formula | гомоморфно устойчивая формула |
| Horn formula | хорновская формула |
| Hurwitz formula | формула Гурвица |
| identically equal formulas | тождественно равные формулы |
| implicit formula | неявная формула |
| implicitly definable formula | неявно определимая формула |
| in the formulas 2, k is assumed to be a function of r | в формулах 2 k предполагается являющимся функцией от r |
| incomplete formula | предикат |
| incomplete formula | неполная формула |
| inconsistent formula | противоречивая формула |
| incorrect formula | некорректная формула |
| indecomposable formula | неразложимая формула |
| induction formula | индукционная формула |
| infinitary formula | инфинитарная формула |
| interdeducible formulae | дедуктивно равные формулы |
| interdeducible formulae | взаимновыводимые формулы |
| interpolation formula | интерполяционная формула |
| intuitionistically derivable formula | интуиционистски выводимая формула |
| intuitionistically valid formula | интуиционистски общезначимая формула |
| invalid formula | необщезначимая формула |
| invariant formula | инвариантная формула |
| inverse formula | обратная формула |
| isolated formula | изолированная формула |
| iterative formula | итерационная формула |
| jointly satisfiable formulas | совместно выполнимые формулы |
| krakowian formula | формула краковиана |
| Lagrange formula | формула Лагранжа |
| language of formulas | язык формул |
| language of open formulas | язык открытых формул |
| least squares formula | формула наименьших квадратов |
| Leibniz formula | формула Лейбница |
| Liouville formulas | формулы Лиувилля |
| listing formula | перечисляющая формула |
| logical formula | логическая формула |
| logically determinate formula | логически определённая формула |
| logically valid formula | логически общезначимая формула |
| Maclaurin formula | формула Маклорена |
| Markovian formula | марковская формула |
| matrix formula | матричная формула |
| maximum likelihood formula | формула максимального правдоподобия |
| Mehler-Dirichlet formula | формула Мелера-Дирихле |
| Mellin formula | формула Меллина |
| mix formula | формула смешения |
| mixing formula | смешивающая формула |
| Mobius inversion formula | формула обращения Мебиуса |
| modal formula | модальная формула |
| modally derivable formula | модально выводимая формула |
| modally valid formula | модально общезначимая формула |
| modified formula | модифицированная формула |
| Moivre formula | формула Муавра |
| multinomial formula | формула многочлена |
| multiplicatively stable formula | мультипликативно устойчивая формула |
| negative formula | отрицательная формула |
| neutral formula | нейтральная формула |
| Newton interpolation formula | интерполяционная формула Ньютона |
| Newton-Cotes formula | формула Ньютона-Котеса (численного интегрирования) |
| next, the differentiation formulas for the new functions are derived by separating the real and imaginary parts | далее, формулы дифференцирования новых функций выводят, разделяя действительную и мнимую части |
| next, the differentiation formulas for the new functions are derived by separating the real and imaginary parts | далее, формулы дифференцирования для этих новых функций выводятся разделением действительных и мнимых частей |
| Nicholson formula | формула Николсона |
| normative formula | нормативная формула |
| numeralwise decidable formula | нумерически разрешимая формула |
| numeralwise expressible formula | нумерически выразимая формула |
| numeralwise representable formula | нумерически представимая формула |
| O'Dell formula | формула О'Делла (для многоканальной системы массового обслуживания с потерями) |
| open formula | открытая формула |
| optimal formula | оптимальная формула |
| Orlando formula | формула Орландо |
| Parseval formula | формула Парсеваля |
| perturbation formula | пертурбационная формула |
| Plancherel formula | формула Планшереля |
| Poisson integral formula | формула интеграла Пуассона |
| Poisson summation formula | формула суммирования Пуассона |
| polarization formula | формула поляризации |
| polynomial formula | формула многочлена |
| Pompeiu formula | формула Помпейю |
| poor formula | неудовлетворительная формула |
| positive formula | положительная формула |
| positive-formula predicate | позитивно формульный предикат |
| positively derivable formula | позитивно выводимая формула |
| positively valid formula | позитивно общезначимая формула |
| postulation formula | постулационная формула |
| Post-Widder formula | формула Поста-Уиддера |
| predicate letter formula | предикатная формула |
| predicative formula | предикативная формула |
| prenex formula | предварённая формула |
| prime formula | элементарная формула |
| primitive formula | примитивная формула |
| primitively conditional formula | примитивно условная формула |
| primitively recursive formula | примитивно рекурсивная формула |
| principal formula | главная формула |
| prismatoid formula | формула объёма призматоида |
| prismoidal formula | формула объёма призматоида |
| production formulae | формулы приведения к виду, удобному для логарифмирования |
| propositional formula | пропозициональная формула |
| put together the formulas | сопоставлять формулы |
| quadrangle formula | формула прямоугольников (для приближенного вычисления определённого интеграла) |
| quadrature formula | формула квадратуры |
| quantifier-free formula | бескванторная формула |
| Ramanujan formula | формула Рамануджана |
| ranked formula | ранжированная формула |
| realizable formula | реализуемая формула |
| reciprocal formula | обращённая формула |
| reciprocation formula | формула обращения |
| reciprocity formula | формула обращения |
| rectangular formula | формула прямоугольников |
| recurrence formula | рекуррентная формула |
| recursion formula | рекуррентная формула |
| reduction formulas | формулы приведения |
| refutable formula | опровержимая формула |
| regression formula | формула регрессии |
| related by formula | связанный формулой |
| residue formula | формула вычетов |
| restricted formula | ограниченная формула |
| Rodrigues formula | формула Родригеса |
| rudimentary formula | рудиментная формула |
| Sarrusa formula | формула Сарруса |
| satisfiable formula | выполнимая формула |
| secondarily satisfiable formula | вторично выполнимая формула |
| secondarily valid formula | вторично общезначимая формула |
| semantically equivalent formulas | семантически эквивалентные формулы |
| semiempirical formula | полуэмпирическая формула |
| sequential formula | секвенциальная формула |
| Serret-Frenet formulas | формулы Серре-Френе (в теории пространственных кривых) |
| set of formulas | совокупность формул |
| shrewd formula | точная формула |
| side formula | боковая формула |
| sieve formula | формула сита |
| simple interest formula | формула простых процентов |
| Simpson formula | формула Симпсона |
| snap formula | эмпирическая формула |
| square stable formula | квадратоустойчивая формула |
| squared formula | квадрируемая формула |
| standard formula | стандартная формула |
| stiffy stable formulas | жёстко-устойчивые формулы |
| Stirling formula | формула Стирлинга (для оценки величины n! при больших n) |
| Stirling formula | ряд Маклорена |
| structure formula | структурная формула |
| subtraction formula | формула вычитания |
| symmetrical formula | симметричная формула |
| symmetrical interpolation formula | интерполяционная формула с центральными разностями |
| tabulated formula | табличная формула |
| tangent formula | формула касательных |
| Taylor formula | формула Тейлора (для приближенного нахождения значения функции при заданном значении аргумента) |
| terminal formula | заключительная формула (дерева вывода) |
| testing formula | контрольная формула |
| the elements of the matrix A are uniquely determined by formulas 1 and | однозначно определён (2) |
| topological formula | топологическая формула |
| transfinite formula | трансфинитная формула |
| transformation formula | формула преобразования |
| translation formula | формула переноса осей координат |
| translation formulas | формулы переноса осей координат |
| true formula | истинная формула |
| truncated formula | усечённая формула |
| two-level formula | двухслойная формула |
| unary formula | одноместная формула |
| undecidable formula | неразрешимая формула |
| underivable formula | невыводимая формула |
| universal formula | универсальная формула |
| universally valid formula | универсально общезначимая формула |
| unprovable formula | недоказуемая формула |
| unreliazable formula | нереализуемая формула |
| unsatisfiable formula | невыполнимая формула |
| untestable formula | непроверяемая формула |
| verifiable formula | проверяемая формула |
| verifiable formula | верифицируемая формула |
| Vieta formulas | формулы Виеты |
| Wallis formula | формула Уоллиса |
| when the error goes to zero as fast as h2, we say that the difference formulas are second order accurate | порядка точности |