Search results

In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation...

In mathematics, tetration (or hyper-4) is an operation based on iterated, or repeated, exponentiation. There is no standard notation for tetration, though...

A non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative...

In the mathematical field of differential geometry, the Gauss–Bonnet theorem (or Gauss–Bonnet formula) is a fundamental formula which links the curvature...

In geometry, an apeirogonal prism or infinite prism is the arithmetic limit of the family of prisms; it can be considered an infinite polyhedron or a tiling...

A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been...

Kuznyechik (Russian: Кузнечик, literally "grasshopper") is a symmetric block cipher. It has a block size of 128 bits and key length of 256 bits. It is...

In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra h {\displaystyle {\mathfrak {h}}} of a Lie algebra g {\displaystyle...

In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable...

In the mathematical field of knot theory, the hyperbolic volume of a hyperbolic link is the volume of the link's complement with respect to its complete...

In Fourier analysis, the cepstrum (/ˈkɛpstrʌm, ˈsɛp-, -strəm/; plural cepstra, adjective cepstral) is the result of computing the inverse Fourier transform...

An integer triangle or integral triangle is a triangle all of whose side lengths are integers. A rational triangle is one whose side lengths are rational...

In (unconstrained) mathematical optimization, a backtracking line search is a line search method to determine the amount to move along a given search direction...

In geometry, a motion is an isometry of a metric space. For instance, a plane equipped with the Euclidean distance metric is a metric space in which a...

In mathematics, a matrix coefficient (or matrix element) is a function on a group of a special form, which depends on a linear representation of the group...

Roger Evans Howe (born May 23, 1945) is the William R. Kenan, Jr. Professor Emeritus of Mathematics at Yale University, and Curtis D. Robert Endowed Chair...

Kai Lai Chung (traditional Chinese: 鍾開萊; simplified Chinese: 钟开莱; September 19, 1917 – June 2, 2009) was a Chinese-American mathematician known for his...

Zhang, Zhaohuan (张照寰) was born in Zhenjiang, China, in 1925. He graduated from the Faculty of Medicine, Shanghai Medical College in 1950. Because of his...

In computer science, more particularly in automated theorem proving, rippling refers to a group of meta-level heuristics, developed primarily in the Mathematical...