- cyclic proof
- мат. циклическое доказательство
Большой англо-русский и русско-английский словарь. 2001.
cyclic proof
Смотреть что такое "cyclic proof" в других словарях:
Proof of knowledge — In cryptography, a proof of knowledge is an interactive proof in which the prover succeeds convincing a verifier that it knows something. What it means for a machine to know something is defined in terms of computation. A machine knows something … Wikipedia
Cyclic polytope — In mathematics, a cyclic polytope, denoted C(n,d), is a convex polytope formed as a convex hull of n distinct points on a rational normal curve in Rd, where n is greater than d. These polytopes were studied by Constantin Carathéodory, David Gale … Wikipedia
Fundamental theorem of cyclic groups — In abstract algebra, the fundamental theorem of cyclic groups states that if G, is a cyclic group of order n, then every subgroup of G, is cyclic. Moreover, the order of any subgroup of G, is a divisor of n, and for each positive divisor k, of n … Wikipedia
BCH code — In coding theory the BCH codes form a class of parameterised error correcting codes which have been the subject of much academic attention in the last fifty years. BCH codes were invented in 1959 by Hocquenghem, and independently in 1960 by Bose… … Wikipedia
Class formation — In mathematics, a class formation is a structure used to organize the various Galois groups and modules that appear in class field theory. They were invented by Emil Artin and John Tate. Contents 1 Definitions 2 Examples of class formations 3 The … Wikipedia
Transposable integer — A summary of this article appears in Repeating decimal. The digits of some specific integers permute or shift cyclically when they are multiplied by a number n. Examples are: 142857 × 3 = 428571 (shifts cyclically one place left) 142857 × 5 =… … Wikipedia
Rule 110 — The Rule 110 cellular automaton (often simply Rule 110) is a one dimensional two state cellular automaton with the following rule table:Interesting propertiesAround 2000, Matthew Cook verified a 1985 conjecture by Stephen Wolfram by proving that… … Wikipedia
Classification of finite simple groups — Group theory Group theory … Wikipedia
Finite field — In abstract algebra, a finite field or Galois field (so named in honor of Évariste Galois) is a field that contains only finitely many elements. Finite fields are important in number theory, algebraic geometry, Galois theory, cryptography, and… … Wikipedia
Geometrization conjecture — Thurston s geometrization conjecture states that compact 3 manifolds can be decomposed canonically into submanifolds that have geometric structures. The geometrization conjecture is an analogue for 3 manifolds of the uniformization theorem for… … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
