Home  Science  Calculus 
Page 8 141160 of 171 Back  1  2  3  4  5  6  7  8  9  Next 20 
Calculus: more books (100)  

141. Math Index Covers derivative and integral conversions as well as calculus rules. Includes practice exercises.Category Science Math calculus...... http://cne.gmu.edu/modules/dau/calculus/calculus_frm.html 
142. 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 
143. 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/ 
144. 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/ 
145. A CurryHoward Foundation For Functional Computation With Control (1997) Article by C.H. L. Ong and C. A. Stewart which presents a callbyname variant of Parigot's lambdamu calculus. The calculus is proposed as a foundation for firstclass continuations and statically scoped exceptions in functional programming languages. http://citeseer.nj.nec.com/ong97curryhoward.html 
146. 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/ 
147. 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 
148. Regnier, Laurent University of Marseilles Linear logic, lambda calculus and abstract machine interpretations. http://iml.univmrs.fr/~regnier/ 
149. Basic Calculus Discusses the development of analytic geometry, derivative and integral functions dating from Archimedes Category Science Math calculus...... http://www.nd.edu/~hahn/ 
150. INKA Inductive Theorem Prover Firstorder theorem prover with induction based on the explicit induction paradigm. It is based on a full firstorder calculus, a special variant of the resolution calculus with paramodulation. http://www.dfki.de/vse/systems/inka/ 
151. 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/ 
152. Calculus Made Easier A tutorial covering limits, derivatives and integrals. Includes related resource links. http://wtvzone.com/Angelaruth49/Calculus.html 
153. 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/ 
154. Math Notes Quick reference for basic algebra, trigonometry, geometry, calculus, and physics formulas. Includes online calculators. http://www.geocities.com/tvtronix/mathnotes/ 
155. PiCalculus Links. Picalculus Links. Picalculus People. Miscellaneous. The Bibliography on MobileProcesses and the picalculus maintained by Björn Victor and Uwe Nestmann. http://www.cwi.nl/~arie/picalc.html 
156. A Semantic View Of Classical Proofs (1996) Article by C.H. Luke Ong presenting the semantics of classical proof theory from three prespectives a formulaeastypes characterisation in a variant of Parigot's lambdamu calculus, a denotational characterisation in game semantics, and a categorical semantics as a fibred CCC. http://citeseer.nj.nec.com/did/231416 
157. 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/ 
158. 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/ 
159. 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.wtvzone.com/Angelaruth49/Calculus.html 
160. Statman, Richard Carnegie Mellon University Theory of computation, lambda calculus, combinatory logic. http://www.math.cmu.edu/people/fac/statman.html 
Page 8 141160 of 171 Back  1  2  3  4  5  6  7  8  9  Next 20 