| |
| Home - Basic_C - Calculus Pre | |
| Page 10 181-194 of 194 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 181. Math Notes Quick reference for basic algebra, trigonometry, geometry, calculus, and physics formulas. Includes online calculators. http://www.geocities.com/tvtronix/mathnotes/ |
| 182. 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/ |
| 183. Calculus And Mathematica A Mathematicabased calculus course. http://www-cm.math.uiuc.edu/ |
| 184. Algebra And Calculus Sketches For calculus, gives the tangent line problem and its solution. http://www.mathforum.org/sum95/ruth/sketches/algcalc.sketches.html |
| 185. 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 |
| 186. Statman, Richard Carnegie Mellon University Theory of computation, lambda calculus, combinatory logic. http://www.math.cmu.edu/people/fac/statman.html |
| 187. Math Onlive Live Live online classes in calculus, trigonometry, and basic math. http://mathtoons.com/ |
| 188. The University Of Minnesota Calculus Initiative calculus problems for engineering students. http://www.geom.umn.edu/education/calc-init/ |
| 189. S.O.S. Math Contains tutorials covering algebra, geometry, calculus, differential equations, matrices, and complex variables. Reviews the most important results, techniques and formulas. Presented in worksheet format and require active participation. Includes practice quizzes and forum board. http://www.sosmath.com/ |
| 190. Automatic Calculus Solutions Check calculus homework. Enter a function and click for a stepby-step derivative or integral with each step explained. http://www.calc101.com/ |
| 191. 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 |
| 192. Stewart, Charles Technische Universit¤t Berlin, Theory and Formal Specifications group Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language. http://www.linearity.org/cas/ |
| 193. The Elementary Calculus Line Covers derivative and integral conversions as well as calculus rules. Includes practice exercises. http://cne.gmu.edu/modules/dau/calculus/calculus_frm.html |
| 194. WRHS Precalculus Overview We are using STELLAto model the growth of the number of cases of AIDS in the United States.......Precalculus AIDS Epidemic. Overview. Model http://www.ncsec.org/cadre2/team17_2/precalc/overview.htm |
| Page 10 181-194 of 194 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
