|
Sphere Packing
In geometry, a sphere packing is an arrangement of non-overlapping spheres within a containing space. The spheres considered are usually all of identical size, and the space is usually three-dimensional Euclidean space. However, sphere packing problems can be generalised to consider unequal spheres, spaces of other dimensions (where the problem becomes circle packing in two dimensions, or hypersphere packing in higher dimensions) or to Non-Euclidean geometry, non-Euclidean spaces such as hyperbolic space. A typical sphere packing problem is to find an arrangement in which the spheres fill as much of the space as possible. The proportion of space filled by the spheres is called the ''packing density'' of the arrangement. As the local density of a packing in an infinite space can vary depending on the volume over which it is measured, the problem is usually to maximise the average or asymptotic density, measured over a large enough volume. For equal spheres in three dimensions, th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rye Castle, Rye, East Sussex, England-6April2011 (1) (cropped)
Rye (''Secale cereale'') is a grass grown extensively as a grain, a cover crop and a forage crop. It is grown principally in an area from Eastern and Northern Europe into Russia. It is much more tolerant of cold weather and poor soil than other cereals, making it useful in those regions; its vigorous growth suppresses weeds and provides abundant forage for animals early in the year. It is a member of the wheat tribe (Triticeae) which includes the cereals wheat and barley. It is likely that rye arrived in Europe as a secondary crop, meaning that it was a minor admixture in wheat as a result of Vavilovian mimicry, and was only later cultivated in its own right. Rye grain is used for bread, beer, rye whiskey, and animal fodder. In Scandinavia, rye was a staple food in the Middle Ages, and rye crispbread remains a popular food in the region. Europe produces around half of the world's rye; relatively little is traded between countries. A wheat-rye hybrid, triticale, combines the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order And Chaos
Order and Chaos is a variant of the game tic-tac-toe on a 6×6 . It was invented by Stephen Sniderman and introduced by him in ''Games'' magazine in 1981. The player ''Order'' strives to create a five-in-a-row of either Xs or Os. The opponent ''Chaos'' endeavors to prevent this. Game rules Unlike typical board games A board game is a type of tabletop game that involves small objects () that are placed and moved in particular ways on a specially designed patterned game board, potentially including other components, e.g. dice. The earliest known uses of the ..., both players control both sets of pieces (Xs and Os). The game starts with the . Order plays first, then turns alternate. On each turn, a player places either an X or an O on any open square. Once played, pieces cannot be moved, thus Order and Chaos can be played using pencil and paper. Order aims to get five like pieces in a row either vertically, horizontally, or diagonally. Chaos aims to fill the board without co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jamming (physics)
Jamming is the physical process by which the viscosity of some Mesoscopic physics, mesoscopic materials, such as granular materials, glasses, foams, polymers, emulsions, and other complex fluids, increases with increasing particle density. The jamming transition has been proposed as a new type of phase transition, with similarities to a glass transition but very different from the formation of crystalline solids. While a glass transition occurs when the liquid state is cooled, the jamming transition happens when the density, or the packing fraction of the particles, is increased. This crowding of the constituent particles prevents them from flowing under an applied stress and from exploring phase space, thus making the aggregate material behave as a solid. The system may be able to unjam if Packing density, volume fraction is decreased, or external stresses are applied such that they exceed the yield stress. This transition is interesting because it is Nonlinear system, nonlinea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automated Proof Checking
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration. This involves some sort of interactive proof editor, or other User interface, interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer. A recent effort within this field is making these tools use artificial intelligence to automate the formalization of ordinary mathematics. System comparison * ACL2 – a programming language, a first-order logical theory, and a theorem prover (with both interactive and automatic modes) in the Boyer–Moore tradition. * Rocq (software), Rocq (formerly known as ''Coq'') – Allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof By Exhaustion
Proof 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., that each instance of the statement to be proved matches the conditions of (at least) one of the cases. # A proof of each of the cases. The prevalence of digital computers has greatly increased the convenience of using the method of exhaustion (e.g., the first computer-assisted proof of four color theorem in 1976), though such approaches can also be challenged on the basis of mathematical elegance. Expert systems can be used to arrive at answers to many of the questions posed to them. In theory, the p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
László Fejes Tóth
László Fejes Tóth (, ; 12 March 1915 – 17 March 2005) was a Hungarian mathematician who specialized in geometry. He proved that a lattice pattern is the most efficient way to pack centrally symmetric convex sets on the Euclidean plane (a generalization of Thue's theorem, a 2-dimensional analog of the Kepler conjecture). He also investigated the sphere packing problem. He was the first to show, in 1953, that proof of the Kepler conjecture can be reduced to a finite case analysis and, later, that the problem might be solved using a computer. He was a member of the Hungarian Academy of Sciences (from 1962) and a director of the Alfréd Rényi Institute of Mathematics (1970-1983). He received both the Kossuth Prize (1957) and State Award (1973). Together with H.S.M. Coxeter and Paul Erdős, he laid the foundations of discrete geometry. Early life and career As described in a 1999 interview witIstván Hargittai Fejes Tóth's father was a railway worker, who advanced ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas Callister Hales
Thomas Callister Hales (born June 4, 1958) is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification. In representation theory he is known for his work on the Langlands program and the proof of the fundamental lemma over the group Sp(4) (many of his ideas were incorporated into the final proof of the fundamental lemma, due to Ngô Bảo Châu). In discrete geometry, he settled the Kepler conjecture on the density of sphere packings, the honeycomb conjecture, and the dodecahedral conjecture. In 2014, he announced the completion of the Flyspeck Project, which formally verified the correctness of his proof of the Kepler conjecture. Biography He received his Ph.D. from Princeton University in 1986 with a dissertation titled ''The Subregular Germ of Orbital Integrals''. Hales taught at Harvard University and the University of Chicago, and from 1993 and 2002 he worked at the University of Michigan. In 1998, Hales submitted ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (; ; ; 30 April 177723 February 1855) was a German mathematician, astronomer, geodesist, and physicist, who contributed to many fields in mathematics and science. He was director of the Göttingen Observatory and professor of astronomy from 1807 until his death in 1855. While studying at the University of Göttingen, he propounded several mathematical theorems. As an independent scholar, he wrote the masterpieces '' Disquisitiones Arithmeticae'' and ''Theoria motus corporum coelestium''. Gauss produced the second and third complete proofs of the fundamental theorem of algebra. In number theory, he made numerous contributions, such as the composition law, the law of quadratic reciprocity and the Fermat polygonal number theorem. He also contributed to the theory of binary and ternary quadratic forms, the construction of the heptadecagon, and the theory of hypergeometric series. Due to Gauss' extensive and fundamental contributions to science ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kepler Conjecture
The Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical theorem about sphere packing in three-dimensional Euclidean space. It states that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing (face-centered cubic) and hexagonal close packing arrangements. The density of these arrangements is around 74.05%. In 1998, the American mathematician Thomas Hales, following an approach suggested by , announced that he had a proof of the Kepler conjecture. Hales' proof is a proof by exhaustion involving the checking of many individual cases using complex computer calculations. Referees said that they were "99% certain" of the correctness of Hales' proof, and the Kepler conjecture was accepted as a theorem. In 2014, the Flyspeck project team, headed by Hales, announced the completion of a formal proof of the Kepler conjecture using a combination of the Isabelle a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Johannes Kepler
Johannes Kepler (27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, Natural philosophy, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best known for his Kepler's laws of planetary motion, laws of planetary motion, and his books ''Astronomia nova'', ''Harmonice Mundi'', and ''Epitome Astronomiae Copernicanae'', influencing among others Isaac Newton, providing one of the foundations for his theory of Newton's law of universal gravitation, universal gravitation. The variety and impact of his work made Kepler one of the founders and fathers of modern astronomy, the scientific method, Natural science, natural and modern science. He has been described as the "father of science fiction" for his novel ''Somnium (novel), Somnium''. Kepler was a mathematics teacher at a seminary school in Graz, where he became an associate of Hans Ulrich von Eggenberg, Prince Hans Ulrich von Eggenberg. Lat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hexagonal Crystal Family
In crystallography, the hexagonal crystal family is one of the six crystal families, which includes two crystal systems (hexagonal and trigonal) and two lattice systems (hexagonal and rhombohedral). While commonly confused, the trigonal crystal system and the rhombohedral lattice system are not equivalent (see section crystal systems below). In particular, there are crystals that have trigonal symmetry but belong to the hexagonal lattice (such as α-quartz). The hexagonal crystal family consists of the 12 point groups such that at least one of their space groups has the hexagonal lattice as underlying lattice, and is the union of the hexagonal crystal system and the trigonal crystal system. There are 52 space groups associated with it, which are exactly those whose Bravais lattice is either hexagonal or rhombohedral. __TOC__ Lattice systems The hexagonal crystal family consists of two lattice systems: hexagonal and rhombohedral. Each lattice system consists of one Bravais lat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cubic Crystal System
In crystallography, the cubic (or isometric) crystal system is a crystal system where the unit cell is in the shape of a cube. This is one of the most common and simplest shapes found in crystals and minerals. There are three main varieties of these crystals: *Primitive cubic (abbreviated ''cP'' and alternatively called simple cubic) *Body-centered cubic (abbreviated ''cI'' or bcc) *Face-centered cubic (abbreviated ''cF'' or fcc) Note: the term fcc is often used in synonym for the ''cubic close-packed'' or ccp structure occurring in metals. However, fcc stands for a face-centered cubic Bravais lattice, which is not necessarily close-packed when a motif is set onto the lattice points. E.g. the diamond and the zincblende lattices are fcc but not close-packed. Each is subdivided into other variants listed below. Although the ''unit cells'' in these crystals are conventionally taken to be cubes, the primitive unit cells often are not. Bravais lattices The three Bravais latices ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
