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

Lemon A Functional Language with Inductive and Coinductive Types The functional language lemon is based on the simply-typed lambda calculus augmented with sums, products, and the mu and nu constructors for least ( inductive ) and greatest ( coinductive ) solutions to recursive type equations. The term constructors of the language strictly follow the introduction and elimination rules for the corresponding types; in particular, the elimination for mu is iteration and the introduction for nu is coiteration (also called generation ). It includes a small amount of polymorphism and type inference; lambda-bound variables do not need type annotations, but iteration and coiteration need to have their corresponding recursive types specified (this is a problem with the language rather than the implementation). For example, the following program generates the stream of Fibonacci numbers starting with 1,1: Using iteration we may define a function which picks off the first n elements of a stream and returns them as a list: We may combine these terms as follows (currently there is syntactic sugar for natural numbers but not for lists; formatting inserted by hand for clarity):

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

Visit the HMC Math Department! Visit the HMC Math Department!

23. 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/

var TlxPgNm='index'; School Principals Guide to Student Math Improvement Invitation to Mathematics is Math for School Principals. It is an algebra and college prep math tutoring program that extracts clean, fresh, authoritative algebra and math concepts and explains them in a made-simple way. School Principals Guide to Student Math Improvement As a School Principal you are looked upon for leadership to show and direct teachers how to be accountable for high academic standards. Today, any School Principal attempting to meet this difficult goal faces new questions and challenges. To help answer those questions the Educational Research Institute is pleased to bring you a breakthrough Professional Development Mathematics and Science Support Training Program part of the Math 2002' teacher training program, that, for the first time, gives teachers and administrators, an understandable, bare facts, overview of the math knowledge necessary to determine where to take your students to raise the schools academic levels. The use of this breakthrough program is intended to save your school considerable time and money. Why is this Guide Important to School Principals?

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

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 ... Search http://mathforum.org/

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

A non functional calculus: linear logic and concurrency (2000) (Make Corrections) Corrado Priami, Ugo Solitro, Cristina Borboni Home/Search Context Related View or download: sci.univr.it/~priami/wwwpa Star.ps.gz Cached: PS.gz PS PDF DjVu ... Help From: sci.univr.it/~priami/Mypapers (more) Homepages: C.Priami U.Solitro HPSearch (Update Links) Rate this article: (best) Comment on this article (Enter summary) Abstract: this paper to an interaction mechanism inspired to the computational behaviour of proof nets, a deduction system of linear logic [7]. In this setting the conclusion of a derivation is the type of the corresponding proof net. The computational mechanism is cut elimination that can only occur between terms with the same type. The relationship between proof nets and processes have already been studied in the literature. Abramsky interprets proof as processes and consider a cut-elimination as... (Update) Similar documents (at the sentence level): Functional Features of a Calculus for Logic and Concurrency - Priami, Solitro (2000) (Correct) Active bibliography (related documents): More All Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (1998)

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

Multivariate Calculus With Maple If you were using a Java-enabled browser, you would see an animated scrolling text sign that looks like this: [Preface] [Table of Contents] [Review of Calc1] [Vector Geometry] ... [Found Elsewhere] Last modified: Mon Jan 24 10:57:03 EST 2000

27. 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/

Thomas' Calculus This guide to the history of calculus is keyed to the chapters and content of the 10th edition of Thomas' Calculus . This electronic document highlights important events and people in the development and use of calculus. Learn about the history of calculus The history of calculus is rich and full of considerable human effort. By investigating this guide, through the sections containing a timeline, essays on the development of the major elements and topics of the subject, biographies of over 100 contributors and users of the subjects, and a set of over 100 problems (questions keyed to chapters in the book) to investigate in the history of calculus, you can learn more about the subject and how it has been used to help society. Use with the textbook These history modules (topic essays and biographies) can be used to supplement a reading assignment or lecture or with the problem exercises can supplement the outside class work. They are excellent sources for written or oral projects. The textbook contains icons that indicate good places where history modules can be used.

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

Luke Ong Reader in Computer Science Tutorial Fellow in Computation, Merton College Address Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford, OX1 3QD, England. Telephone Direct: +44 (0)1865 283522 Department: +44 (0)1865 273838 Fax: +44 (0)1865 273839 EMail Luke.Ong@comlab.ox.ac.uk WWW Work-related information (OUCL) oucl people Updated February 2003 Home Search SiteMap Feedback ... News

29. Progress In PDEs Home Page 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/

