41. Page Of Yves Lafont University of Marseille II Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting. http://iml.univ-mrs.fr/~lafont/welcome.html

photo by M. Arovas Yves LAFONT professor at Aix-Marseille 2 research at Equipe de Logique de la Programmation teaching at Maths department adress: office: - phone: - fax: - e-mail: lafont@iml.univ-mrs.fr Discipline maths Specialities logic algebra theoretical computer science Papers

42. Calculus@Internet Webprimitives calculus@Internet Topic Differential calculus Sequence and Series Integral calculus MultiVariable calculus Vectors http://www.calculus.net/ci2/search/?request=category&code=1&off=0&tag=9200438920

43. Distance Calculus At Suffolk University Distance calculus at Suffolk University is a universitylevel calculus course program taught entirely via the internet. http://www.distancecalculus.com/

Questions? E-Mail : info@distancecalculus.com or AIM/Chat : DistanceCalculus or Call Us @ [USA] 617.497.2096 Home Main Calculus Sequence Liberal Arts Calculus Introduction to Computer Science - ... How Quickly Can I Finish The Course? Celebrating Our 8th Year of Teaching On-Line Suffolk University is a fully-accredited university -one of the "big 25" universities in Boston, Massachusetts- Internationally known for its Law and Management Schools All Distance Calculus Courses are offered through the Computer Science Department at Suffolk University. DISTANCE CALCULUS COURSE OFFERINGS Engineering/Science Calculus Courses (each available in 3 or 4 Semester Units) Liberal Arts General Education Courses Introduction to Computer Science [using PHP] (3 Semester Units each) Are You Trying To Learn Calculus In A Lecture Hall? Are You Bored? Frustrated? Can't Fit Calculus Into Your Work/Class/Life Schedule? Need to Try Calculus a Different Way? The Usual: Calculus in a Lecture Hall a big classroom, sometimes with hundreds of other students classtime that may not fit into your work or course schedule writing down notes like a stenographer noisy lecture halls make it difficult to concentrate long, boring homework assignments

44. Tutorials - HMC Calculus Tutorial Topics include precalculus, calculus, multivariable calculus, linear algebra and differential equations. http://www.math.hmc.edu/calculus/tutorials/

first time visitors notes about fonts taking the quizzes math 11 and 12 first time visitors notes about fonts taking the quizzes math 11 and 12 ... Visit the HMC Math Department!

45. A Calculus Of Risk Article by Gary Stix. http://www.ge.infm.it/~ecph/bibliography/stix98.html

A Calculus of Risk Financial engineering can lessen exposure to the perils of running a multibillion-dollar business or a small household. But mathematical models used by this discipline may present a new set of hazards by Gary Stix, staff writer SUBTOPICS: Einstein and Options Physicists on Wall Street Physics Versus Finance Financial Hydrogen Bombs Weather derivatives mark an example of the growing reach of a discipline called financial engineering. This bailiwick of high-speed computing and the intricate mathematical modeling of mathematicians, physicists and economists can help mitigate the vagaries of running a global business. It entails the custom packaging of securities to provide price insurance against a drop in either the yen or the thermometer. The uncertainties of a market crash or the next monsoon can be priced, divided into marketable chunks and sold to someone who is willing to bear that riskin exchange for a fee or a future stream of payments. "The technology will effectively allow you to completely manage the risks of an entire organization," says Robert A. Jarrow, a professor of finance at Cornell University. The engineering of financial instruments has emerged in response to turbulence during recent decades in ever more interconnected world markets: a result of floating exchange rates, oil crises, interest-rate shocks and stock-market collapses. The creative unleashing of new products continues with increasingly sophisticated forms of securities and derivativesoptions, futures and other contracts derived from an underlying asset, financial index, interest or currency exchange rate. New derivatives will help electric utilities protect against price and capacity swings in newly deregulated markets. Credit derivatives let banks pass off to other parties the risk of default on a loan. Securities that would help a business cope with the year 2000 bug have even been contemplated.

46. MAPLE PROJECTS FOR THE FIRST YEAR OF CALCULUS Maple V.4 worksheets for use with a course at Georgia Tech. http://www.math.gatech.edu/~bourbaki/MapleProjects.html

