Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
NumberA number is a mathematical object used to count, measure, and label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers can be represented by symbols, called numerals; for example, "5" is a numeral that represents the number five. As only a relatively small number of symbols can be memorized, basic numerals are commonly organized in a numeral system, which is an organized way to represent any number.
Adobe AcrobatAdobe Acrobat is a family of application software and Web services developed by Adobe Inc. to view, create, manipulate, print and manage Portable Document Format (PDF) files. The family comprises Acrobat Reader (formerly Reader), Acrobat (formerly Exchange) and Acrobat.com. The basic Acrobat Reader, available for several desktop and mobile platforms, is freeware; it supports viewing, printing, scaling or resizing and annotating of PDF files. Additional, "Premium", services are available on paid subscription.
Spanning treeIn the mathematical field of graph theory, a spanning tree T of an undirected graph G is a subgraph that is a tree which includes all of the vertices of G. In general, a graph may have several spanning trees, but a graph that is not connected will not contain a spanning tree (see about spanning forests below). If all of the edges of G are also edges of a spanning tree T of G, then G is a tree and is identical to T (that is, a tree has a unique spanning tree and it is itself).
Sustainability measurementSustainability measurement is a set of frameworks or indicators to measure how sustainable something is. This includes processes, products, services and businesses. Sustainability is difficult to quantify. It may even be impossible to measure. To measure sustainability, the indicators consider environmental, social and economic domains. The metrics are still evolving. They include indicators, benchmarks and audits. They include sustainability standards and certification systems like Fairtrade and Organic.
Mass numberThe mass number (symbol A, from the German word: Atomgewicht, "atomic weight"), also called atomic mass number or nucleon number, is the total number of protons and neutrons (together known as nucleons) in an atomic nucleus. It is approximately equal to the atomic (also known as isotopic) mass of the atom expressed in atomic mass units. Since protons and neutrons are both baryons, the mass number A is identical with the baryon number B of the nucleus (and also of the whole atom or ion).
Number theoryNumber theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics." Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example, rational numbers), or defined as generalizations of the integers (for example, algebraic integers).
Presentation slideA slide is a single page of a presentation. Collectively, a group of slides may be known as a slide deck. A slide show is an exposition of a series of slides or images in an electronic device or in a projection screen. Before the advent of the personal computer, a presentation slide could be a 35 mm slide viewed with a slide projector or a transparency viewed with an overhead projector. In the digital age, a slide most commonly refers to a single page developed using a presentation program such as MS PowerPoint, Apple Keynote, Google Slides, Apache OpenOffice or LibreOffice.
Baryon numberIn particle physics, the baryon number is a strictly conserved additive quantum number of a system. It is defined as where n_{\rm q} is the number of quarks, and n_{\rm \overline q} is the number of antiquarks. Baryons (three quarks) have a baryon number of +1, mesons (one quark, one antiquark) have a baryon number of 0, and antibaryons (three antiquarks) have a baryon number of −1. Exotic hadrons like pentaquarks (four quarks, one antiquark) and tetraquarks (two quarks, two antiquarks) are also classified as baryons and mesons depending on their baryon number.
Cable layerA cable layer or cable ship is a deep-sea vessel designed and used to lay underwater cables for telecommunications, electric power transmission, military, or other purposes. Cable ships are distinguished by large cable sheaves for guiding cable over bow or stern or both. Bow sheaves, some very large, were characteristic of all cable ships in the past, but newer ships are tending toward having stern sheaves only, as seen in the photo of CS Cable Innovator at the Port of Astoria on this page.
Microsoft Office 2007Microsoft Office 2007 (codenamed Office 12) is an office suite for Windows, developed and published by Microsoft. It was officially revealed on March 9, 2006 and was the 12th version of Microsoft Office. It was released to manufacturing on November 3, 2006; it was subsequently made available to volume license customers on November 30, 2006, and later to retail on January 30, 2007, shortly after the completion of Windows Vista. The ninth major release of Office for Windows, Office 2007 was preceded by Office 2003 and succeeded by Office 2010.
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.