Progress in Partial Differential Equations Edinburgh, 9-13 July 2001 Home page Scientific Programme Speakers' Notes Timetable ... Click here for the report on this meeting in ICMS News 11 The Speakers' Notes section contains notes and some abstracts from speakers at this meeting. Scientific Committee: J. M. Ball (Oxford), A. Grigoryan (Imperial College), S Kuksin (Heriot-Watt) The main purpose of the meeting is to bring together leading experts in this broad and fast-moving 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. One of the sessions of the meeting, on Tuesday 10 July, will be dedicated to the memory of E. M. Landis and will address qualitative theory of second order elliptic and parabolic PDEs. A memoir of E. M. Landis Session timetable The Workshop is supported by: The Engineering and Physical Sciences Research Council and The European Commission under Framework V REGISTRATIONS CLOSED ON 7 APRIL 2001.

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

Math Homework Help Found Here! Hotmath helps students learn math: we show guided step-by-step solutions for homework problems in popular textbooks. Hotmath has tutorial solutions and answers for math problems found in prealgebra, algebra, precalculus, calculus and geometry textbooks. Hotmath , Inc.

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

Q - Equational Programming Language [Homepage] [Musikwissenschaft] [Musikinformatik] 19 Feb 2002: The latest bugfix release of the Q interpreter is Q 4.1.3 . See the NEWS and ChangeLog files for what's new. As always, the present release has been tested on Linux, Solaris, BeOS and Windows, and should work (with minor tweaking) on most modern UNIX/POSIX-based platforms. Also available: Q-Midi 1.8.2 CONTENTS: Q Qpad Q-Graph Q-Midi ... Links NOTE: The software on this page is free software distributed under the GNU General Public License and can be obtained in the global Download section at the end of this page. The different packages are also listed both on the Freshmeat website and in the FSF Software Directory . Links to the Freshmeat record for each package are given in the "SEE ALSO" sections of the descriptions below. I always announce new releases on Freshmeat as soon as they become available. Thus, if you have registered a Freshmeat account and you'd like to be informed about new releases, just use the "Subscribe to new releases" option on the Freshmeat project pages. Q SEE ALSO: COPYING README NEWS ChangeLog ... Download Q is a powerful and extensible functional programming language based on the term rewriting calculus. The pseudo-acronym "Q" stands for "equational". Programming in Q means that you specify a system of equations which the interpreter uses as rewrite rules to reduce expressions to normal form. This computational paradigm is very general, in particular it also subsumes the lambda and combinatorial calculi which functional programming is based on.

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

The Connected Curriculum Project Contents Models, Data, and Curve Fitting Estimation and Limits Sequences and Discrete Dynamical Systems Derivatives and Differention ... Numerical Methods Models, Data, and Curve Fitting A Guide to this Chapter. The Mean and the Median Linear Models Linear Regression Quadratic Models Exponential Models Logistic Models Periodic Models Contents Estimation and Limits A Guide to this Chapter. Introduction When is it Safe to Drink the Water? A Descriptive Look Estimation and Limits Area ... Contents Sequences and Discrete Dynamical Systems A Guide to this Chapter. Quickstart Population Models Exponential Models Exponential Models with Immigration Linear Dynamical Systems ... Contents Derivatives and Differention A Guide to this Chapter. Introduction Curved Mirrors Comparing a Function with its Derivative Computing the Derivative as a Limit Visualizing the Derivative as a Limit Sometimes There Isn't a Tangent Interpretation Powers Linearity of the Derivative Polynomials Derivatives of the Trigonometric Functions Product Rule Quotient Rule Chain Rule Inverse Function Rule Derivatives of the Inverse Trigonometric Functions The Exponential Function Logarithms Implicit Differentiation Related Rates Mean Value Theorem Higher Order Derivatives Partial Derivatives Directional Derivatives The Gradient Contents Graphing A Guide to this Chapter.

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

University of Nebraska EngM Instructional Lab Course Notes and Mechanics Readiness Online Pre-Application to Graduate Program Masters Program ... Financial Support for Graduate Studies Department of Engineering Mechanics Welcome to the Mathematics for Mechanics Homepage. Click on any of the topics you're interested in learning about! Algebra Geometry Trigonometry Analytical Geometry ... Vectors Once you feel comfortable with the material, test your skills with the Mechanics Readiness Program Copy and distribute freely for personal use only Department of Engineering Mechanics, University of Nebraska, Lincoln, NE 68588-0526 Department of Engineering Mechanics Phone: (402) 472-2377 W317.4 Nebraska Hall FAX: (402) 472-8292 University of Nebraska-Lincoln E-mail: dgsem@unl.edu Lincoln, NE 68588-0526 Web: http://www.unl.edu/emhome/em.html This page has been visited times since

34. 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/

