161. Math Index Covers derivative and integral conversions as well as calculus rules. Includes practice exercises. http://cne.gmu.edu/modules/dau/calculus/calculus_frm.html

162. Engineering 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

You Are Here: Home Mathematics for Mechanics Mathematics for Mechanics Welcome to the Mathematics for Mechanics Homepage. Click on any of the topics you're interested in learning about! Topics: Algebra Geometry Trigonometry Analytical Geometry ... Vectors 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 Contact Dr. M. Negahban with questions and comments regarding this site: mnegahban@unl.edu W317.4 Nebraska Hall Lincoln, NE 68588-0526 Top Home Engineering Mechanics Phone: (402) 472-2377 FAX: (402) 472-8292 E-mail: dgsem@unl.edu

163. This Page Has Been Moved The online texts listed serve as supplements for studying calculus and Differential Equations. http://www2.ncsu.edu/eos/info/maple_info/www/

This page has been moved to a new location As of May 15th, 2004, all older course content on this service is now being delivered by the legacy.ncsu.edu service. Please update your bookmarks or links to reflect the new location of this page: http://legacy.ncsu.edu/classes-a/maple_info/www/ You will be redirected to the page at it's new location in 5 seconds, or you may click on the link above to go there immediately. For more information regarding this change, see our SysNews post at: http://sysnews.ncsu.edu/news/40a115a0

164. Calculus Bible The calculus Bible by G. S. Gill. http://www.math.byu.edu/Math/CalculusBible/

This document was designed for a frames-capable browser. You can still read the text here

165. Mathematical Sciences, Richard Statman Carnegie Mellon University Theory of computation, lambda calculus, combinatory logic. http://www.math.cmu.edu/people/fac/statman.html

Faculty Visiting Faculty Staff Graduate Students ... Home Richard Statman Professor Ph.D., Stanford University Office: Wean Hall 7214 Phone: (412) 268-8475 E-mail: statman@cs.cmu.edu Research My principal research interests lie in the theory of computation with special emphasis on symbolic computation. In particular, my current research involves lambda calculus and combinatory algebra. This area underwent extensive development in the first half of this century, and then lay dormant until Dana Scott's fundamental work in the 1970's. Part of what has emerged from Scott's work is that lambda calculus forms the foundation of functional programming at both the semantic and syntactic levels. As a result, the area has been revived by an influx of theoretical problems directly related to design and implementation issues. Selected Publications The omega rule is sigma-zero-three hard (with Benedetto Intrigilia), LICS'04 On the lambda Y calculus, LICS '02 Church's lambda delta calculus, LPR '00 The word problem for combinators, RTA '00

166. Lee Lady: Topics In Calculus A set of downloadable lectures. http://www.math.hawaii.edu/~lee/calculus/#Series-Sol

