|
Computational Topology
Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular, computational geometry and computational complexity theory. A primary concern of algorithmic topology, as its name suggests, is to develop efficient algorithms for solving problems that arise naturally in fields such as computational geometry, graphics, robotics, social science, structural biology, and chemistry, using methods from computable topology. Major algorithms by subject area Algorithmic 3-manifold theory A large family of algorithms concerning 3-manifolds revolve around normal surface theory, which is a phrase that encompasses several techniques to turn problems in 3-manifold theory into integer linear programming problems. * ''Rubinstein and Thompson's 3-sphere recognition algorithm''. This is an algorithm that takes as input a triangulated 3-manifold and determines whether or not the manifold is homeomorphic to the 3-sphere. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Torsion (mechanics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a Set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of List of continuity-related mathematical topics, continuity. Euclidean spaces, and, more generally, metric spaces are examples of topological spaces, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and Homotopy, homotopies. A property that is invariant under such deformations is a to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Warwick
The University of Warwick ( ; abbreviated as ''Warw.'' in post-nominal letters) is a public research university on the outskirts of Coventry between the West Midlands and Warwickshire, England. The university was founded in 1965 as part of a government initiative to expand higher education. The Warwick Business School was established in 1967, the Warwick Law School in 1968, Warwick Manufacturing Group (WMG) in 1980, and Warwick Medical School in 2000. Warwick incorporated Coventry College of Education in 1979 and Horticulture Research International in 2004. Warwick is primarily based on a campus on the outskirts of Coventry, with a satellite campus in Wellesbourne and a central London base at the Shard. It is organised into three faculties—Arts; Science, Engineering and Medicine, and Social Sciences—within which there are thirty-two departments. Warwick has around 29,534 full-time students and 2,691 academic and research staff, with an average intake of 4,950 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Topology
The ''Journal of Topology'' is a peer-reviewed scientific journal which publishes papers of high quality and significance in topology, geometry, and adjacent areas of mathematics. It was established in 2008, when the editorial board of ''Topology'' resigned due to the increasing costs of Elsevier's subscriptions. The journal is owned and managed by the London Mathematical Society and produced, distributed, sold and marketed by John Wiley & Sons. It appears quarterly with articles published individually online prior to appearing in a printed issue. Editorial board * Arthur Bartels (University of Münster) * Andrew Blumberg (University of Texas at Austin) * Jeffrey Brock (Yale University) * Simon Donaldson (Imperial College London) * Cornelia Druţu Badea (University of Oxford) * Mark Gross (University of Cambridge) * Lars Hesselholt (University of Copenhagen) * Misha Kapovich (UC Davis) * Frances Kirwan (University of Oxford) * Marc Lackenby (University of Oxford) * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surgery Theory
In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by . Milnor called this technique ''surgery'', while Andrew H. Wallace, Andrew Wallace called it spherical modification. The "surgery" on a differentiable manifold ''M'' of dimension n=p+q+1, could be described as removing an imbedded sphere of dimension ''p'' from ''M''. Originally developed for differentiable (or, differentiable manifolds, smooth) manifolds, surgery techniques also apply to piecewise linear manifold, piecewise linear (PL-) and topological manifolds. Surgery refers to cutting out parts of the manifold and replacing it with a part of another manifold, matching up along the cut or boundary. This is closely related to, but not identical with, handlebody decompositions. More technically, the idea is to start with a well-understood manifold ''M'' and perform surgery on it to pro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knot (mathematics)
In mathematics, a knot is an embedding of the circle () into three-dimensional Euclidean space, (also known as ). Often two knots are considered equivalent if they are ambient isotopic, that is, if there exists a continuous deformation of which takes one knot to the other. A crucial difference between the standard mathematical and conventional notions of a knot is that mathematical knots are closed — there are no ends to tie or untie on a mathematical knot. Physical properties such as friction and thickness also do not apply, although there are mathematical definitions of a knot that take such properties into account. The term ''knot'' is also applied to embeddings of in , especially in the case . The branch of mathematics that studies knots is known as knot theory and has many relations to graph theory. Formal definition A knot is an embedding of the circle () into three-dimensional Euclidean space (), or the 3-sphere (), since the 3-sphere is compact. Two knots ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elementary Recursive
Elementary may refer to: Arts, entertainment, and media Music * ''Elementary'' (Cindy Morgan album), 2001 * ''Elementary'' (The End album), 2007 * ''Elementary'', a Melvin "Wah-Wah Watson" Ragin album, 1977 Other uses in arts, entertainment, and media * ''Elementary'' (TV series), a 2012 American drama television series * "Elementary, my dear Watson", a catchphrase of Sherlock Holmes Education * Elementary and Secondary Education Act, US * Elementary education, or primary education, the first years of formal, structured education * Elementary Education Act 1870, England and Wales * Elementary school, a school providing elementary or primary education Science and technology * ELEMENTARY, a class of objects in computational complexity theory * Elementary, a widget set based on the Enlightenment Foundation Libraries * Elementary abelian group, an abelian group in which every nontrivial element is of prime order * Elementary algebra * Elementary arithmetic * Elementary charge, ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SnapPea
SnapPea is free software designed to help mathematicians, in particular low-dimensional topologists, study hyperbolic 3-manifolds. The primary developer is Jeffrey Weeks, who created the first version as part of his doctoral thesis, supervised by William Thurston. It is not to be confused with the unrelated Android malware with the same name. The latest version is 3.0d3. Marc Culler, Nathan Dunfield and collaborators have extended the SnapPea kernel and written Python extension modules which allow the kernel to be used in a Python program or in the interpreter. They also provide a graphical user interface written in Python which runs under most operating systems (see external links below). The following people are credited in SnapPea 2.5.3's list of acknowledgments: Colin Adams, Bill Arveson, Pat Callahan, Joe Christy, Dave Gabai, Charlie Gunn, Martin Hildebrand, Craig Hodgson, Diane Hoffoss, A. C. Manoharan, Al Marden, Dick McGehee, Rob Meyerhoff, Lee Moshe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
JSJ Decomposition
In mathematics, the JSJ decomposition, also known as the toral decomposition, is a topological construct given by the following theorem: : Irreducible orientable closed (i.e., compact and without boundary) 3-manifolds have a unique (up to isotopy) minimal collection of disjointly embedded incompressible tori such that each component of the 3-manifold obtained by cutting along the tori is either atoroidal or Seifert-fibered. The acronym JSJ is for William Jaco, Peter Shalen, and Klaus Johannson. The first two worked together, and the third worked independently. The characteristic submanifold An alternative version of the JSJ decomposition states: :A closed irreducible orientable 3-manifold ''M'' has a submanifold Σ that is a Seifert manifold (possibly disconnected and with boundary) whose complement is atoroidal (and possibly disconnected). The submanifold Σ with the smallest number of boundary tori is called the characteristic submanifold of ''M''; it is unique (u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Word Problem For Groups
A word is a basic element of language that carries meaning, can be used on its own, and is uninterruptible. Despite the fact that language speakers often have an intuitive grasp of what a word is, there is no consensus among linguists on its definition and numerous attempts to find specific criteria of the concept remain controversial. Different standards have been proposed, depending on the theoretical background and descriptive context; these do not converge on a single definition. Some specific definitions of the term "word" are employed to convey its different meanings at different levels of description, for example based on phonological, grammatical or orthographic basis. Others suggest that the concept is simply a convention used in everyday situations. The concept of "word" is distinguished from that of a morpheme, which is the smallest unit of language that has a meaning, even if it cannot stand on its own. Words are made out of at least one morpheme. Morphemes can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Group
In the mathematics, mathematical field of algebraic topology, the fundamental group of a topological space is the group (mathematics), group of the equivalence classes under homotopy of the Loop (topology), loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have Group isomorphism, isomorphic fundamental groups. The fundamental group of a topological space X is denoted by \pi_1(X). Intuition Start with a space (for example, a surface (mathematics), surface), and some point in it, and all the loops both starting and ending at this point—path (topology), paths that start at this point, wander around and eventually return to the starting point. Two loops can be combined in an obvious way: travel along the first loop, then alo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transactions Of The American Mathematical Society
The ''Transactions of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of pure and applied mathematics published by the American Mathematical Society. It was established in 1900. As a requirement, all articles must be more than 15 printed pages. Its ISSN number is 0002-9947. See also * ''Bulletin of the American Mathematical Society'' * ''Journal of the American Mathematical Society'' * '' Memoirs of the American Mathematical Society'' * '' Notices of the American Mathematical Society'' * ''Proceedings of the American Mathematical Society'' References External links * ''Transactions of the American Mathematical Society''on JSTOR JSTOR ( ; short for ''Journal Storage'') is a digital library of academic journals, books, and primary sources founded in 1994. Originally containing digitized back issues of academic journals, it now encompasses books and other primary source ... American Mathematical Society academic journals Mathematics jo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regina (program)
Regina is a suite of mathematical software for 3-manifold topology, topologists. It focuses upon the study of 3-manifold Triangulation (topology), triangulations and includes support for normal surfaces and angle structures. Features * Regina implements a variant of Hyam Rubinstein, Rubinstein's 3-sphere recognition algorithm. This is an algorithm that determines whether or not a Triangulation (topology), triangulated 3-manifold is homeomorphism, homeomorphic to the 3-sphere. * Regina further implements the connected sum, connect-sum decomposition. This will decompose a triangulation (topology), triangulated 3-manifold into a connected sum, connect-sum of triangulation (topology), triangulated connected sum, prime 3-manifolds. * Simplicial homology, Homology and Poincare duality for 3-manifolds, including the Poincare duality, torsion linking form. * Includes portions of the SnapPea, SnapPea kernel for some geometric calculations. * Has both a GUI and Python (programming lang ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
