121. RelMiCS8 8th International Conference on Relational Methods in computer Science; in combination with the COST 274 / TARSKI Workshops and the 3rd International Workshop on Applications of Kleene algebra. Brock University, St. Catharines, Ontario, Canada. 2226 February 2005. http://www.relmics8.org/

Sorry, you don't appear to have frame support. Go here instead -

122. MuPAD Pro 3.0 - The Open Computer Algebra System MuPAD Pro 3.0 The Open computer algebra System for Windows. Understand implicit assumptions often made by other computer algebra systems. http://www.mackichan.com/products/mupad.html

History Customer Service Privacy Policy Product Partners ... Order MuPAD Pro 3.0: The Open Computer Algebra System for Windows MuPAD Pro 3.0 is a full-fledged computer algebra system with a rich set of features including extensive mathematics capabilities for symbolic and numeric computation and a Virtual Camera (VCam) toolkit for visualization, animation, and interactive manipulation of 2D and 3D plots and other mathematical objects. Developed at the University of Paderborn in Germany, MuPAD Pro is intended for an extremely broad range of users. Its domains and categories are similar to object-oriented classes that allow overriding and overloading methods and operators, inheritance, and generic algorithms. The MuPAD language has a Pascal-like syntax and allows imperative, functional, and object-oriented programming. A comfortable notebook interface includes an integrated source-level debugger, a profiler, and hypertext help, along with the graphics visualization toolkit. Version 3.0 adds to the capabilities of earlier versions of

123. Atypical: Integrating Computer Algebra And Reasoning Atypical Integrating computer algebra and reasoning. Integrating computer algebra and Reasoning through the Type System of Aldor. Erik Poll and Simon Thompson. http://www.cs.kent.ac.uk/people/staff/sjt/Atypical/

Atypical: Integrating computer algebra and reasoning Simon Thompson, John Shackell, James Beaumont and Leonid Timochouk This is the home page for the project Integrating Computer Algebra and Reasoning: Incorporating a logic into the Aldor system , funded under EPSRC Grant GR/M37851. The project Project overview Case study in symbolic asymptotics Technical background and overview Understanding the Aldor compiler Adding type annotations to Aldor programs Report on the Aldor compiler Chris Ryder. The Type System of Aldor . Erik Poll and Simon Thompson. Technical Report 11-99. Project publications Adding the Axioms to Axiom: a paper presented at the Calculemus and Types workshop, Eindhoven, July 1998. Integrating Computer Algebra and Reasoning through the Type System of Aldor . Erik Poll and Simon Thompson. From Frontiers of Combining Systems: Frocos 2000, LNCS 1794, 2000. Logic and Dependent Types in the Aldor Computer Algebra System and the programs from the document Asymptotic Expansions with Oscillating Coefficients Bruno Salvy and John Shackell. Complexity bounds for zero-test algorithms John Shackell and Joris van der Hoeven.

124. Computer Algebra And Computer Analysis Session computer algebra and computer Analysis at the 3rd International ISAAC Congress, Berlin, Germany 2025 August 2001. http://www.mathematik.uni-kassel.de/~koepf/ISAAC2001/CA.html

Session Computer Algebra and Computer Analysis at the 3rd International ISAAC Congress , Berlin, Germany 20-25 August 2001. Photo of the session participants Photo of the plenary speaker Michael Singer Conference Photo (1347 kB) We would like to announce the session Computer Algebra and Computer Analysis of the 3rd International ISAAC Congress ( ISAAC = International Society for Analysis, Applications and Computing; this NOT the ISSAC!) which will take place in Berlin from 20-25 August 2001, see http://www.math.fu-berlin.de/~isaac The Second Announcement with further information and a registration form can be obtained from http://www.mathematik.uni-kassel.de/~koepf/ISAAC2001/secannounce.html The meeting offers sessions in a wide variety of topics primarily circling around applied analysis. Session VII.4 is devoted to Computer Algebra and Computer Analysis , and will be organized by Karin Gatermann , Berlin ( gatermann@zib.de ) and Wolfram Koepf , Kassel ( koepf@mathematik.uni-kassel.de Researchers in analysis often are not familiar with computer algebra or find its use unsuitable for their work. In contrast, we believe that computer algebra can be a very stimulating research tool in analysis. Therefore we would like to put a session program together which is an advertisement for our field, and which presents applications of computer algebra to topics relevant for analysis. In connection with our session Michael Singer (Raleigh, NC, USA)