Topics in Calculus Professor Lee Lady University of Hawaii A Conceptual Approach to Applications of Integration The Derivatives of the Sine and Cosine Functions ... Review Problems for Differential Equations In my opinion, calculus is one of the major intellectual achievements of Western civilization - in fact of world civilization. Certainly it has had much more impact in shaping our world today than most of the works commonly included in a Western Civilization course books such as Descartes's Discourse on Method or The Prince by Machiavelli. But at most universities, we have taken this magnificent accomplishment of the human intellect and turned it into a boring course. Sawyer's little book What Is Calculus About? (Another book in the same vein, but more recent, is The Hitchhiker's Guide to Calculus by Michael Spivak.) For many of us mathematicians, calculus is far removed from what we see as interesting and important mathematics. It certainly has no obvious relevance to any of my own research, and if it weren't for the fact that I teach it, I would long ago have forgotten all the calculus I ever learned. But we should remember that calculus is not a mere ``service course.'' For students, calculus is the gateway to further mathematics. And aside from our obligation as faculty to make all our courses interesting, we should remember that if calculus doesn't seem like an interesting and worthwhile subject to students, then they are unlikely to see mathematics as an attractive subject to pursue further.

167. R. K. Shyamasundar's Home Page Tata Institute of Fundamental Research, Mumbai Real-Time and Reactive Programming, Logic Programming, Pi-calculus and Mobile Computing, Parallel Programs, Programming Languages. http://www.tcs.tifr.res.in/~shyam/

R.K. Shyamasundar Picture Address Tata Institute of Fundamental Research Bombay 400 005 India Fax: +91 22 2280 4610 Fax: +91 22 2280 4611 Tel: +91 22 2280 4545 X 2288 e-mail: TCS Group shyam[AT]tcs.tifr.res.in shyam[AT]tifr.res.in shyam[AT]acm.org Secretary, John Barretto (X 2531) TCS john[AT]tcs.tifr.res.in Research Interests and Publications Real-Time and Reactive Programming Logic Programming Pi-Calculus and Mobile Computing Parallel Programs and Scheduling ... Papers on Systems for Ecommerce Computer and Network Security Indian Association for Research in Computing Science IARCS- Charter and Membership Conferences 5th IEEE/ACM International Workshop on Grid Computing Pittsburgh, November 2004 Int. Conf on Distributed Computing and Internet Technology Bhuvaneshwar, December 2004 UML 2004 October 11-15, 2004, Lisbon, Portugal Formal Methods and Models for Codesign, MEMOCODE 2004 June 23rd-25th, 2004 San Diego, California Task Force on Cluster Computing ISCES Collaborators Basant Rajan N. Raja M.R.K. Krishna Rao P. Pandya ... Eric Rutten Academies Fellow, Indian Academy of Sciences

168. UBC Calculus Help Integrals University of British Columbia course notes. Covers integration and series with applications. Illustrated with interactive Java applets. http://www.ugrad.math.ubc.ca/coursedoc/math101/

The UBC Calculus Online Homepage Welcome to UBC Calculus Online. This site is an online supplement to Math 101 being taught within the University of British Columbia Department of Mathematics. Everyone is welcome and feedback is appreciated. Who We Are Course Notes Labs Announcements In-Class Demonstrations Resources Links to some other interesting sites Please send us your comments.

169. Project Links | Home Contains modules for probability and statistics, discreet math, linear systems and advanced calculus. Developed by the Rensselaer Polytechnic Institute. http://links.math.rpi.edu/

Overview Background on the people involved in the project. Assumptions How we intend these modules to be used in the classroom. Hardware and software requirements. For Instructors Information for instructors using our materials. The Project Links Modules by general applied topic by general mathematics topic Hardware and Software Guidelines Recommendations for setting up your computer to maximize your time with Project Links. Developers' Connection Documentation and services for current developers and programmers, and for those with new module ideas. Jobs with Project Links Information for those RPI students with programming skills in Java, HTML, and Director. 2001 ASME Curriculum Innovation Award 2000 NEEDS Premier Award for Excellence in Engineering Education [2/24/03]: The website has been updated. The electromagtic field applets have been fixed, and a preliminary version of the module "compatibility mode" has been deployed.

170. AP Calculus New Hampshire's Alvirne High School web page of sample questions and answers for the advanced placement calculus test. http://homepages.seresc.net/~sray/alvirne.html

171. Analysis 2.3 Analysis is a tool that can draw 2D and 3D graphs of functions with different characteristics. Implicit f(x,y)=g(x,y)form curves are plot in a xy plane. Free download for all Windows versions http://www.geocities.com/leibowitz.geo/analysis_en.html

Analysis 2.3beta2 by Davide Bucci Download Screenshots Analysis 2.3beta2 is the last version of a computer program to which I have worked for more than five years. Initially conceived as a simple tool for function plotting in high school, by now it has become a really powerful instrument that can be used on first and second year calculus courses at the university. The program sources can be downloaded on the web under the terms of the GNU General Public License v. 2. Analysis is obviously more little and less powerful of a lot of terrible math program that you can find (and pay!), but it requires a fraction of the time necessary to be skilled in and it is really smart, rapid and easy to use: you can run it by a 1.44 MB diskette on old computers! Is that the thing that is more interesting: it is really good for helping you in verifying your exercises without forcing you in using complex functions on terrible computer programs. This document is part of the official documentation and can be printed if you want to have a short resume of the principal possibilities of Analysis. Who used a previous version of the software, will find a lot of news that would probably appreciate; there is also the possibility of choosing the language used by the program between English, French and Italian. Whoever would like to help me and translate Analysis in other languages can find me at

172. Elementary Calculus Elementary calculus An Approach a book by H. Jerome Keisler originally published by Prindle, Weber Schmidt (2nd ed 1986) http://www.math.wisc.edu/~keisler/calc.html

Elementary Calculus: An Approach Using Infinitesimals On-line Edition, by H. Jerome Keisler This is a calculus textbook at the college Freshman level based on Abraham Robinson's infinitesimals, which date from 1960. Robinson's modern infinitesimal approach puts the intuitive ideas of the founders of the calculus on a mathematically sound footing, and is easier for beginners to understand than the more common approach via limits. This work is licensed for non-commercial use under a Creative Commons License The whole book in one large file (24 megabytes) Single chapters in much smaller files: Preface to First and Second Editions Contents and Introduction Chapter 1 Real and Hyperreal Numbers Chapter 2 Differentiation Chapter 3 Continuous Functions Chapter 4 Integration Chapter 5 Limits, Analytic Geometry, and Approximations Chapter 6 Applications of the Integral Chapter 7 Trigonometric Functions Chapter 8 Exponential and Logarithmic Functions Chapter 9 Infinite Series Chapter 10 Vectors Chapter 11 Partial Differentiation Chapter 12 Multiple Integrals Chapter 13 Vector Calculus Chapter 14 Differential Equations Appendix Epilogue

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

174. Graphing Software For Data, Algebra, Calculus And Trigonometry And Solutions Of Enter first and second order nonlinear ordinary differential in analytical form. The program will generate a numerical solution to the equations and graph multiple curves on a single graph. Can also be used for algebra and calculus formulas. Includes illustrations and free demo. http://www.hanleyinnovations.com/sgstandard.html

Software Airfoil Analysis VisualFoil MultiElement Airfoils Wing Analysis ... MultiSurface Sailboat Sailing- Aerodynamics Graphing Tools Science Graphs eBooks Aerodynamics in Plain English. Services Consulting Purchase OnLine Mail Order Contact Dr. P. Hanley Tel:(352) 687-4466 PO Box 831514 Ocala, FL 34483 Dr. Hanley's Science Graphs Written by Patrick Hanley, Ph.D. Version: 2.0 Standard Standard Price Download Size: 2.73 MB Requirements Windows 95 or later Order by Calling: 1-352-687-4466 Buy Online: Buy CD Now Mail Order: Order Form. Technical: E-mail or (352) 687-4466 Dr. Hanley's Science Graphs tm is an easy to use software package for graphing equations and data using your PC. The new version of Science Graphs can be used to generate numerical solutions of first and second order non-linear ordinary differential equations. This feature is Ideal for checking your analytical solutions against Science Graph's Numerical Answers. However, it can be used to solve problems that are too difficult to obtain by hand calculations. The software is useful for algebra trigonometry calculus , physics, differential equations and engineering . Science Graphs can also be used to graph up to 1,000 x-y data points from an ASCII file.

175. Marino Miculan 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/

Marino Miculan Associate professor at the University of Udine Address: Room SN3, Dipartimento di Matematica e Informatica - via delle Scienze, 206 - 33100 Udine - Italy. Phone: (+39)043255.8486, Fax: (+39)043255.8499, AIM: mclmrn Email: miculan at dimi, uniud, it (My PGP public key RESEARCH Mainly: formal methods, type theory, (categorical) logics and semantics of programs and processes but also: distributed operating systems. Publications Member of the Formal Methods and Logics of Computation group. Current projects I am involved in: DART (IST-2001-33477), TYPES (IST-CA-510996). Past projects: "Levi" TOSCA COMETA TYPES (ESPRIT BRA 6453), TYPES (ESPRIT WG 21900), TYPES (IST WG 29001) CONFERENCES, WORKSHOPS 2005: ACM SIGPLAN (PC); AICA 2005 (PC). 2003: ACM SIGPLAN (PC,OC); COMETA 2003 final workshop (OC). 2002: COMETA kickoff meeting (OC), and GioCoNOpLe (OC). TOSCA'01 Final workshop (OC) PROCEEDINGS, SPECIAL ISSUES ENTCS ? - Proceedings of COMETA'03 (Guest Editor). 2003: TCS 298(3) Special Issue on FOSSACS'01 (Guest Editor). ENTCS 62 - Proceedings of TOSCA'01 (Guest Editor).

176. Calculus Graphics -- Douglas N. Arnold Graphical demonstrations developed by Douglas N. Arnold for the first year calculus student. http://www.ima.umn.edu/~arnold/graphics.html

(animated GIF version) GRAPHICS FOR THE CALCULUS CLASSROOM Douglas N. Arnold These are excerpts from a collection of graphical demonstrations I developed for first year calculus. Those interested in higher math may also want to visit my page of graphics for complex analysis . This page is on the list of the most frequently linked math pages according to MathSearch. Viewing instructions. The animations on this page use the animated GIF format. There is also a Java version of this page . The Java animator allows you to start and stop the animation, advance through the frames manually, and control the speed. Also the animation is a bit smoother, and the frames shuttle (first to last and then backward to first, etc.), which is a bit nicer. Unfortunately, the Java versions of the animation usually take much more time to load, and the Java animator has been know to crash browsers, especially on machines without much memory. An older version of this page using the MPEG animation format is available, but no longer actively maintained, and so not recommended. Differentials and differences This animation expands upon the classic calculus diagram above. The diagram illustrates the local accuracy of the tangent line approximation to a smooth curve, orotherwise statedthe closeness of the differential of a function to the difference of function values due to a small increment of the independent variable. (In the diagram the increment of the independent variable is shown in green, the differentiali.e., the product of the derivative and the incrementin red, and the difference of function values as the red segment plus the yellow segment. The point is that if the green segment is small, the yellow segment is

177. Math Notes Quick reference for basic algebra, trigonometry, geometry, calculus, and physics formulas. Includes online calculators. http://www.geocities.com/tvtronix/mathnotes/

Please get a browser that supports frames.

178. MathServ Calculus ToolKit Online calculators for several calculus functions. http://math.vanderbilt.edu/~pscrooke/toolkit.shtml

The MathServ Calculus Toolkit A short introduction to the MathServ system can be found here Several tools are available to perform specialized calculations e.g. find the equation of the tangent line to the graph of a function at a particular point. Listed below are catagories for the various tools. Algebra Functions Graphing Applications of the Derivative ... Integrals The page was last revised on August 17, 2000.

179. Department Website Shlomo Sternberg Advanced calculus by Shlomo Sternberg covers analysis on linear spaces and manifolds extending through introductory differential geometry. http://www.math.harvard.edu/people/SternbergShlomo.html

Search Math department: All people Senior faculty Junior faculty Visitors ... Staff Shlomo Sternberg Harvard University Department of Mathematics One Oxford Street Cambridge, MA 02138, USA Office: 510 Telephone: (617) 4951727 E-mail: @math.harvard.edu Online documents Theory of Functions of a real variable (2 Meg PDF) Advanced Calculus (58 Meg PDF) Dynamical systems (1 Meg PDF) Lie Algebras (900 K PDF) ... Semiriemannian Geometry (1 Meg PDF) These books are licensed under a Creative Commons License This is an automatically generated page by the Department of Mathematics, Faculty of Art and Sciences, Harvard University If you should have built your own webpage, to which the directory should link to, send an email with details to webmaster at math.

180. J. R. Hindley University of Wales, Swansea Lambda-calculus, combinatory logic and type-theory. http://www-maths.swan.ac.uk:80/staff/jrh/

J. R. Hindley, Reader M.Sc. Belfast 1961, Ph.D. Newcastle upon Tyne 1964, D.Sc. Belfast 1991. Email: J.R.Hindley@Swansea.ac.uk Telephone: +44 (0) 1792 205678 ext 4624 Fax: +44 (0) 1792 295843 Research interests Mathematical logic; particularly lambda-calculus, combinatory logic and type-theory. BOOKS PUBLISHED Combinatory Logic Vol. II, North-Holland Co., 1972 (with H. B. Curry, J. P. Seldin). Introduction to Combinatory Logic, Cambridge Univ. Press, 1972 (with B. Lercher, J. P. Seldin). To H. B. Curry, Academic Press, 1980 (edited, with J. Seldin). Introduction to Combinators and Lambda-calculus, Cambridge Univ. Press 1986 (with J. P. Seldin). Basic Simple Type Theory, Cambridge Univ. Press 1995. SELECTED PAPERS The principal type-scheme of an object in combinatory logic , Trans. American Math. Soc. Standard and normal reductions, Trans. American Math. Soc. Lambda-calculus models and extensionality, Zeit. Math. Logik (1980), 289-310 (with G. Longo). The completeness theorem for typing lambda terms, Theoretical Computer Sci.

Page 9     161-180 of 185    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | 10  | Next 20