Effective nuclear chargeIn atomic physics, the effective nuclear charge is the actual amount of positive (nuclear) charge experienced by an electron in a multi-electron atom. The term "effective" is used because the shielding effect of negatively charged electrons prevent higher energy electrons from experiencing the full nuclear charge of the nucleus due to the repelling effect of inner layer. The effective nuclear charge experienced by an electron is also called the core charge. It is possible to determine the strength of the nuclear charge by the oxidation number of the atom.
StellaratorA stellarator is a plasma device that relies primarily on external magnets to confine a plasma. Scientists researching magnetic confinement fusion aim to use stellarator devices as a vessel for nuclear fusion reactions. The name refers to the possibility of harnessing the power source of the stars, such as the Sun. It is one of the earliest fusion power devices, along with the z-pinch and magnetic mirror.
Analytic proofIn mathematics, an analytic proof is a proof of a theorem in analysis that only makes use of methods from analysis, and which does not predominantly make use of algebraic or geometrical methods. The term was first used by Bernard Bolzano, who first provided a non-analytic proof of his intermediate value theorem and then, several years later provided a proof of the theorem that was free from intuitions concerning lines crossing each other at a point, and so he felt happy calling it analytic (Bolzano 1817).
FormulaIn science, a formula is a concise way of expressing information symbolically, as in a mathematical formula or a chemical formula. The informal use of the term formula in science refers to the general construct of a relationship between given quantities. The plural of formula can be either formulas (from the most common English plural noun form) or, under the influence of scientific Latin, formulae (from the original Latin). In mathematics, a formula generally refers to an equation relating one mathematical expression to another, with the most important ones being mathematical theorems.
Coulomb collisionA Coulomb collision is a binary elastic collision between two charged particles interacting through their own electric field. As with any inverse-square law, the resulting trajectories of the colliding particles is a hyperbolic Keplerian orbit. This type of collision is common in plasmas where the typical kinetic energy of the particles is too large to produce a significant deviation from the initial trajectories of the colliding particles, and the cumulative effect of many collisions is considered instead.
Penning trapA Penning trap is a device for the storage of charged particles using a homogeneous magnetic field and a quadrupole electric field. It is mostly found in the physical sciences and related fields of study as a tool for precision measurements of properties of ions and stable subatomic particles, like for example mass, fission yields and isomeric yield ratios. One initial object of study were the so-called geonium atoms, which represent a way to measure the electron magnetic moment by storing a single electron.
Atomic numberThe atomic number or nuclear charge number (symbol Z) of a chemical element is the charge number of an atomic nucleus. For ordinary nuclei composed of protons and neutrons, this is equal to the proton number (np) or the number of protons found in the nucleus of every atom of that element. The atomic number can be used to uniquely identify ordinary chemical elements. In an ordinary uncharged atom, the atomic number is also equal to the number of electrons.
Sequent calculusIn mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a sequent by Gerhard Gentzen) instead of an unconditional tautology. Each conditional tautology is inferred from other conditional tautologies on earlier lines in a formal argument according to rules and procedures of inference, giving a better approximation to the natural style of deduction used by mathematicians than to David Hilbert's earlier style of formal logic, in which every line was an unconditional tautology.
Closed-form expressionIn mathematics, an expression is in closed form if it is formed with constants, variables and a finite set of basic functions connected by arithmetic operations (+, −, ×, ÷, and integer powers) and function composition. Commonly, the allowed functions are nth root, exponential function, logarithm, and trigonometric functions . However, the set of basic functions depends on the context.