125. Derive 2000 TI-89 computer algebra in Mathematics Education. Fourth International DERIVETI92/89 conference at Liverpool John Moores University. http://www.cms.livjm.ac.uk/derive2k/

This page has been ac Liverpool John Moores University times since 29th September 1999 To contact us: Fax: (+) 44 151 207 4594 Email: derive2k@livjm.ac.uk Homepage Conference Registration Conference Schedule Keynote Speakers ... Accommodation

126. CAS/WWW/Math Workshop, Murphy/Meade/Miller (ICTCM IX, Reno) computer algebra and the WorldWide Web Across the Mathematics Curriculum. Archive. computer algebra Systems table of contents. http://www.math.sc.edu/~murphy/reno96/

Computer Algebra and the World-Wide Web Across the Mathematics Curriculum. Robert Murphy Douglas Meade Matthew Miller Department of Mathematics ... University of South Carolina Table of Contents: Abstract Overview Maple V Worksheets Selected Course Materials at USC ... Other Resources Abstract: Some mathematicians are incorporating new technologies into their classes; many others are interested, but just don't know where or how to take the first step. This minicourse will be a hands-on journey highlighting the use of technology in various settings, including small honors sections of mathematical biology, mid-sized sections of differential equations, and large sections of calculus. Course materials, including a list of WWW sites, will be provided. Overview: The introduction of technology into mathematics instruction at the University of South Carolina has largely been a matter of individual initiative, to some extent supported by the department, and more enthusiastically supported by the higher administration, but not systematically coordinated or assessed. This has had both advantages and disadvantages: on the negative side, progress has not been as fast as some of us would have liked, but on the positive side we have not been locked into large commitments and expensive failures. Thus to see a major impact of technology on instruction we had to introduce it into the freshman and sophomore service courses. Several other factors were also at work. Various faculty both in the Mathematics Department and the other departments that it serves became interested in curricular reform. Maple, once solely a research tool, became much more user friendly and amenable to instructional use, and could be purchased under a university wide site license. The NSF, the Lilly Foundation, and a host of other funding agencies began to support instructional innovation, and publications resulting from this support, including new texts, began to appear.

127. Orbital Library A class library providing objectoriented representations and algorithms for logic, mathematics and artificial intelligence. It comprises theorem proving, computer algebra, search and planning, as well as learning algorithms. http://www.functologic.com/orbital/

Orbital library The Orbital library is a class library providing object-oriented representations and algorithms for logic, mathematics and artificial intelligence. It comprises theorem proving, computer algebra, search and planning, as well as machine learning algorithms. Generally speaking, the conceptual idea behind the Orbital library is to provide extensional services and components for Java, which surround the heart of many scientific applications. Hence the name Orbital library. In order to satisfy the requirements of high reusability, the design of this foundation class library favors flexibility, conceptual simplicity and generalisation. So many sophisticated problems can be solved easily with its adaptable components. See the summary of features , and the review document for more information. However, for a closer look, refer to the online documentation . As a brief overview of the documentation, also refer to the hints recommending very important classes You can get this Java library and its documentation here: download Orbital library and documentation browse the documentation online browse the documentation online (alternative server, with less examples)

128. ATLAST Book Of Computer Exercises ATLAST computer Exercises for Linear algebra. Edited by Steven Leon, Eugene Herman, and Richard Faulkenberry. PrenticeHall, 1997. http://www.umassd.edu/SpecialPrograms/Atlast/atlastbook.html

