Noether's Theorem in a Nutshell
Science - Physics - Quantum Mechanics - Quantum Field Theory. An overview of Noether's theorem ...
math.ucr.edu
Fermat's Last Theorem
Science - Math - Mathematicians - F - Fermat, Pierre de. Explains the theorem and traces its history. From the MacTutor History of Mathematics Archive. ...
www.gap-system.org
INKA Inductive Theorem Prover
Computers - Programming - Languages - Specification. First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation. ...
www.dfki.de
Cosmic Ordering
Society - Religion and Spirituality - New Age - Shopping - Books. Guides to manifesting the best in life. ...
www.cosmicordering.net
Broad System of Ordering (BSO)
Reference - Libraries - Library and Information Science - Technical Services - Cataloguing - Classification. A modern machine-held classification system embracing all fields of knowledge, useful as an ...
www.ucl.ac.uk
Pythagorean Theorem
Science - Math - Geometry - Plane Geometry. A collection of 43 proofs - some interactive - of the Pythagorean theorem. ...
www.cut-the-knot.org
The Pythagorean Theorem
Society - History - By Time Period - Ancient - Africa - Egypt - Mathematics. Theory that the Pythagorean theorem was developed in Egypt ...
fact.fws1.com
Well Control School
Business - Energy - Oil and Gas - Service Companies - Field Services - Fire and Safety. Provides well control training to the oil industry. Several locations in the US and South America, and a traveling school program. ...
www.wellcontrol.com
Well Engineering Research Group
Reference - Education - Colleges and Universities - Europe - United Kingdom - Scotland - Robert Gordon University - Research. Multi-Disciplinary team of engineers and scientists with expertise in Oil ...
www.rgu.ac.uk
Burgess Well Company
Regional - North America - United States - Nebraska - Localities - M - Minden - Business and Economy. Manufactures fiberglass pipe and offers irrigation services and supplies, and water well drilling. ...
www.burgesswell.com
Capital Well Company
Regional - North America - United States - New Hampshire - Localities - D - Dunbarton - Business and Economy. Water well drilling, service and repair, and filtration and conditioning systems. List pro ...
www.capitalwell.com
Creating Well-Beings
Regional - North America - United States - Texas - Localities - S - Sugar Land - Health. Rebecca Fuller offers personal training to create well-being through yoga, etiquette, and nutrition. ...
www.creatingwell-beings.com
Pecket Well College
Regional - Europe - United Kingdom - England - West Yorkshire - Pecket Well - Education. A community based college, started over 20 years ago by a group of people who wanted to develop their basic skills. Details of courses and learning, facilities, management team, funding and vacancies. ...
www.pecketwell-college.co.uk
Frege's Theorem
Society - Philosophy - Philosophy of Logic. Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Cris ...
plato.stanford.edu
Guide to Well Water Treatment and Maintenance
Science - Environment - Water Resources - Groundwater - Wells and Pumps. Guide to water well maintenance, testing well water for microbiological contamination, interpreting the results of testing , and corrective action. ...
lookd.com
Bayes' Theorem
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Discussion of a formula to calculate conditional probabilities which figures in subjectivist approaches to epistemology; by Jame ...
plato.stanford.edu
Gödel's Theorem and Information
Science - Math - Logic and Foundations - Education. G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor. ...
www.cs.auckland.ac.nz
The Solving of Fermat's Last Theorem
Science - Math - Number Theory - Diophantine Equations - Fermat's Last Theorem. Slides for a talk by Karl Rubin on the story of Fermat's Last Theorem for a general audience, including the history of the problem, the story of Andrew Wiles' solution and the excitement surrounding it, and some of the many ...
math.stanford.edu
Gödel and Gödel's Theorem - Math
Computers - Artificial Intelligence - Creativity - Hofstadter, Douglas R. - Gödel, Escher, Bach - An Eternal Golden Braid. Overview of Hofstadter's explanation of Gödel's Theorem. ...
www4.ncsu.edu
Gödel's Theorem and Information
Science - Math - Applications - Information Theory - Papers. A G.J.Chaitin proof of Gödel's Theorem using arguments having an algorithmic information theory flavor. ...
www.cs.auckland.ac.nz
The Four Color Theorem
Science - Math - Combinatorics - Graph Theory. Computer aided proof of the four color theorem by Neil Robertson, Daniel P. Sanders, Paul Seymour and Robin Thomas. ...
www.math.gatech.edu
Fermat's Last Theorem
Science - Math - Number Theory - Diophantine Equations - Fermat's Last Theorem. A brief biography of Fermat, details of his contributions to mathematics and information on his theory and the attempts to find a proof. ...
209.85.229.132
J'Imp Theorem Prover
Science - Math - Logic and Foundations - Software. An automatic theorem prover based on set of support and ordered resolution for first-order logic. j'Imp is part of the Orbital library. This library is a Java class providing object-oriented representations and algorithms for logic, mathematics, and artificial ...
www.functologic.com
WELL Conferencing Team - Community Building and Hosts Manual
Computers - Internet - On the Web - Online Communities - Community Management. The WELL's description of conferencing, why it's the best tool for building community, and how to get starting in a conferencing environment. Links include the WELL Host Manual. ...
www.well.com
Fermat's Last Theorem -- from MathWorld
Science - Math - Number Theory - Diophantine Equations - Fermat's Last Theorem. Article in Eric Weisstein's World of Mathematics. ...
top
