| Russian | English |
| а определяется формулой | A is defined by the formula |
| абсолютная формула | absolute formula |
| алгебраическая формула | algebraic formula |
| аналитическая формула | analytic formula |
| арифметическая формула | arithmetic formula |
| арифметически доказуемая формула | arithmetically provable formula |
| арифметически общезначимая формула | arithmetically valid formula |
| базисная формула | base formula |
| бескванторная формула | quantifier-free formula |
| билинейная формула | bilinear formula |
| биномиальная формула | binomial formula |
| боковая формула | side formula |
| в виде формулы это выражается | symbolically |
| в формулах 2 k предполагается являющимся функцией от r | in the formulas 2, k is assumed to be a function of r |
| величина, вычисленная по формуле сложных процентов | compound amount |
| верифицируемая формула | verifiable formula |
| взаимновыводимые формулы | interdeducible formulae |
| вполне симметричная формула | fully symmetric formula |
| все формулы, необходимые для численных расчётов, даны полностью | all the necessary formulas for numerical calculations are given in full |
| вторично выполнимая формула | secondarily satisfiable formula |
| вторично общезначимая формула | secondarily valid formula |
| выведём формулу следующим образом | we determine the formula as follows |
| вывод формулы | formula construction |
| вывод формулы | formula derivation |
| вывод формулы | development of formula |
| выводить формулу | develop |
| выключная формула | standalone formula (отдельно стоящая, не в текстовой строке tll) |
| выключная формула | displayed formula (формула, вынесенная в отдельную строку markushe) |
| выполнимая формула | satisfiable formula |
| выполнимость формулы | formula satisfiability |
| выражаемость формулой | formulability |
| выражение в замкнутой формуле | closed formula |
| выражение, построенное по типу пропозициональной формулы | expression, constructed in analogy with a propositional formula (ssn) |
| вычисляют по формуле | it is calculated using the formula (Orwald) |
| геометрически доказуемая формула | geometrically provable formula |
| геометрически общезначимая формула | geometrically valid formula |
| главная формула | principal formula |
| глобальная формула | global formula |
| гомоморфно устойчивая формула | homomorphically stable formula |
| гониометрическая формула | goniometric formula |
| графическая формула | graphic formula |
| гротескная формула | grotesque 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 |
| данная формула в хорошо согласуется с опытом | this formula is in good agreement with the experiment |
| данная формула в хорошо согласуется с экспериментом | this formula is in good agreement with the experiment |
| данная формула хорошо согласуется с экспериментом | this formula is in good agreement with the experiment |
| двойственная формула | dual formula |
| двухслойная формула | two-level formula |
| дедуктивно равные формулы | interdeducible formulae |
| деривационная формула | derivation formula |
| дисперсия, выраженная в виде формулы | analytical variance |
| для получения формулы | yield the formula |
| доказуемая формула | provable formula |
| дуально-симметричная формула | dual-symmetric formula |
| жёстко-устойчивые формулы | stiffy stable formulas |
| заключительная формула | terminal formula (дерева вывода) |
| замкнутая формула | closed formula |
| из этой формулы следует, что | this formula implies |
| изолированная формула | isolated formula |
| инвариантная формула | invariant formula |
| индукционная формула | induction formula |
| интегрирование по формуле прямоугольников | rectangular trapezoidal integration (трапеций) |
| интегрирование по формуле прямоугольников | trapezoidal rule (трапеций) |
| интегрирование по четырёхточечной формуле Гаусса | four point Gauss integration (bonly) |
| интерполирование по формуле Лагранжа | Lagrange interpolation |
| интерполяционная формула | interpolation formula |
| интерполяционная формула Ньютона | Newton interpolation formula |
| интерполяционная формула с центральными разностями | symmetrical interpolation formula |
| интерполяционная формула Стирлинга | Stirling's interpolation formula |
| интерполяционная формула Эрмита | Hermite interpolation formula |
| интуиционистски выводимая формула | intuitionistically derivable formula |
| интуиционистски общезначимая формула | intuitionistically valid formula |
| инфинитарная формула | infinitary formula |
| исключить из формулы | exclude from the formula |
| искомое решение даётся формулой | the solution sought is given by |
| истинная формула | true formula |
| история формулы | history of formula |
| исходная формула | assumption formula |
| итерационная формула | iterative formula |
| квадратоустойчивая формула | square stable formula |
| квадратурная формула | quadrature |
| квадратурная формула средних прямоугольников | midpoint quadrature formula midpoint rule |
| квадрируемая формула | squared formula |
| квазиатомическая формула | quasiatomic formula |
| кинематическая формула | kinematic formula |
| классическая формула | classical formula |
| комбинаторная формула | combinatorial formula |
| композиционная формула | compositional formula |
| конгруэнтная формула | congruous formulas |
| конгруэнтная формула | congruent formulas |
| конструктивная формула | constructive formula |
| контрольная формула | testing formula |
| концевая формула | end formula (конечная) |
| корректная формула | correct formula |
| корреляционная формула | correlation formula |
| Коэффициент, который предшествует данной величине в формуле | prefactor (dratm) |
| коэффициент неравномерности в формуле Ричардса-Чечотта | coefficient of proportionality, Richards-Chechott equation (mine Bema) |
| круговая формула | circular formula |
| логическая формула | logical formula |
| логически общезначимая формула | logically valid formula |
| логически определённая формула | logically determinate formula |
| ложная формула | false formula |
| марковская формула | Markovian formula |
| математические формулы | mathematical formalism |
| матричная формула | matrix formula |
| металингвистическая формула | metalinguistic formula |
| модальная формула | modal formula |
| модально выводимая формула | modally derivable formula |
| модально общезначимая формула | modally valid formula |
| модифицированная формула | modified formula |
| можно возвратиться к формуле | one can go back to (7; 7: once the asymptotics (3) is established for A one can go back to the formula) |
| монотонно возрастающая формула | monotonically increasing formula |
| монотонно убывающая формула | monotonically decreasing formula |
| мультипликативно устойчивая формула | multiplicatively stable formula |
| мы можем выразить данное соотношение следующей формулой | we can express the relation in terms of the following formula |
| мы оставляем проверку этой формулы читателю как упражнение | we leave it as an exercise for the reader to check the formula |
| написание формулы в этом виде | the arrangement of the formula in this form is |
| нахождение формулы ... связано с трудностями | the formula of ... poses many problems |
| наша отправная точка – это формула | Our point of departure is the formula |
| наша отправная точка – это формула | Our point of departure is the formula |
| невыводимая формула | underivable formula |
| невыводимая формула | disprovable formula |
| невыключная формула | inline formula (формула в тексте, не вынесенная в отдельную строку markushe) |
| невыполнимая формула | unsatisfiable formula |
| недоказуемая формула | unprovable formula |
| нейтральная формула | neutral formula |
| некорректная формула | incorrect formula |
| необщезначимая формула | invalid formula |
| неопровержимая формула | irrefutable formula |
| неполная формула | incomplete formula |
| непроверяемая формула | untestable formula |
| непротиворечивая формула | consistent formula |
| неразложимая формула | indecomposable formula |
| неразрешимая формула | undecidable formula |
| нереализуемая формула | unreliazable formula |
| неудовлетворительная формула | poor formula |
| неявная формула | implicit formula |
| неявно определимая формула | implicitly definable formula |
| новая общая формула для обратного образа цикла при моноидальном преобразовании | new general formula for the pull-back of cycle by a monoidal transformation (ssn) |
| нормативная формула | normative formula |
| нужно быть осторожным при использовании данной формулы | one must be careful in using this formula |
| нумерически выразимая формула | numeralwise expressible formula |
| нумерически представимая формула | numeralwise representable formula |
| нумерически разрешимая формула | numeralwise decidable formula |
| обобщающая формула | generalizing formula |
| обобщённая формула | generalized formula |
| обратная формула | inverse formula |
| обращённая формула | reciprocal formula |
| общая формула | general formula |
| общерекурсивно истинная формула | general recursively true formula |
| объёмная аэродинамическая формула | bulk aerodynamic formula |
| ограниченная формула | restricted formula |
| ограничиваемая формула | boundable formula |
| одноместная формула | unary formula |
| окончательная формула | final formula |
| описываться формулой | follow formula |
| описывающая формула | describing formula |
| определимая формула | definable formula |
| определяющая формула | definitory formula |
| определённая формула | definite formula |
| определённый по формуле | determined from the formula (Alex_Odeychuk) |
| опровержимая формула | refutable formula |
| оптимальная формула | optimal formula |
| отдельно стоящая формула | stand-alone formula (tll) |
| отрицательная формула | negative formula |
| отфильтрованная формула | filtered formula |
| оценочная формула | evaluation formula |
| ошибка в формуле | error in equation |
| первая резольвентная формула | first resolvent formula |
| перечисляющая формула | listing formula |
| пертурбационная формула | perturbation formula |
| по следующей формуле | using the following formula (Alexander Demidov) |
| по формуле | from the formula (2.1) |
| по формуле | by (2.1) |
| поглощающая формула | absorbing formula |
| подчиняться формуле | follow formula (следовать) |
| позитивно выводимая формула | positively derivable formula |
| позитивно общезначимая формула | positively valid formula |
| полная формула | complete formula |
| положительная формула | positive formula |
| получение формул | draw |
| получение формулы | the derivation of an equation |
| полуэмпирическая формула | semiempirical formula |
| поправочная формула | corrector |
| поправочная формула | corrector formula |
| поскольку якобиан J имеет действительное значение, из классической формулы замены переменной под знаком интеграла вытекает, что ... | because J is a real Jacobian, it follows from the classical change of variables formula that |
| постулационная формула | postulation formula |
| правильно построенная формула | WFF (well-formed formula) |
| практически применимая формула | usable formula |
| предварённая формула | prenex formula |
| предельная формула | limiting formula |
| предпоследняя формула | the next-to-last formula |
| при использовании данной формулы следует быть осторожным | one must be careful in using this formula |
| приближённая аналитическая формула | approximate analytical formula (Irina Verbitskaya) |
| приближённая формула | approximation |
| прилагаемые пункты патентной формулы | the appended claims |
| прилагаемые пункты формулы патента | the appended claims |
| примитивная формула | primitive formula |
| примитивно рекурсивная формула | primitively recursive formula |
| примитивно условная формула | primitively conditional formula |
| проверку данной формулы мы оставляем читателю как упражнение | we leave it as an exercise for the reader to check the formula |
| проверку этой формулы мы оставляем читателю в качестве упражнения | we leave it as an exercise for the reader to check the formula |
| проверяемая формула | verifiable formula |
| пропозициональная формула | propositional formula |
| противоречивая формула | inconsistent formula |
| противоречивая формула | contradictory formula |
| пустая формула | empty formula |
| путём небольшого преобразования можно показать зависимость этой формулы от ... | with a little manipulation this formula can be shown to depend on |
| пятичленная формула | five-term formula |
| разложение по формуле бинома | expansion by binomial theorem |
| разложение по формуле бинома | binomial expansion |
| разложение по формуле бинома Ньютона | Newton sum |
| разложение по формуле бинома Ньютона | binomial form |
| разложимая формула | decomposable formula |
| разностная формула | difference formula |
| разрешимая формула | decidable formula |
| ранжированная формула | ranked formula |
| раскрытие формулы | expansion |
| рассчитываться по формуле | be calculated as per the formula (e.g. This is calculated as per the formula listed above. Soulbringer) |
| реализуемая формула | realizable formula |
| рекуррентная формула | recursion formula |
| рекуррентная формула | recursion recurrence relation |
| рекуррентная формула | recursion |
| рекуррентная формула | recurrence formula |
| рудиментная формула | rudimentary formula |
| сборная формула | combined formula |
| сборная формула | collection formula |
| свободная формула | free formula |
| связанный формулой | related by formula |
| секвенциальная формула | sequential formula |
| секущая формула | cut formula |
| семантически эквивалентные формулы | semantically equivalent formulas |
| симметричная формула | symmetrical formula |
| смешивающая формула | mixing formula |
| совместно выполнимые формулы | jointly satisfiable formulas |
| совокупность математических формул | mathematical formalism (набор) |
| совокупность формул | formalism (набор) |
| совокупность формул | set of formulas |
| совокупность формул | collection of formulas |
| сокращённо выражаться в виде формулы | be abbreviated with the formula |
| соотношение между k и m даётся формулой | A relationship between k and m is given by the formula |
| сопоставлять формулы | put together the formulas |
| составная квадратурная формула | compound composite quadrature formula |
| составная формула | compound formula |
| сравнимая формула | compatible formula (ssn) |
| средних прямоугольников квадратурная формула | midpoint rule |
| средних прямоугольников квадратурная формула | midpoint quadrature formula |
| стандартная формула | standard formula |
| структурная формула | structure formula |
| табличная формула | tabulated formula |
| теоретико-множественная формула | set-theoretical formula |
| теоретико-числовая формула | number-theoretic formula |
| тождественно истинная формула | identically true formula |
| тождественно ложная формула | identically false formula |
| тождественно равные формулы | identically equal formulas |
| топологическая формула | topological formula |
| точная формула | shrewd formula |
| трансфинитная формула | transfinite formula |
| тренд, заданный формулой | analytic trend |
| универсальная формула | universal formula |
| универсально общезначимая формула | universally valid formula |
| универсально экзистенциональная формула | universally existential formula |
| упрощённая формула | simplified formula |
| уровень формулы | formula level |
| усечённая формула | truncated formula |
| условная формула | conditional formula |
| условно фильтрующаяся формула | conditionally filtering formula |
| формально опровержимая формула | formally refutable formula |
| формально разрешимая формула | formally decidable formula |
| формула алгоритма | algorithmic formula |
| формула асимптотического разложения | asymptotic expansion formula (функции) |
| формула ассоциативности | associativity formula |
| формула Байеса | Bayesian formula |
| формула Байеса | Bayes's rule |
| формула Барндорффа-Нильсена | p* formula |
| формула Барндорффа-Нильсена | Barndorff-Nielsen's formula |
| формула Бернсайда | Burnside formula (для двойного интегрирования) |
| формула бинома | binomial formula |
| формула бинома Ньютона | binomial theorem |
| формула бинома Ньютона | binominal formula |
| формула Блэк-Шолса | Black-Scholes formula |
| формула Брайта | Breit formula |
| формула выражения одной функции через другую | conversion formula |
| формула вычетов | residue formula |
| формула вычитания | subtraction formula |
| формула Гаусса | Gaussian formula (для приближенного вычисления определённых интегралов) |
| формула Гаусса-Лежандра | Gauss-Legendre quadrature formula (Nik-On/Off) |
| формула Гейне | Heine formula |
| формула Герона | Heron theorem |
| формула Герона | Heron formula (выражающая площадь треугольника через его стороны) |
| формула n-го члена последовательности | rule for the nth term (VPK) |
| формула Грегори | Gregory formula (для численного интегрирования) |
| формула Грина | Green formula |
| формула Гурвица | Hurwitz formula |
| формула Даламбера | D'Alembert analogy |
| формула Дедекинда-Лиувилля | Mobius inversion formula |
| формула Дедекинда-Лиувилля | Dedekind-Liouville formula |
| формула Дирихле | Dirichlet formula (числа делителей) |
| формула дифференцирования | differentiation formula |
| формула для вычислений | computing formula |
| формула для вычислений | computational formula |
| формула для интерполирования назад | back interpolation formula |
| формула для интерполяции вперёд | forward interpolation formula |
| формула для косинус-преобразования Фурье | Fourier cosine formula |
| формула для синус-преобразования Фурье | Fourier sine formula |
| формула для тригонометрических функций половинного угла | half-angle formula |
| формула для числа классов | class-number formula |
| формула дополнения | reflection formula (Эйлера для гамма-функции sas_proz) |
| формула Дюамеля | Duhamel formula |
| формула замены переменной | substitution rule (при дифференцировании или интегрировании A.Rezvov) |
| формула замкнутости | closedness formula |
| формула интеграла Пуассона | Poisson integral formula |
| формула интегрирования | formula of integration |
| формула Кавальери | Cavalieri formula |
| формула Кардано | Cardano formula (выражающая корни кубического уравнения через его коэффициенты) |
| формула Картана | Cartan formula |
| формула касательных | tangent formula |
| формула квадратуры | quadrature formula |
| формула классов | class formula |
| формула кограницы | coboundary formula |
| формула конечных приращений | formula of finite increments |
| формула корней квадратного уравнения | quadratic formula |
| формула косинусов | cosine formula |
| формула Коши-Адамара | Cauchy-Hadamard formula |
| формула краковиана | krakowian formula |
| формула Крамера | Cramer formula |
| формула Крамера/Лангенбаха-Бельца | Krдmer/Langenbach-Beltz formula (Efimovich) |
| формула Кристоффеля | Christoffel formula |
| формула Кристоффеля-Дарбу | Christoffel-Darboux formula |
| формула круга | circular formula |
| формула Кудера-Ричардсона | Kuder-Richardson formula |
| формула Кэли | Cayley formula |
| формула Лагранжа | Lagrange formula |
| формула Лагранжа | mean value theorem |
| формула левых прямоугольников | left-hand rectangle rule |
| формула Лейбница | Leibniz rule |
| формула Лейбница | Leibniz formula |
| формула Лопиталя | L'Hospital formula (правило) |
| формула Лугананни-Райса | Lugananni-Rice formula |
| формула Макаулея | Macaulay's formula |
| формула Маклорена | Maclaurin formula |
| формула максимального правдоподобия | maximum likelihood formula |
| формула малых приращений | small increments formula (Roman.Selivanov) |
| формула Маурера-Картана | form of Maurer-Cartan |
| формула Мезона | Maison's formula (railwayman) |
| формула Мелера-Дирихле | Mehler-Dirichlet formula |
| формула Меллина | Mellin formula |
| формула многочлена | polynomial formula |
| формула многочлена | multinomial formula |
| формула Мортара | Mortara formula |
| формула Муавра | De Moivre's theorem (A.Rezvov) |
| формула Муавра | Moivre formula |
| формула наименьших квадратов | least squares formula |
| формула Николсона | Nicholson formula |
| формула Ньютона-Котеса | Newton-Cotes formula (численного интегрирования) |
| Формула Ньютона-Лейбница | Fundamental theorem of calculus (ezik92) |
| формула образования | the equation for the formation of |
| формула обратного дифференцирования | backward differentiation formula (Alex_Odeychuk) |
| формула обращения | the inversion formula |
| формула обращения | reciprocation formula |
| формула обращения | reciprocity formula |
| формула обращения | formula of inversion |
| формула обращения Мебиуса | Dedekind-Liouville formula |
| формула обращения Мебиуса | Mobius inversion formula |
| формула объёма призматоида | prismatoid formula |
| формула объёма призматоида | prismoidal formula |
| формула О'Делла | O'Dell formula (для многоканальной системы массового обслуживания с потерями) |
| формула-определение | definitory formula |
| формула Орландо | Orlando formula |
| формула оценки | estimation formula |
| формула оценки | estimator |
| формула ошибок | error formula |
| формула Парсеваля | Parseval formula |
| формула перевода | conversion formula |
| формула переноса осей координат | translation formula |
| формула пересечения | adjunction formula |
| формула перехода | transfer equation |
| формула Планшереля | Plancherel formula |
| формула Полака-Рибьера | Polak-Ribiere formula (clck.ru dimock) |
| формула Поллачека | Pollaczek's formula |
| формула Поллачека-Хинчина | Pollaczek-Khintchine formula |
| формула полной вероятности | rule of total probability |
| формула полной вероятности | probability invariance rule |
| формула полной вероятности | formula of total probability |
| формула половинного угла | half-angle law (в тригонометрии) |
| формула поляризации | polarization formula |
| формула Помпейю | Pompeiu formula |
| формула Поста-Уиддера | Post-Widder formula |
| формула правых прямоугольников | right-hand rectangle rule |
| формула предсказания | prediction formula |
| формула предсказания Спирмана-Брауна | Spearman-Brown prophesy formula |
| формула предсказания Спирмана-Брауна | Spearman-Brown formula |
| формула преобразования | transformation formula |
| Формула присоединения | Adjunction formula (Гриффитс Ф., Харрис Дж. – Принципы алгебраической геометрии (том 2) Jumpow) |
| формула продолжения | continuation formula |
| формула производной логарифма | log rule (A.Rezvov) |
| формула производной неявной функции | implicit-function rule (A.Rezvov) |
| формула производной сложной функции | chain rule (A.Rezvov) |
| формула производной частного | quotient rule (A.Rezvov) |
| формула простых процентов | simple interest formula |
| формула прямоугольников | quadrangle formula (для приближенного вычисления определённого интеграла) |
| формула прямоугольников | midpoint rule |
| формула прямоугольников | rectangle rule |
| формула прямоугольников | rectangle quadrature rule |
| формула прямоугольников | rectangular formula |
| формула разложения | decomposition formula |
| формула Рамануджана | Ramanujan formula |
| формула распределения | distribution formula |
| формула расстояния | distance formula (между двумя точками) |
| формула Региомонтана | Regiomontan theorem |
| формула Региомонтана | Regiomontan formula (устанавливающая зависимость между длинами двух сторон треугольников и тангенсами полусуммы и полуразности противолежащих им углов) |
| формула регрессии | regression formula |
| формула Родригеса | Rodrigues formula |
| формула с чётным номером | even-numbered formula |
| формула Сарруса | Sarrusa formula |
| формула свёртывания | contraction formula |
| формула сигнатуры | formula of signature |
| формула Симпсона | Simpson formula |
| формула сита | sieve formula |
| формула следов | formula of traces |
| формула сложения | addition formula |
| формула сложения вероятностей | law of addition of probability |
| формула сложной производной | chain rule (A.Rezvov) |
| формула смешения | mix formula |
| формула Сомильяны | Somigliana's formula |
| формула Спенсера | Spencer formula |
| формула Спирмана-Брауна | Spearman-Brown prophesy formula |
| формула Спирмана-Брауна | Spearman-Brown formula |
| формула средних прямоугольников | midpoint rule |
| формула средних прямоугольников | midpoint quadrature rule |
| формула Стирлинга | Stirling formula (для оценки величины n! при больших n) |
| формула суммирования Пуассона | Poisson summation formula |
| формула суммирования Эйлера-Маклорена | the Euler–MacLaurin summation formula |
| формула суммирования Эйлера-Маклорена | the EulerMacLaurin summation formula |
| формула сферического произведения | spherical product formula |
| формула Тейлора | Taylor formula (для приближенного нахождения значения функции при заданном значении аргумента) |
| формула трапеции | trapezoid formula (для приближенного вычисления определённого интеграла) |
| формула трапеций | trapezoidal rule |
| формула трапеций | trapezoid rule |
| формула углового коэффициента | slope formula |
| формула универсальных коэффициентов | formula of universal coefficients |
| формула Уоллиса | Wallis formula |
| формула Феррари | Ferrari formula |
| формула Флетчера-Ривза | Fletcher-Reeves formula (clck.ru dimock) |
| формула Фредгольма | Fredholm formula |
| формула Френе | Frenet formula |
| формула центральных разностей | central difference formula |
| Формула Шермана-Моррисона | Sherman-Morrison formula (snowleopard) |
| формула Эйлера-Маклорена | Euler-Maclaurin formula (для аппроксимации интеграла суммой) |
| формула Эйлера-Пуанкаре | Euler-Poincare formula |
| формула Эрланга | Erlang's formula |
| формула Эрланга | Erlangian formula |
| формулы Виеты | Vieta formulas |
| формулы вычитания | subtraction identities (в тригонометрии) |
| формулы Грина | Green's identities (Andrey Truhachev) |
| формулы Грина | Green's formulas (Andrey Truhachev) |
| формулы для тригонометрических функций двойного угла | double-angle formulas |
| формулы Котеса | Cotes formulas |
| формулы Лиувилля | Liouville formulas |
| формулы Моргана | de Morgan formulas |
| формулы Непера | Napier analogy (в сферической тригонометрии) |
| формулы переноса осей координат | translation formulas |
| формулы Пифагора | Pythagorean identities |
| формулы половинного угла | half-angle formulas |
| формулы приведения | reduction formulas |
| формулы приведения к виду, удобному для логарифмирования | production formulae |
| формулы Родрига | equations of Rodrigues |
| формулы Серре-Френе | Serret-Frenet formulas (в теории пространственных кривых) |
| формулы сложения | addition identities (в тригонометрии) |
| формулы сложения | addition formulas of trigonometry |
| формулы сокращённого умножения | formulas of abridged multiplication (TarasZ) |
| формулы умножения | product identities (в тригонометрии) |
| формулы функций двойного угла | double-angle formulae |
| формулы Эйлера | Euler relations (A.Rezvov) |
| функциональная формула | functional formula |
| характеристическая формула | characteristic formula |
| химическая формула | chemical composition |
| хорновская формула | Horn formula |
| числовая формула | numerical formula |
| чисто аналитическая формула | purely analytic formula |
| что и приводит формуле | as needed for (3) |
| эквивалентные формулы | equivalent formulas |
| экзистенциальная формула | existential formula |
| экзистенциально замкнутая формула | existentially closed group |
| экспоненциальная формула | exponential formula (показательная) |
| экстраполяционная формула | extrapolation formula |
| экстраполяционная формула | extrapolator |
| элементарная формула | atomic formula |
| элементарная формула | elementary formula |
| элементарная формула | prime formula |
| эмпирическая формула | snap formula |
| эта мера может построена тем же путём, что и в формуле | the measure can be constructed in the same way as in (2) |
| этот многочлен, обозначаемый далее R t, который соответствует данной функции по формуле 2.1, почти всюду равен нулю | the polynomial, call it R t, corresponding to this function by 2.1, is almost everywhere nonzero |
| эффективно истинная формула | effectively true formula |
| эффективно перечислимые формулы | effectively enumerable formulas |
| явная формула | explicit formula |
| явно определимая формула | explicitly definable formula |
| язык открытых формул | language of open formulas |
| язык формул | language of formulas |
