Geometry.Net - the online learning center
Home  - Basic_Math - Calculus

e99.com Bookstore
  
Images 
Newsgroups
Page 8     141-160 of 170    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20

         Calculus:     more books (100)
  1. Master Math: Pre-Calculus (Master Math Series) by Debra Anne Ross, 2009-05-21
  2. 3000 Solved Problems in Calculus (Schaum's Outline) by Elliott Mendelson, 1988-02-01

141. 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

142. Multivariable Calculus
Review quizzes for calculus, differential equations, linear algebra and other advanced math fields.Category Science Math calculus......Pic 20. Java Applets. calculus. 131A Problems. Exam 1, Math 31A, Oct 24, 2002.Sample Final 31A. Questions or comments? Send them to rjm@math.ucla.edu.
http://www.math.ucla.edu/~ronmiech/

143. Project Links
Contains modules for probability and statistics, discreet math, linear systems and advanced calculus. Developed by the Rensselaer Polytechnic Institute.
http://links.math.rpi.edu/

144. A Curry-Howard Foundation For Functional Computation With Control (1997)
Article by C.H. L. Ong and C. A. Stewart which presents a call-by-name variant of Parigot's lambda-mu calculus. The calculus is proposed as a foundation for first-class continuations and statically scoped exceptions in functional programming languages.
http://citeseer.nj.nec.com/ong97curryhoward.html

145. Qrhetoric Calculus - Home Page
Covers the basic derivative functions such as the derivative of polynomials. Some advanced derivative Category Science Math calculus...... I built it because of the need I had when I took calculus 1 I'd like to dowhat I can to help everyone else in that position. To the calculus already.
http://calculus.freehomepage.com/

146. Multivariable Calculus In The Lab
Multivariable calculus in the Lab. A collection of Maple V R3 Worksheets.Used in Math 222 at Cornell, Fall 1994. Copyright Notice.
http://mathlab.cit.cornell.edu/local_maple/mvc/lecguide.html

147. Regnier, Laurent
University of Marseilles Linear logic, lambda calculus and abstract machine interpretations.
http://iml.univ-mrs.fr/~regnier/

148. Basic Calculus
Discusses the development of analytic geometry, derivative and integral functions dating from Archimedes Category Science Math calculus......
http://www.nd.edu/~hahn/

149. INKA Inductive Theorem Prover
Firstorder 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.
http://www.dfki.de/vse/systems/inka/

150. Calculus Resources
Covers limits, derivatives, integration, infinite series and parametric equations. Includes resource Category Science Math calculus......Langara College Department of Mathematics and Statistics InternetResources for the calculus Student Topics in calculus.
http://www.langara.bc.ca/mathstats/resource/onWeb/calculus/

151. Calculus Made Easier
A tutorial covering limits, derivatives and integrals. Includes related resource links.
http://wtv-zone.com/Angelaruth49/Calculus.html

152. Calculus Preparation Home Page
Features general information of what calculus is and how it is applied. Includes a discussion of Category Science Math calculus High School Math......Preparing for University calculus. at Atlantic Canadian Universities. What is calculus?calculus is a branch of mathematics that deals with rates of change.
http://www.math.mun.ca/~apics/calculus/

153. Math Notes
Quick reference for basic algebra, trigonometry, geometry, calculus, and physics formulas. Includes online calculators.
http://www.geocities.com/tvtronix/mathnotes/

154. Pi-Calculus Links.
Picalculus Links. Pi-calculus People. Miscellaneous. The Bibliography on MobileProcesses and the pi-calculus maintained by Björn Victor and Uwe Nestmann.
http://www.cwi.nl/~arie/picalc.html

155. A Semantic View Of Classical Proofs (1996)
Article by C.H. Luke Ong presenting the semantics of classical proof theory from three prespectives a formulae-as-types characterisation in a variant of Parigot's lambda-mu calculus, a denotational characterisation in game semantics, and a categorical semantics as a fibred CCC.
http://citeseer.nj.nec.com/did/231416

156. PCPOW Home Page
Featuring Physics and calculus Problems of the Week (PCPOW).Category Science Math Education Personal and Class Pages......(Kent, WA), PCPOW (Physics and calculus Problems of the Week).
http://www.kent.k12.wa.us/pcpow/

157. Global Analysis
The Convenient Setting of Global Analysis foundations of differential calculus in infinite dimensions with applications to differential geometry and global analysis by Andreas Kriegl and Peter W. Michor published by AMS in 1997. Whole book or chapters in crosslinked PDF.
http://www.ams.org/online_bks/surv53/

158. Calculus Made Easier A Calculus Tutorial
A tutorial covering limits, derivatives and integrals. Includes related resource links.Category Science Math calculus......An introduction to the basic concepts of calculus. The derivative andintegral are explained. calculus resource links are included.
http://www.wtv-zone.com/Angelaruth49/Calculus.html

159. Statman, Richard
Carnegie Mellon University Theory of computation, lambda calculus, combinatory logic.
http://www.math.cmu.edu/people/fac/statman.html

160. Internet Calculus
Internet calculus has moved to http//hmco.tdlc.com/.
http://hmco.tdlc.com/icalc.html

Page 8     141-160 of 170    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20

free hit counter