Maple explorations for Differential Calculus The following items are a collection of mathematical explorations developed for Georgia Tech's Math 1507. They are all formatted with Maple V. Release 4. These worksheets are ready to use, without much prior knowledge of Maple. As you read through them, you simply have to press ENTER to perform the calculations, and if you don't know Maple already you will easily begin learning how it works. After reading through a given worksheet, you can generate your own models and alternative scenarios by cutting and pasting Maple code. In each worksheet a model is introduced with a description of the content and of the level of presentation. These may be down-loaded onto your computer as text files, opened with Maple, and saved as active worksheets. Alternately, you may configure your Web browser to launch Maple as you choose a file. An Introduction to Maple : A modest worksheet to get started, by showing how to define and plot functions. Drawing Graphs : One of the primary uses of the computer will be to give visualization. This worksheet gives syntax for drawing graphs. The

47. The History Of The Calculus And The Development Of Computer Algebra Systmes Discusses development of integral and derivative calculus from the 17th century. Features contributions by key western civilization mathematicians. Includes examples of selected problems and how they were originally solved in earlier times. Also, covers the historic background to computer algebraic systems. http://www.math.wpi.edu/IQP/BVCalcHist/calctoc.html

The History of the Calculus and the Development of Computer Algebra Systems Introduction History of the Integral from the 17 th Century ... Conclusions A. Bibliography Return to the Main Page

48. Riemannian Geometry And Tensor Calculus @ Mathematica Free Mathematica package for explicit tensor calculations in Riemannian Geometry. http://www.inp.demokritos.gr/~sbonano/RGTC/

Description This package introduces definitions for tensor calculations in Riemannian Geometry. To begin a calculation the user must specify a Riemannian space by giving: (1) a list of coordinates, (2) a symmetric matrix of functions of the coordinates (= metric tensor) and (3) a list of simplification rules (optional). The main routine in the package then computes explicit expressions for all common Riemannian Geometry tensors (Riemann, Ricci, Einstein, Weyl) and tests if the space belongs to any of the following categories: Flat Conformally Flat Ricci Flat Einstein Space or Space of Constant Curvature . Each tensor is stored as a nested list under an appropriate global name. The following functions for operating on these tensors are defined: Raise/Lower indices, Contract (multiple) indices, Covariant Differentiation and Covariant Divergence. These functions, together with the built-in functions Outer (giving tensor products) and Transpose (index rearrangement) provide the necessary tools for performing all common tensor operations on the computer. Several examples of the use of these functions on tensors computed using different metrics are given. Beginning with version 2.5, tensor components can be calculated with respect to an arbitrary frame, and approximate calculations (series expansions) can be carried out. Version 2.7.8 significantly improves these capabilities.

49. I Love Calculus calculus LINKS So Hot they ll Make Your T-1 Line Sizzle Interactive calculus - Teachers can write Ron Larson odx@psu.edu for a free subscription. http://math.rice.edu/~lanius/misc/calcu.html

Okay, I admit it. I LOVE Calculus! IT'S AND It's Fun, AND It's a Challenge. Calculus LINKS- So Hot they'll Make Your T-1 Line Sizzle Volume Functions A Maximization Problem Calc 101 Automatic Calculus Solutions From Kentridge High School Interactive Calculus - Teachers can write Ron Larson odx@psu.edu for a free subscription. AP Calculus from the College Board Physics and Calculus Problems of the Week Finite Mathematics and Applied Calculus Resource Page Alvirne HS Problem of the Week A gold mine of current and archived problems Visual Calculus Dave Slomer's Calcu Page The Rental Car Problem from CCP Mr. Calculus The rise of calculus For the history buffs among us www.calculus.net AP Calculus on the Web from Sandy Ray First Semester Calculus The Continuity-Differentiability Issue The Calculus Hater's Homepage The other side heard from (poor fellow) Karl's Calculus Tutor Lots of information AP Distance-Learning Project Dr. Papa's Course at Rice U. complete with exams Integral Calc Exam from U of Pitt Differentiation Problems from U of Pitt Integration Problems Same Place CalculusQuest Learning Calculus A How-To-Be-Successful List of Tips The MATHMAN Something about teaching Calculus to 7 year olds Dr. Sloane's Calculus 1

50. Calculus - Wikipedia, The Free Encyclopedia Differential calculus is based on the problem of finding the Examples of typical differential calculus problems are finding the following quantities http://en.wikipedia.org/wiki/Calculus

Calculus From Wikipedia, the free encyclopedia. Topics in calculus Fundamental theorem Function Limits of functions Continuity ... Lists of integrals For other uses of the term calculus see calculus (disambiguation) Calculus is a central branch of mathematics , developed from algebra and geometry , and built on two major complementary ideas. One concept is differential calculus . It studies rates of change, which are usually illustrated by the slope of a line. Differential calculus is based on the problem of finding the instantaneous rate of change of one quantity relative to another. Examples of typical differential calculus problems are finding the following quantities: The acceleration and speed of a free-falling body at a particular moment. The loss in speed and trajectory of a fired projectile, such as an artillery shell or bullet. Change in profitability over time of a growing business at a particular point in time. The other key concept is integral calculus . It studies the accumulation of quantities, such as areas under a curve , linear distance traveled, or

