The Pythagorean Theorem Lesson
Kids and Teens - School Time - Math - Geometry. A lesson on the pythagorean theorem with the objective that the you will discover for yourself the actual theorem. ...
www.arcytech.org
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
Spectral SDK
Science - Chemistry - Nuclear Magnetic Resonance - Software - Processing Software. The spectral software development kit (SDK) is a package of OCX (ActiveX) controls to develop own spectral processing... application of spectral processing. ...
www.umatek.com
Spectral Lines
Kids and Teens - School Time - Science - Chemistry - Elements. Overview of spectroscopy and Java applets that show spectral lines for different elements. ...
www.colorado.edu
The Pythagorean Theorem
Society - History - By Time Per. Theory that the Pythagorean theorem was developed in Egypt ...
fact.fws1.com
The Theorem of Pythagoras
Kids and Teens - School Time - Math - Mathematicians - Pythagoras. Brief description and proof of the Pythagorean theorem. ...
www-spof.gsfc.nasa.gov
Pythagorean Theorem
Science - Math - Geometry - Plane Geometry. A collection of 43 proofs - some interactive - of the Pythagorean theorem. ...
www.cut-the-knot.org
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 Cri ...
plato.stanford.edu
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
Spectral Imaging, Ltd.
Science - Earth Sciences - Geomatics - Remote Sensing - Hyperspectral - Products and Services. Develops and produces market imaging spectrometry instrumentation for industrial machine vision and spec ...
www.specim.fi
Spectral Methods in MATLAB
Science - Math - Software - MATLAB. Forty short m-files which do everything from demonstrating spectral accuracy on functions of varying smoothness to solving the Poisson, biharmonic, Orr-Sommerfeld, KdV, and Allen-Cahn equations. ...
web.comlab.ox.ac.uk
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. ...
www2.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 -- from MathWorld
Science - Math - Number Theory - Diophantine Equations - Fermat's Last Theorem. Article in Eric Weisstein's World of Mathematics. ...
mathworld.wolfram.com
Circle Theorem Zine
Arts - Music - Styles - R - Rock - Punk - Magazines and E-zines - C. Official site for UK print zine. How to order, rants, issue prices, and links. ...
freewebs.com
Polya's Enumeration Theorem
Science - Math - Combinatorics. An article on generating functions and Polya's theory of counting by Karl Dahlke. ...
www.mathreference.com
Noether's Theorem in a Nutshell
Science - Physics - Quantum Mechanics - Quantum Field Theory. An overview of Noet ...
math.ucr.edu
The Kochen-Specker Theorem
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. By Carsten Held. ...
plato.stanford.edu