Automatic Calculus Derivatives and Integrals You've come to the right place for calculus solutions! Day or night, from anywhere, you can get calculus problems solved in seconds, automatically. You get all the steps explained in plain English, just like textbook examples. You see it all in standard mathematics notation, just like your teacher at the blackboard. Get unstuck fast! Do any first or second derivative step-by-step for free; no password is needed. Get the answer to practically any freshman indefinite integral for free. Get all the steps for indefinite integrals for a few cents each. Algebra, too: long multiplication and division of polynomials are free. Boost your algebra and calculus grades! Check your mathematics homework, study for quizzes, and review for exams. Get as many fully worked-out examples as you need. For word problems from textbooks... www.hotmath.org FAQs legal info@calc101.com ... Passwords live , step-by-step math! long multiplication long division derivatives integrals dead derivatives product rule quotient rule chain rule dead integrals substitution integration by parts trig powers trig products ... deriving reduction formulas

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

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1997) (Make Corrections) (43 citations) Joachim Parrow, Björn Victor Logic in Computer Science Home/Search Context Related View or download: sics.se/~joachim/fusionfull.ps.gz Cached: PS.gz PS PDF DjVu ... Help From: sics.se/~joachim/cv (more) Homepages: J.Parrow B.Victor HPSearch (Update Links) Rate this article: (best) Comment on this article (Enter summary) Abstract: We present the fusion calculus as a significant step towards a canonical calculus of concurrency. It simplifies and extends the -calculus. The fusion calculus contains the polyadic -calculus as a proper subcalculus and thus inherits all its expressive power. The gain is that fusion contains actions akin to updating a shared state, and a scoping construct for bounding their effects. Therefore it is easier to represent computational models such as imperative and concurrent constraints... (Update) Context of citations to this paper: More ...easily implemented asynchronous subcalculus [2, 8] the output pre x u v : P is replaced by the output particle u v. In the fusion calculus the reduction of an input and output results in a fusion of names rather than a substitution.

36. 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/

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

Consiglio Nazionale delle Ricerche ISTITUTO per le APPLICAZIONI del CALCOLO "Mauro Picone" Marco PEDICINI Research Interests: Dynamics of Computational Processes - Linear Logic, Proof Nets and Geometry of Interaction; - Computer Science: Concurrent and Parallel Systems; Quantum Computation FTP-site for Marco Pedicini e-prints. Papers Links and Abstracts Projects Other WWW Experiences: Vincent's Page Jean-Baptiste Joinet Link Hyper Harold Schellinx Laurent , Paris-alien in Marseille Lorenzo Tortora de Falco web site Personal Annotations on www: Mathematics Subject Classification Yahoo Referenced Mathematics Institutes Archivio Gazzetta Ufficiale (Concorsi Laureati) (IAC mirroring del televideo) Archivio Gazzetta Ufficiale Concorsi (Comune di Jesi) (la Repubblica) Reclutamento dal Ministero URST Marco Pedicini: marco@iac.rm.cnr.it

38. 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/

All DiscoverySchool Students Teachers Parents Number Basics Addition, Subtraction, Place Value Scientific Notation ... Cones Pre-Algebra Sequences Basic Factoring Permutations Algebra Simplifying Expressions Polynomials Factoring Expressions Solving Linear Equations ... Writing Linear Equations Trigonometry Right Angle Relationships Graphing Trig Functions Simplifying Trig Functions Polar Graphs Calculus Derivatives Integration (anti-derivative) Data Analysis More Solvers Story Problems (Grades 3-8) Word Problems (Grades 8-12) Real World Problems Weight on Other Planets ... Feedback Discovery.com

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

Proof Theoretic Approach To Specification Languages (1995) (Make Corrections) (24 citations) Jawahar Lal Chirimar Home/Search Context Related View or download: upenn.edu/pub/ircs/tr/9521.ps.Z upenn.edu/pub/papers/chirim phd.ps.gz Cached: PS.gz PS PDF DjVu ... Help From: upenn.edu/~ircs/rep (more) Homepages: J.Chirimar HPSearch (Update Links) Rate this article: (best) Comment on this article (Enter summary) Abstract: PROOF THEORETIC APPROACH TO SPECIFICATION LANGUAGES Jawahar Lal Chirimar Advisor: Dale Miller In this thesis I study FORUM as a specification language. FORUM is a higher-order logic based on the logical connectives of Linear Logic. As an initial example, I demonstrate that FORUM is well suited for specifying concurrent computations by specifying the higherorder ß calculus. Next, I focus on the problem of specifying programming languages with higher-order functions, and imperative features such ... (Update) Context of citations to this paper: More ...to the left of Gammaffi. 6. 4 Further readings The material in this section is taken largely from the paper [Mil96] In his PhD thesis , Chirimar presents specifications of the operation semantics of a programming language similar to Standard ML.

Page 2     21-39 of 39    Back | 1  | 2