51. The Coq Proof Assistant Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification. http://coq.inria.fr/

52. Lambda Calculus - Wikipedia, The Free Encyclopedia Lambda calculus has greatly influenced functional programming languages, The lambda calculus can be called the smallest universal programming language. http://en.wikipedia.org/wiki/Lambda_calculus

Lambda calculus From Wikipedia, the free encyclopedia. The lambda calculus is a formal system designed to investigate function definition, function application, and recursion . It was introduced by Alonzo Church and Stephen Cole Kleene in the ; Church used the lambda calculus in 1936 to give a negative answer to the Entscheidungsproblem . The calculus can be used to cleanly define what is a computable function . The question of whether two lambda calculus expressions are equivalent cannot be solved by a general algorithm, and this was the first question, even before the halting problem , for which undecidability could be proved. Lambda calculus has greatly influenced functional programming languages , especially Lisp The lambda calculus can be called the smallest universal programming language. The lambda calculus consists of a single transformation rule (variable substitution) and a single function definition scheme. The lambda calculus is universal in the sense that any computable function can be expressed and evaluated using this formalism. It is thus equivalent to Turing machines . However, the lambda calculus emphasizes the use of transformation rules, and does not care about the actual machine implementing them. It is an approach more related to software than to hardware.

53. Index The 2001 LMS Lectures by Thomas Goodwillie. University of Aberdeen, Scotland; 1823 June 2001. http://maths.abdn.ac.uk/~lmslec/

LONDON MATHEMATICAL SOCIETY INVITED LECTURE SERIES Calculus of Functors THOMAS GOODWILLIE 18 - 23 JUNE 2001 Research Centre in Topology and Related Areas Department of Mathematical Sciences University of Aberdeen The 2001 LMS Lectures will be given in Aberdeen. This series is held annually: a single speaker gives a course of about 10 expository lectures, examining an important topic in depth, over a five day period. In the 2001 program in Aberdeen there will be two lectures every morning. An associated afternoon programme will be arranged by G. Arone and M. Weiss. The lecture notes will be published in one of the LMS venues. All mathematicians interested in the topic are welcome to attend the lectures. Limited funds are available to support participants. Priority for financial support will be given to research students and mathematicians who would benefit from attending the lectures, but who would otherwise be prevented from attending by financial constraints. For details on financial support and an application form, please see the link below. Interested participants are also encouraged to attend the International Conference in Algebraic Topology which will take place on the Isle of Skye , the week after this lecture series (June 24 - 30 2001). The theme of the conference is Categorical Decomposition Techniques, in which calculus of functors play an important role. The organizers will attempt to reduce registration fees for those who plan to attend both meetings. Details will appear at a later date. The lecture series registration fee will be waived for doctoral students.

54. Math Forum: Calculus The best Internet resources for calculus classroom materials, software, Internet projects, and public forums for discussion. http://mathforum.org/calculus/calculus.html

Calculus Back to Math by Subject Math by Subject K12 Topics algebra arithmetic calculus discrete math geometry pre-calculus prob/stat Advanced Topics analysis calculus diff. equations game theory discrete math geometry (coll.) geometry (adv.) linear algebra modern algebra num. analysis Internet Calculus Resources See also Single-variable Calculus and Multi-variable Calculus in the Math Forum's Internet Mathematics Library. Classroom materials for teachers and students Selected calculus Internet resources for the classroom, including activities and interactive resources. Software for calculus Publicly available software and publishers online. Internet projects Activities for students and lovers of calculus. Public forums for discussing calculus Mailing lists and newsgroups sponsored by the Forum and others where mathematicians,teachers, and students trade ideas about calculus. Home The Math Library Quick Reference Search ... Help http://mathforum.org/

55. Calculus Of Origami Site This site is about Math and Origami, it defines a notation for folds, based on points and edges, and some links for papers on math and origami http://community.corest.com/~gera/origami/

Planet J Laboratories Presents... T HE C ALCULUS OF O RIGAMI Originally developed by Josh Knowles and Sean Owen at PJLabs, Austin, Texas. Now hosted by gera at Core's Community site Spanish Language Version also available, as translated by Gerardo Richarte (outdated). Sorry, folks, there are no instructions on how to fold paper cups or kabuto helmets here. These pages instead focus on the mathematics involved with paperfolding (as the title may imply). C ONTAINED W ITHIN: THE I NTRODUCTION N ... EWS Last Updated: May 1, 2001 THE R ULES Definitions ... EFERENCES

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