ATLAST Computer Exercises for Linear Algebra Edited by Steven Leon Eugene Herman , and Richard Faulkenberry Prentice-Hall The ATLAST collection of computer exercises represents the best creative efforts of the more than 350 faculty members who participated in the thirteen ATLAST workshops offered between 1992 and 1995. Workshop participants designed computer exercises and projects suitable for use in undergraduate linear algebra courses. From the entire ATLAST database of materials, the editors have selected a comprehensive set of exercises covering all aspects of the first course in linear algebra. Each chapter is divided into two sections. The first section consists of shorter exercises and the second section consists of longer projects. The computer exercises are all based on MATLAB . A unique feature of MATLAB is that it is the only major mathematical software package that is based almost entirely on matrices. A collection of MATLAB routines (M-files) has been developed to accompany this book. Many of these routines are designed to give visual illustrations of important linear algebra concepts such as coordinate systems, linear transformations, and eigenvalues. Other M-files illustrate visual applications such as using linear transformations for computer animations or using matrix factorizations for digital imaging. Still other M-files can be used to generate special structured matrices. Students are then challenged to discover properties of the special matrices.

129. Macaulay Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra. At its core is a carefully tuned implementation of Grobner basis methods for manipulating systems of polynomial equations. http://www.math.columbia.edu/~bayer/Macaulay.html

130. ATLAST Project The Second Edition of the ATLAST book is now available. The second edition of ATLAST computer Exercises for Linear algebra is now available. http://www.umassd.edu/SpecialPrograms/Atlast/welcome.html

Welcome to the ATLAST Project Forum The Second Edition of the ATLAST book is now available. The second edition of ATLAST Computer Exercises for Linear Algebra is now available. Instructors should contact their Prentice-Hall sales representatives to obtain copies and ordering information. The ATLAST book can be used in conjunction with any Linear Algebra textbook. The new edition contains more exercises and projects plus new and updated M-files. Special Deal - The ATLAST book is being offered as a bundle with the Linear Algebra with Applications, 6th ed. , by Steven J. Leon. The two book bundle is offered at the same price as the Leon textbook alone, so the ATLAST book is essentially free! The ISBN for the two book bundle is Download the M-files for the second edition. is a trademark for the MATLAB software distributed by the Mathworks of Natick, MA. The ATLAST M-files are add-on MATLAB programs. The M-files that accompany the second edition of the ATLAST book are fully compatible with version 6.5 of MATLAB. About a dozen new M-files were developed for the second edition. Click on the link below to download a zip file containing the complete collection of M-files for the second edition. Download M-files for second edition.

131. 1995 IMACS Conference On Applications Of Computer Algebra First IMACS Conference on Applications of computer algebra. University of New Mexico, Albuquerque, New Mexico, USA; 1619 May 1995. http://math.unm.edu/ACA/1995.html

1995 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra May 16-19, 1995 University of New Mexico Albuquerque, New Mexico, USA Contents: Electronic proceedings A list of the attendees A description of the meeting. Conference details: The conference program The schedule for the meeting. Maps of New Mexico (AAA) Albuquerque showing the meeting and hotel locations (31K) the University of New Mexico campus the meeting area on the UNM campus Albuquerque area attractions Pictures of the University of New Mexico campus. Join the list of interested parties Conference proceedings and publishing papers. Future meetings at RISC and MHPCC. Further information about IMACS is available, as well as the IMACS calendar of events . There is also information on joining IMACS and the ACA Technical Group You can also find out about the Department of Mathematics and Statistics at the University of New Mexico as well as about other places in New Mexico For more information on symbolic computing or computer algebra, consult the

132. Education.ti.com - Home Compact, easy to use, reliable computer algebra software. It intelligently applies the rules of algebra, trigonometry, calculus and matrix algebra to solve a wide range of mathematical problems. This nonnumeric approach goes far beyond the capabilities of dedicated statistics packages and equation solvers that use only approximate numerical techniques. http://www.ti.com/calc/docs/derive.htm

Advanced Welcome, please sign in Our commitment to education TI is dedicated to providing a total solution for educators and students. Introducing... the TI-84 Plus family of graphing handhelds! TI-84 Plus TI-84 Plus Silver Edition Find your TI solution. Tell us your course and we'll point you in the right direction. Select your course Algebra Biology Calculus Chemistry Earth Science Engineering Finance General Use Geometry Middle Grades Math Middle Grades Science Physics Real Estate Statistics products Handheld technology, software and accessories for every class. Learn more > activities Online subscriptions, videos, activity books and much more. Learn more > training On-site and online training, conferences and professional development for teachers. Learn more > resources for you Regional information, success stories, useful links and more to support your classroom needs. Learn more > get connected! Join Discussion Groups Sign up for eNewsletters ... career opportunities Know what you're looking for? Get started Activity Books Computer Software Guidebooks/Manuals Success Stories TI Connect Tutorials Where to Buy Workshop Loan Trademarks Link Policy

