| |
| Home - Basic_C - Calculus Pre | |
| Page 9 161-180 of 194 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | Next 20 |
| 161. AP Calculus New Hampshire's Alvirne High School web page of sample questions and answers for the advanced placement calculus test. http://www.seresc.k12.nh.us/www/alvirne.html |
| 162. Pi-Calculus And Linear Logic (1992) (CiteSeer) Article by Bellin and Scott showing how classical linear logic may be interpreted in the pi calculus, thus supporting Abramksy's `Proofs as Processes' thesis. http://citeseer.nj.nec.com/bellin92calculus.html |
| 163. Ong, C.-H. Luke Merton College, Oxford Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality. http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html |
| 164. Progress In Partial Differential Equations The main purpose of the meeting is to bring together leading experts in this broad and fastmoving area with the objective of highlighting recent important developments. Particular attention will be paid to developments in PDEs that relate to the sciences and other areas of mathematics such as geometry, the calculus of variations, dynamical systems and stochastic analysis. Edinburgh; 913 July 2001. http://www.ma.hw.ac.uk/icms/current/progpde/ |
| 165. 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/ |
| 166. Connected Calculus This is an applied calculus tutorial. Some prior calculus knowledge might be helpful. http://www.math.montana.edu/frankw/ccp/calculus/topic.htm |
| 167. Mathematics For Mechanics Topics Algebra, Geometry, Trigonometry, Analytical Geometry, calculus, Vectors. Teaching material and tests. Pages created by Mehrdad Negahban and the University of Nebraska. http://em-ntserver.unl.edu/Math/mathweb/mathtoc.html |
| 168. Maple Explorations For Differential Calculus Maple V.4 worksheets for use with a course at Georgia Tech. http://www.math.gatech.edu/~bourbaki/MapleProjects.html |
| 169. Karl's Calculus Tutor Introductory information on counting numbers, integers, limits, and derivatives. http://www.karlscalculus.org/ |
| 170. A Non Functional Calculus Linear Logic And Concurrency (2000) (CiteSeer) This paper proposes the *calculus as an approach that unifies Abramsky's proofs-as-processes approach with Boudol and Berry's Chemical Abstract Machine approach. http://citeseer.nj.nec.com/313007.html |
| 171. Pedicini, Marco Institute for Applied calculus, Rome Theoretical computer science, linear logic, geometry of interaction, optimal reductions. http://www.iac.rm.cnr.it/~marco/html |
| 172. Miculan, Marino University of Udine Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus. http://www.dimi.uniud.it/~miculan/ |
| 173. 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/ |
| 174. Calculus The calculus Bible by G. S. Gill. http://www.math.byu.edu/Math/CalculusBible/ |
| 175. Calculus And Differential Equations With Maple V The online texts listed serve as supplements for studying calculus and Differential Equations. http://www2.ncsu.edu/eos/info/maple_info/www/ |
| 176. A History Of The Calculus The main ideas of calculus developed over a very long period of time. Read about some of the mathematicians who contributed to this field of mathematics. http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/The_rise_of_calculus.html |
| 177. The Fusion Calculus Expressiveness And Symmetry In Mobile Processes (1998) (CiteSeer) This PhD thesis proposes the fusion calculus as a simplified picalculus with many formal advantages. http://citeseer.nj.nec.com/parrow98fusion.html |
| 178. Regnier, Laurent University of Marseilles Linear logic, lambda calculus and abstract machine interpretations. http://iml.univ-mrs.fr/~regnier/ |
| 179. Martini, Simone University of Bologna, Italy Type systems for programming languages, logic in computer science, lambda-calculus. http://www.cs.unibo.it/~martini/ |
| 180. Calculus Made Easier A tutorial covering limits, derivatives and integrals. Includes related resource links. http://wtv-zone.com/Angelaruth49/Calculus.html |
| Page 9 161-180 of 194 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | Next 20 |
