number-theoretic formula
51Functional equation — In mathematics or its applications, a functional equation is an equation expressing a relation between the value of a function (or functions) at a point with its values at other points. Properties of functions can for instance be determined by… …
52Mirimanoff's congruence — In number theory, a branch of mathematics, a Mirimanoff s congruence is one of a collection of expressions in modular arithmetic which, if they hold, entail the truth of Fermat s Last Theorem. Since the theorem has now been proven, these are now… …
53Uclid — (pronounced IPA|/ˈjuklɪd/, the same as Euclid ) is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite state systems.Decision Procedure and Verification ToolUCLID is a tool for verifying models of… …
54Rader's FFT algorithm — Rader s algorithm (1968) is a fast Fourier transform (FFT) algorithm that computes the discrete Fourier transform (DFT) of prime sizes by re expressing the DFT as a cyclic convolution. (The other algorithm for FFTs of prime sizes, Bluestein s… …
55Lambert series — In mathematics, a Lambert series, named for Johann Heinrich Lambert, is a series taking the form:S(q)=sum {n=1}^infty a n frac {q^n}{1 q^n}It can be resummed formally by expanding the denominator::S(q)=sum {n=1}^infty a n sum {k=1}^infty q^{nk} …
56Algoritmo de Euclides — El algoritmo de Euclides es un método antiguo y eficaz para calcular el máximo común divisor (MCD). Fue originalmente descrito por Euclides en su obra Elementos. El algoritmo de Euclides extendido es una ligera modificación que permite además… …
57List of harmonic analysis topics — This is a list of harmonic analysis topics, by Wikipedia page. See also list of Fourier analysis topics and list of Fourier related transforms, which are more directed towards the classical Fourier series and Fourier transform of mathematical… …
58Метод БВЕ — это метод быстрого суммирования специального вида рядов. Он был построен в 1990 Е.А. Карацубой[1] [2] и назван БВЕ Быстрого Вычисления Е функций потому, что позволяет вычислять быстро Зигелевские функции, и в частности, . Зигель назвал E… …
59New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …
60List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …
