Formal languageIn logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. The alphabet of a formal language consists of symbols, letters, or tokens that concatenate into strings of the language. Each string concatenated from symbols of this alphabet is called a word, and the words that belong to a particular formal language are sometimes called well-formed words or well-formed formulas.
Partition function (statistical mechanics)In physics, a partition function describes the statistical properties of a system in thermodynamic equilibrium. Partition functions are functions of the thermodynamic state variables, such as the temperature and volume. Most of the aggregate thermodynamic variables of the system, such as the total energy, free energy, entropy, and pressure, can be expressed in terms of the partition function or its derivatives. The partition function is dimensionless.
Digamma functionIn mathematics, the digamma function is defined as the logarithmic derivative of the gamma function: It is the first of the polygamma functions. This function is strictly increasing and strictly concave on , and it asymptotically behaves as for large arguments () in the sector with some infinitesimally small positive constant . The digamma function is often denoted as or Ϝ (the uppercase form of the archaic Greek consonant digamma meaning double-gamma).
Partition (number theory)In number theory and combinatorics, a partition of a non-negative integer n, also called an integer partition, is a way of writing n as a sum of positive integers. Two sums that differ only in the order of their summands are considered the same partition. (If order matters, the sum becomes a composition.) For example, 4 can be partitioned in five distinct ways: 4 3 + 1 2 + 2 2 + 1 + 1 1 + 1 + 1 + 1 The only partition of zero is the empty sum, having no parts.
Poisson summation formulaIn mathematics, the Poisson summation formula is an equation that relates the Fourier series coefficients of the periodic summation of a function to values of the function's continuous Fourier transform. Consequently, the periodic summation of a function is completely defined by discrete samples of the original function's Fourier transform. And conversely, the periodic summation of a function's Fourier transform is completely defined by discrete samples of the original function.
Dandelin spheresIn geometry, the Dandelin spheres are one or two spheres that are tangent both to a plane and to a cone that intersects the plane. The intersection of the cone and the plane is a conic section, and the point at which either sphere touches the plane is a focus of the conic section, so the Dandelin spheres are also sometimes called focal spheres. The Dandelin spheres were discovered in 1822. They are named in honor of the French mathematician Germinal Pierre Dandelin, though Adolphe Quetelet is sometimes given partial credit as well.
Rank of a partitionIn mathematics, particularly in the fields of number theory and combinatorics, the rank of a partition of a positive integer is a certain integer associated with the partition. In fact at least two different definitions of rank appear in the literature. The first definition, with which most of this article is concerned, is that the rank of a partition is the number obtained by subtracting the number of parts in the partition from the largest part in the partition.
Celestial spheresThe celestial spheres, or celestial orbs, were the fundamental entities of the cosmological models developed by Plato, Eudoxus, Aristotle, Ptolemy, Copernicus, and others. In these celestial models, the apparent motions of the fixed stars and planets are accounted for by treating them as embedded in rotating spheres made of an aetherial, transparent fifth element (quintessence), like gems set in orbs. Since it was believed that the fixed stars did not change their positions relative to one another, it was argued that they must be on the surface of a single starry sphere.
Partition of sums of squaresThe partition of sums of squares is a concept that permeates much of inferential statistics and descriptive statistics. More properly, it is the partitioning of sums of squared deviations or errors. Mathematically, the sum of squared deviations is an unscaled, or unadjusted measure of dispersion (also called variability). When scaled for the number of degrees of freedom, it estimates the variance, or spread of the observations about their mean value.
Concentric spheresThe cosmological model of concentric (or homocentric) spheres, developed by Eudoxus, Callippus, and Aristotle, employed celestial spheres all centered on the Earth. In this respect, it differed from the epicyclic and eccentric models with multiple centers, which were used by Ptolemy and other mathematical astronomers until the time of Copernicus. Eudoxus of Cnidus was the first astronomer to develop the concept of concentric spheres. He was originally a student at Plato's academy and is believed to have been influenced by the cosmological speculations of Plato and Pythagoras.