133. ECCAD 2004 .::. East Coast Computer Algebra Day ECCAD, East Coast computer algebra Day, is an annual oneday conference that provides opportunities to learn and share new developments and to present research http://www.cargo.wlu.ca/eccad2004/

May 8th, 2004 @ Wilfrid Laurier University, Waterloo, Ontario, Canada ECCAD , East Coast Computer Algebra Day, is an annual one-day conference that provides opportunities to learn and share new developments and to present research results in the area of Symbolic Computation. ECCAD 2004 , will be held on Saturday, May 8 th and is hosted by the Computer Algebra Research Group Department of Physics and Computer Science Wilfrid Laurier University Waterloo , Ontario, Canada. Previous ECCAD conference homepages can be consulted at: http://www.cis.udel.edu/~saunders/eccad/ Tuesday, June 1, 2004: e-ECCAD'2004 An Electronic Conference in Computer Algebra Monday, May 3, 2004: Directions to the ECCAD'2004 conference building: ECCAD'2004 will be held in the Laurier Faculty of Science Building, Room N1001, Ground Floor. The Laurier Faculty of Science Building is located on King Street North, close to the King Street North and University Avenue West intersection in Waterloo. Taxi drivers (and everybody else in Waterloo) refer commonly to this intersection as "King and University". The mailing address of the Laurier Faculty of Science Building is "75 University Avenue West" but the two entrances to the building (which are closer to room N1001) are actually on King Street, directly across the street from Lodge Street.

134. Mrs. King's Mater Dei Page Teacher at Mater Dei H.S., Santa Ana, CA. Student and parent resources. AP Calculus, Intermediate algebra, AP computer Science. Homework links. Study tips. http://www.thinkspot.net/materdei/

Mrs. King was a teacher at Mater Dei High School She taught at MDHS from Sept. 1983 until June 2001. She was also an alumna of MDHS class of 1979. I have not had much time to update this portion of my website, but will be doing so over the next several months. I will be leaving up the pages that some people use as reference material, and trimming away some of the obsolete material that is no longer relevant, since I am no longer teaching at that school. During the 2000-2001 school year I taught: A.P. Calculus Intermediate Algebra A.P. Computer Science Discussion Board: Get help with math. Ask questions. Sites to Check Out: Math for Morons Like Us: Tutorials, quizzes and discussion boards for math from PreAlgebra up through Calculus Print a sheet of graph paper. (Opens a new browser window. Then print it.)

135. A Bibliography Of Computer Algebra A Bibliography of computer algebra. This bibliography is a part of the computer Science Bibliography Collection. A Bibliography of computer algebra. http://liinwww.ira.uka.de/bibliography/Math/Comp.Alg.1.html

