Time evolutionTime evolution is the change of state brought about by the passage of time, applicable to systems with internal state (also called stateful systems). In this formulation, time is not required to be a continuous parameter, but may be discrete or even finite. In classical physics, time evolution of a collection of rigid bodies is governed by the principles of classical mechanics. In their most rudimentary form, these principles express the relationship between forces acting on the bodies and their acceleration given by Newton's laws of motion.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Interaction pictureIn quantum mechanics, the interaction picture (also known as the interaction representation or Dirac picture after Paul Dirac) is an intermediate representation between the Schrödinger picture and the Heisenberg picture. Whereas in the other two pictures either the state vector or the operators carry time dependence, in the interaction picture both carry part of the time dependence of observables. The interaction picture is useful in dealing with changes to the wave functions and observables due to interactions.
Proof by exhaustionProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
GrapheneGraphene (ˈgræfiːn) is an allotrope of carbon consisting of a single layer of atoms arranged in a hexagonal lattice nanostructure. The name is derived from "graphite" and the suffix -ene, reflecting the fact that the graphite allotrope of carbon contains numerous double bonds. Each atom in a graphene sheet is connected to its three nearest neighbors by σ-bonds and a delocalised π-bond, which contributes to a valence band that extends over the whole sheet.
Fat-tailed distributionA fat-tailed distribution is a probability distribution that exhibits a large skewness or kurtosis, relative to that of either a normal distribution or an exponential distribution. In common usage, the terms fat-tailed and heavy-tailed are sometimes synonymous; fat-tailed is sometimes also defined as a subset of heavy-tailed. Different research communities favor one or the other largely for historical reasons, and may have differences in the precise definition of either.
Ballistic missileA ballistic missile is a type of missile that uses projectile motion to deliver warheads on a target. These weapons are powered only during relatively brief periods—most of the flight is unpowered. Short-range ballistic missiles stay within the Earth's atmosphere, while intercontinental ballistic missiles (ICBMs) are launched on a sub-orbital flight. These weapons are in a distinct category from cruise missiles, which are aerodynamically guided in powered flight.
Sub-orbital spaceflightA sub-orbital spaceflight is a spaceflight in which the spacecraft reaches outer space, but its trajectory intersects the surface of the gravitating body from which it was launched. Hence, it will not complete one orbital revolution, will not become an artificial satellite nor will it reach escape velocity. For example, the path of an object launched from Earth that reaches the Kármán line (about – above sea level), and then falls back to Earth, is considered a sub-orbital spaceflight.
Space chargeSpace charge is an interpretation of a collection of electric charges in which excess electric charge is treated as a continuum of charge distributed over a region of space (either a volume or an area) rather than distinct point-like charges. This model typically applies when charge carriers have been emitted from some region of a solid—the cloud of emitted carriers can form a space charge region if they are sufficiently spread out, or the charged atoms or molecules left behind in the solid can form a space charge region.
Generality of algebraIn the history of mathematics, the generality of algebra was a phrase used by Augustin-Louis Cauchy to describe a method of argument that was used in the 18th century by mathematicians such as Leonhard Euler and Joseph-Louis Lagrange, particularly in manipulating infinite series. According to Koetsier, the generality of algebra principle assumed, roughly, that the algebraic rules that hold for a certain class of expressions can be extended to hold more generally on a larger class of objects, even if the rules are no longer obviously valid.
