straightforward
61Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… …
62Kaluza–Klein theory — In physics, Kaluza–Klein theory (or KK theory, for short) is a model that seeks to unify the two fundamental forces of gravitation and electromagnetism. The theory was first published in 1921 and was discovered by the mathematician Theodor Kaluza …
63Quantum harmonic oscillator — The quantum harmonic oscillator is the quantum mechanical analogue of the classical harmonic oscillator. It is one of the most important model systems in quantum mechanics because an arbitrary potential can be approximated as a harmonic potential …
64Spectral sequence — In the area of mathematics known as homological algebra, especially in algebraic topology and group cohomology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a… …
65Modular exponentiation — is a type of exponentiation performed over a modulus. It is particularly useful in computer science, especially in the field of cryptography. Doing a modular exponentiation means calculating the remainder when dividing by a positive integer m… …
66New 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 …
67Analytic Hierarchy Process — The Analytic Hierarchy Process (AHP) is a structured technique for helping people deal with complex decisions. Rather than prescribing a correct decision, the AHP helps people to determine one. Based on mathematics and human psychology, it was… …
68Object-relational impedance mismatch — The object relational impedance mismatch is a set of conceptual and technical difficulties that are often encountered when a relational database management system (RDBMS) is being used by a program written in an object oriented programming… …
69Space–time block code — This article deals with coherent space–time block codes (STBCs). For differential space–time block codes, see differential space–time codes.Space–time block coding is a technique used in wireless communications to transmit multiple copies of a… …
70Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …
