Vertex configurationIn geometry, a vertex configuration is a shorthand notation for representing the vertex figure of a polyhedron or tiling as the sequence of faces around a vertex. For uniform polyhedra there is only one vertex type and therefore the vertex configuration fully defines the polyhedron. (Chiral polyhedra exist in mirror-image pairs with the same vertex configuration.) A vertex configuration is given as a sequence of numbers representing the number of sides of the faces going around the vertex. The notation "a.
Perpendicular GothicPerpendicular Gothic (also Perpendicular, Rectilinear, or Third Pointed) architecture was the third and final style of English Gothic architecture developed in the Kingdom of England during the Late Middle Ages, typified by large windows, four-centred arches, straight vertical and horizontal lines in the tracery, and regular arch-topped rectangular panelling. Perpendicular was the prevailing style of Late Gothic architecture in England from the 14th century to the 17th century.
Extended sideIn plane geometry, an extended side or sideline of a polygon is the line that contains one side of the polygon. The extension of a finite side into an infinite line arises in various contexts. In an obtuse triangle, the altitudes from the acute angled vertices intersect the corresponding extended base sides but not the base sides themselves. The excircles of a triangle, as well as the triangle's inconics that are not inellipses, are externally tangent to one side and to the other two extended sides.
Orthodiagonal quadrilateralIn Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other. A kite is an orthodiagonal quadrilateral in which one diagonal is a line of symmetry. The kites are exactly the orthodiagonal quadrilaterals that contain a circle tangent to all four of their sides; that is, the kites are the tangential orthodiagonal quadrilaterals.
Altitude trainingAltitude training is the practice by some endurance athletes of training for several weeks at high altitude, preferably over above sea level, though more commonly at intermediate altitudes due to the shortage of suitable high-altitude locations. At intermediate altitudes, the air still contains approximately 20.9% oxygen, but the barometric pressure and thus the partial pressure of oxygen is reduced. Depending on the protocols used, the body may acclimate to the relative lack of oxygen in one or more ways such as increasing the mass of red blood cells and hemoglobin, or altering muscle metabolism.
English Gothic architectureEnglish Gothic is an architectural style that flourished from the late 12th until the mid-17th century. The style was most prominently used in the construction of cathedrals and churches. Gothic architecture's defining features are pointed arches, rib vaults, buttresses, and extensive use of stained glass. Combined, these features allowed the creation of buildings of unprecedented height and grandeur, filled with light from large stained glass windows. Important examples include Westminster Abbey, Canterbury Cathedral and Salisbury Cathedral.
Effects of high altitude on humansThe effects of high altitude on humans are mostly the consequences of reduced partial pressure of oxygen in the atmosphere. The oxygen saturation of hemoglobin determines the content of oxygen in blood. After the human body reaches around above sea level, the saturation of oxyhemoglobin begins to decrease rapidly. However, the human body has both short-term and long-term adaptations to altitude that allow it to partially compensate for the lack of oxygen.
Mathematical proofA mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".
Incircle and excirclesIn geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches (is tangent to) the three sides. The center of the incircle is a triangle center called the triangle's incenter. An excircle or escribed circle of the triangle is a circle lying outside the triangle, tangent to one of its sides and tangent to the extensions of the other two. Every triangle has three distinct excircles, each tangent to one of the triangle's sides.
Acute and obtuse trianglesAn acute triangle (or acute-angled triangle) is a triangle with three acute angles (less than 90°). An obtuse triangle (or obtuse-angled triangle) is a triangle with one obtuse angle (greater than 90°) and two acute angles. Since a triangle's angles must sum to 180° in Euclidean geometry, no Euclidean triangle can have more than one obtuse angle. Acute and obtuse triangles are the two different types of oblique triangles — triangles that are not right triangles because they do not have a 90° angle.
Proof theoryProof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.
Network layerIn the seven-layer OSI model of computer networking, the network layer is layer 3. The network layer is responsible for packet forwarding including routing through intermediate routers. The network layer provides the means of transferring variable-length network packets from a source to a destination host via one or more networks. Within the service layering semantics of the OSI (Open Systems Interconnection) network architecture, the network layer responds to service requests from the transport layer and issues service requests to the data link layer.
