Algebraic.net Home  - Calculus - Calculus
 Images Newsgroups
 21-39 of 39    Back | 1  | 2

 Calculus: Calculus: Concepts and Contexts by James Stewart, 13 December, 2000 Precalculus With Infotrac: Mathematics for Calculus by James Stewart, December, 2001 Calculus of a Single Variable by Ron Larson, January, 2002 Calculus by and for Young People-Worksheets by Donald Cohen, Donald Cohen, February, 1991 Understanding the FFT, Second Edition, Revised by Anders E. Zonst, April, 2000 Excursions in Calculus : An Interplay of the Continuous and the Discrete by Robert M. Young, 01 October, 1992 Precalculus (6th Edition) by Michael Sullivan, June, 2001 Calculus, Early Transcendentals Brief Edition by Howard A. Anton, Stephen Davis, et all August, 2001 Single Variable Calculus (with CD-ROM) by James Stewart, 06 December, 2002 Calculus, Multivariable by William G. McCallum, Daniel E. Flath, et all September, 2001

1. Lemon
Functional language with inductive and coinductive types. Based on simplytyped lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations.
http://www.cis.ksu.edu/~bhoward/lemon.html

2. Calculus Tutorial - Harvey Mudd College Mathematics Department
Tutorials covering precalculus, calculus, multivariable calculus, linear algebra and differential equations.
http://www.math.hmc.edu/calculus/

3. School Principals Guide To Student Math Improvement
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/

4. Math Forum: Algebra & Calculus Sketches - Ruth Carver
For calculus, gives the tangent line problem and its solution.
http://www.mathforum.org/sum95/ruth/sketches/algcalc.sketches.html

5. A Non Functional Calculus: Linear Logic And Concurrency (ResearchIndex)
(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

6. Multivariable Calculus
Lecture notes by Carlos C. Rodriguez, State University of New York at Albany.
http://omega.albany.edu:8008/calculus3

7. Math History
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/

8. Luke Ong
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

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/

10. Math Homework Help - Textbook Solutions, Answers, And Tutoring For Prealgebra, A
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

11. Q - Equational Programming Language
An extensible functional programming language based on the term rewriting calculus.
http://www.musikwissenschaft.uni-mainz.de/~ag/q/

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

13. Mathematics Pages
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

14. Calc101.com Automatic Calculus And Polynomials
Check calculus homework. Enter a function and click for a stepby-step derivative or integral with each step explained.
http://www.calc101.com/

15. The Fusion Calculus: Expressiveness And Symmetry In Mobile Processes - Parrow, V
(CiteSeer) This PhD thesis proposes the fusion calculus as a simplified picalculus with many formal advantages.
http://citeseer.nj.nec.com/parrow98fusion.html

16. New Calculus With Maple V Homepage Address
The online texts listed serve as supplements for studying calculus and Differential Equations.
http://www2.ncsu.edu/eos/info/maple_info/www/

17. Personal Marco Pedicini
Institute for Applied calculus, Rome Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
http://www.iac.rm.cnr.it/~marco/html

18. Webmath Offers Math Homework Help And Math Word Problems At DiscoverySchool.com.
Offers interactive homework help in prealgebra, algebra, geometry, trigonometry, calculus, statistics, and real world math. From DiscoverySchool.com.
http://school.discovery.com/homeworkhelp/webmath/

19. Proof Theoretic Approach To Specification Languages - Chirimar (ResearchIndex)
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

 21-39 of 39    Back | 1  | 2

contact: support@algebraic.net