The Math Forum - Corner for Interactive Geometry Software Algebra and Calculus Sketches by Ruth Carver Sketchpad Resources Main CIGS Page Teacher Exchange: Forum Web Units Viewing sketches on this page requires The Geometer's Sketchpad. For information about purchasing the software, downloading demo versions, and setting up Sketchpad as a helper application for your Web browser, see the Forum's Dynamic Geometry Software page. Algebra Line Sketch One line, Y=X, is fixed. You can manipulate the position of another line, Y=MX+B, by altering the values of M or B. There are also questions to go with this graph. Parabola Sketch 1 Similar to the first graph, here there's a fixed parabola Y=X^2, and one to experiment with, Y=AX^2+C. Parabola Sketch 2 Change even more variables by comparing Y=X^2 with Y=A(X-H)^2+K. Calculus Tangent Line Problem Given a function f and a point P on f, find an equation of the tangent to the graph at P. Why would you want to do this, and how would you go about solving this problem? These five sketches take you step-by-step through the solution of the tangent line problem: Sketch 1 Sketch 2 Sketch 3 Sketch 4 ... Help http://mathforum.org/

57. Non-Newtonian Calculus Includes discussions of general theory and heuristic guides for application. http://www.geocities.com/nonnewtoniancalculus/

Non-Newtonian Calculus NON-NEWTONIAN CALCULUS A Brief Account: The non-Newtonian calculi were created in the period from 1967 to 1970 by Michael Grossman and Robert Katz. These calculi provide a wide variety of mathematical tools for use in science, engineering, and mathematics. They appear to have considerable potential for use as alternatives to the classical calculus of Newton and Leibniz. The first publication on non-Newtonian calculus was Grossman and Katz’s book "Non-Newtonian Calculus” (QA303.G88). It includes discussions of nine specific non-Newtonian calculi, the general theory of non-Newtonian calculus, and heuristic guides for application. The first non-Newtonian calculus is the topic of Grossman’s book "The First Nonlinear System of Differential and Integral Calculus" (QA303.G878). In that calculus the exponential functions play the role that the linear functions play in the classical calculus. A non-Newtonian calculus in which the power functions play that role is presented in Grossman’s book "Bigeometric Calculus: A System with a Scale-Free Derivative” (QA306.G84). Each non-Newtonian calculus, as well as the classical calculus, can be ‘weighted’ in a manner explained in the book "The First Systems of Weighted Differential and Integral Calculus” (QA303.G876) by Jane Grossman, Michael Grossman, and Robert Katz. Natural outgrowths of the systems of weighted calculus are the systems of meta-calculus, which are described in Jane Grossman's book "Meta-Calculus: Differential and Integral” (QA303.G877).

58. Finite Mathematics And Applied Calculus Resource Page Finite Mathematics Applied calculus Resource Page. You are being transferred to the new and expanded version of this site at http://people.hofstra.edu/faculty/Stefan_Waner/realworld.html

Finite Mathematics Applied Calculus Resource Page You are being transferred to the new and expanded version of this site at http://www.hofstra.edu/~matscw/RealWorld

59. Anite Calculus Offers intercompany billing and retail solutions for competitive OLOs and resellers. Includes support forum and contact details. http://www.anitecalculus.com/

60. Finite Mathematics And Applied Calculus Resource Page Everything for calculus Everything for Finite Math and calculus. Learning Chapter Summaries OnLine Tutorials On-Line Text http://people.hofstra.edu/faculty/Stefan_Waner/RealWorld/

Finite Mathematics Applied Calculus Resource Page Visit our On-line Interactive Tutorials On-line game theory simulator New! Linear Programming Grapher Simplex Method Tool Matrix Algebra Tool Time Value of Money Utility ... Markov system in action Updated! On-Line Pivot and Gauss-Jordan Tool Linear Approximation and Error Estimation On-line math utilities Guide to This Site Everything... Everything for Finite Math Everything for Calculus Everything for Finite Math and Calculus Learning... Chapter Summaries On-Line Tutorials On-Line Text Test Yourself... Chapter Quizzes Chapter Review Exercises Math Tools... On-Line Utilities Your Hofstra Course... Math 9 Math 10 Math 15 Math 19 ... QM 122 Communicate... Bulletin Board Mail the Authors Order a Copy

Page 3     41-60 of 179    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20