Quantum Logic And Quantum Probability How quantum mechanics can be regarded as a nonclassical probabilistic calculus; by Alexander Wilce. http://plato.stanford.edu/entries/qt-quantlog/
International Conference In Algebraic Topology The emphasis of the conference is on categorical decomposition techniques, especially calculus of functors and homology decompositions of classifying spaces, but the conference is intended to have a broad scope with talks on a variety of topics of current interest in topology. Isle of Skye, Scotland; 24 30 June 2001. http://maths.abdn.ac.uk/~stc2001/
Hotmath Solutions problems in popular US textbooks, algebra through calculus. Solutions include hints and explained steps up to and including the final answer. http://www.hotmath.org
Shyamasundar, R. K. Tata Institute of Fundamental Research, Mumbai Real-Time and Reactive Programming, Logic Programming, Pi-calculus and Mobile Computing, Parallel Programs, Programming Languages. http://www.tcs.tifr.res.in/~shyam/
Georgio Ricci-Curbastro The mathematician who developed much of tensor calculus before Einstein found a use for it. http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Ricci-Curbastro.html
Guided Readings In Elementary Quantum Mechanics Contains guided readings in Advanced Physical Chemistry and Theoretical Chemistry, specifically, Quantum Mechanics and Statistical Mechanics, with an emphasis on chemical applications. Notice that Guided Reading means what it says, you can not simply read the material contained in this site, you must answer questions about the material as you proceed. These notes allow persons to review/carry out the algebra and calculus for standard quantum mechanical problems. http://www.sp.uconn.edu/~ch351vc/
Q Equational Programming Language An extensible functional programming language based on the term rewriting calculus. http://www.musikwissenschaft.uni-mainz.de/~ag/q/
Cyber Calculus A detailed differential calculus tutorial. Definitions, graphs and precalculus review. http://www.npac.syr.edu/REU/reu94/williams/calc-index.html
Mathematics Reference Math Tables, Facts And Formulas A mathematics reference collection of K through 14 math tables, facts, definitions, formulas and explanations from general math through college calculus. http://www.hoxie.org/math/title.htm
Dr. Hanley's Science Graphs Enter first and second order nonlinear ordinary differential in analytical form. The program will generate a numerical solution to the equations and graph multiple curves on a single graph. Can also be used for algebra and calculus formulas. Includes illustrations and free demo. http://www.hanleyinnovations.com/sgstandard.html
Calculus InfoPlease article defining calculus, differential calculus, and integral calculus. http://kids.infoplease.lycos.com/ce6/sci/A0809858.html
Lambda An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions. http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/
Stochastic Calculus Notes These notes by Alan Bain provide a complete elementary introduction to stochastic integration with respect to continuous semimartingales. http://www.statslab.cam.ac.uk/~afrb2/
Lafont, Yves University of Marseille II Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting. http://iml.univ-mrs.fr/~lafont/welcome.html
ResearchIndex Proof Theoretic Approach To Specification Languages Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order calculus. http://citeseer.nj.nec.com/chirimar95proof.html
Harvey Mudd College Calculus Tutorial Tutorials covering precalculus, calculus, multivariable calculus, linear algebra and differential equations. http://www.math.hmc.edu/calculus/
An Invitation To Mathematics A free tutorial that explains difficult algebra, trigonometry and calculus concepts to beginning middle/high school students in a simplified way that they can understand and use. http://members.tripod.com/learnmath/
History Of Calculus Guide To History of calculus. Topic essays and biographies keyed to the chapters and content of the 10th edition of Thomas's calculus. http://occ.awlonline.com/bookbind/pubbooks/thomas_awl/chapter1/medialib/custom3/
Multivariable Calculus With Maple Lecture notes by Carlos C. Rodriguez, State University of New York at Albany. http://omega.albany.edu:8008/calculus3