The Collection of Computer Science Bibliographies Up: Bibliographies on Mathematics Collection Home A Bibliography of Computer Algebra About Browse Statistics Number of references: Last update: December 14, 1992 Number of online publications: Supported: no Most recent reference: Info: Version 1.3 Search the Bibliography Query: Options case insensitive Case Sensitive partial word(s) exact online papers only Results Citation BibTeX Count Only Maximum of matches Help on: [ Syntax Options Improving your query Query examples Boolean operators: and and or . Use to group boolean subexpressions. Example: (specification or verification) and asynchronous Information on the Bibliography Author: (email mangled to prevent spamming) CRESS, York University, North York, Ontario, M3J 1P3, Canada Author Comments: Please send comments, corrections, and especially additions to Mike Clarkson. This file is organized alphabetically by the first author's name. The exception is PROCEEDINGS which are at the send of the file which are ordered by the conference acronym. The key is the first author's last name followed by the year of publication, ie. Foo1987. If there is more than one such key, the first reference key is Foo1987a, etc. In some cases where the year is not known, the year part of the key may be left out, or set to 1999. Browsing the bibliography Original source: ftp://louie.udel.edu

136. GiNaC Is Not A CAS An open framework for symbolic computation within the C++ programming language. The name GiNaC is an iterated and recursive abbreviation for GiNaC is Not a CAS , where CAS stands for computer algebra System. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities. It is published under the GNU Public License (GPL). http://www.ginac.de/

Anti Software Patents Demonstration Stop the nonsense, Stop the fraud! For the last few years the European Patent Office (EPO) has, contrary to the letter and spirit of the existing law, granted more than 30000 patents on computer-implemented rules of organisation and calculation (programs for computers). Now Europe's patent movement is pressing to consolidate this practise by writing a new law. Some of these patents may be impossible to work around, because they are broad or because they are part of communication standards. Evidence from economic studies Advances in software are advances in abstraction. While traditional patents were for concrete and physical inventions , software patents cover ideas means of trapping data in an emulated environment When software is patentable, anything is patentable! For more information about software patents in Europe, visit this website: swpat.ffii.org G i N a C is an iterated and recursive acronym for G iNaC i s N ot a C AS, where CAS stands for C omputer A lgebra S ystem. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces, etc.) under one roof. It is distributed under the terms and conditions of the GNU general public license ( GPL It has been specifically developed to become a replacement engine for xloops which is up to now powered by the Maple CAS. However, it is not restricted to high energy physics applications. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities.

137. 1997 IMACS Conference On Applications Of Computer Algebra 3rd IMACS Conference on Applications of computer algebra. Aston Wailea Resort, Wailea, Maui, Hawaii, USA; 2426 July 1997. http://math.unm.edu/ACA/1997.html

1997 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra Aston Wailea Resort Wailea, Maui, Hawaii, USA July 24-26, 1997 General Chair Michael Wester Program Chairs Jacques Calmet Vladimir Gerdt Local Arrangements Stanly Steinberg Nicolas Robidoux Partially supported by Albuquerque Resource Center IBM Research Maui High Performance Computing Center National Security Agency NOTE: PASCO'97 (Second International Symposium on Parallel Symbolic Computation) and ISSAC'97 (International Symposium on Symbolic and Algebraic Computation) will be held just previous to this meeting (July 20-22 and July 21-23, respectively) also at the Aston Wailea Resort. Contents: Electronic proceedings Registered attendees summary A description of the meeting Final program [ DVI PostScript Maui Activities on Maui, climate and a map of the island About the Aston Wailea Resort and plans and pictures of the hotel Making reservations at the Aston Wailea Getting to Maui and the Aston Wailea Conference proceedings and publishing papers Join the list of interested parties!

138. Computer Algebra computer algebra, Symbolic Computing, and Mathematica. If you have to deal with vector or tensor differential equations, you will http://w3.pppl.gov/~hongqin/computerAlgebra.htm

Hong Qin Hi, as you can see, I am yet another victim of computer and internet. Staff Research Physicist Princeton Plasma Physics Laboratory, Princeton University Computer Algebra, Symbolic Computing, and Mathematica If you have to deal with vector or tensor differential equations, you will find this computer algebra package useful, General Vector Analysis. Symbolic Vector Analysis (PostScript and PDF) A demo (PostScript) Symbolic Vector Analysis in Plasma Physics (Mathematica notebook) To get the package, send me an email at hongqin@pppl.gov. I will email the latest version it to you. I did not put it here, because I am still working on it.

139. CANdiensten - Your Partner In Mathematics And Statistics Commercial offshoot of CAN (computer algebra Nederland) specialising in software, courses and consultancy in mathematics and statistics. http://www.candiensten.nl/english/

140. Computer Algebra Systems computer algebra systems. ili Sustavi racunalne algebre. Multiplevalued complex functions and computer algebra (by Helmer Aslaksen). http://www.math.hr/~nenad/cas/cas.html

Computer algebra systems ili Sustavi racunalne algebre CAS: Maple i preostala dva velika `M' A book on Maple Wester's thesis Some CAS reviews A Review of CAS Mathematical Capabilities (by Michael Wester) Multiple-valued complex functions and computer algebra (by Helmer Aslaksen) Review of Symbolic Software for Lie Symmetries (by W. Hereman) Does Axiom Solve Systems of ODE's Like Mathematica? (Nicolas Robidoux) Wester's test suite in MuPAD 1.2.2 (by Paul Zimmermann) Some CAS links: Macsyma Maple Mathematica Matlab

Page 7     121-140 of 173    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20