101. Computer Algebra computer algebra Richard Zippel. Research Summary. Currently, my activities in computer algebra fall into three different areas. http://www.cs.cornell.edu/Info/Projects/SimLab/projects/computer-algebra.html

Computer Algebra - Richard Zippel Research Summary Currently, my activities in computer algebra fall into three different areas. We are continuing to develop a very flexible computer algebra substrate called Weyl, which extends Common Lisp to have symbolic computing facilities. This substrate has a functorial architecture that has been implemented using object oriented programming techniques. The functorial organization allows one to define algebraic structures over arbitrary algebraic domains. This approach permits algebraic structures like groups, rings and fields to be first class objects that can be manipulated by the user. We have been attempting to link together Weyl with Bob's Constable's theorem proving system, Nuprl. This will allow us state and use theorem about algebraic structures when deciding which algorithms should be used Weyl. In additon, I have been continuing my work on algorithms in computer algebra. Among the problems I have been studying include: algebraic function decomposition (with Dexter Kozen and Susan Landau) and primality testing of polynomials. Publications Effective Polynomial Computation , Kluwer Academic Publishers, 1993.

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

103. Directions In Computer Algebra - Lectures For Mathematics Of Gravitation II By K http://grtensor.org/lake/warsaw/

This page requires a frames-capable browser.

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

105. 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)

106. Computer Algebra Systems Previous Short Biographies Next Conclusions. Home Table of Contents. 5. computer algebra Systems. 5.1 Introduction What is a computer algebra System? http://www.math.wpi.edu/IQP/BVCalcHist/calc5.html

Previous: Short Biographies Next Conclusions Home: Table of Contents 5. Computer Algebra Systems 5.1 Introduction - What is a Computer Algebra System? A Computer Algebra system is a type of software package that is used in manipulation of mathematical formulae. The primary goal of a Computer Algebra system is to automate tedious and sometimes difficult algebraic manipulation tasks. The principal difference between a Computer Algebra system and a traditional calculator is the ability to deal with equations symbolically rather than numerically. The specific uses and capabilities of these systems vary greatly from one system to another, yet the purpose remains the same: manipulation of symbolic equations. Computer Algebra systems often include facilities for graphing equations and provide a programming language for the user to define his/her own procedures. Computer Algebra systems have not only changed how mathematics is taught at many universities, but have provided a flexible tool for mathematicians worldwide. Examples of popular systems include Maple, Mathematica, and MathCAD. Computer Algebra systems can be used to simplify rational functions, factor polynomials, find the solutions to a system of equation, and various other manipulations. In Calculus, they can be used to find the limit of, symbolically integrate, and differentiate arbitrary equations. Attempting to expand the equation using the binomial theorem by hand would be a daunting task, nearly impossible to do without error. However, with the aid of Maple, this equation can be expanded in less than two seconds. Differentiating the result term-by-term can then be performed in milliseconds. The usefulness of such a system is obvious: not only does it act as a time saving device, but problems which simply were not reasonable to perform by hand can be performed in seconds.

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

108. REDUCE Home Page (archival Version) The REDUCE computer algebra System. Current Version REDUCE 3.8. Version 3.8 of the REDUCE computer algebra System was released 15 April 2004. http://www.uni-koeln.de/REDUCE/

The REDUCE Computer Algebra System Current Version: REDUCE 3.8 Version 3.8 of the REDUCE Computer Algebra System was released 15 April 2004. Information on this and future releases of REDUCE is now available from a dedicated website at reduce-algebra.com Information available from the current page (www.uni-koeln.de/REDUCE/) contains archival information on older versions of REDUCE, and is being offered to support those who may still be running older versions of REDUCE. Previous Versions Version 3.7 of REDUCE was released on April 30th, 1999. Please see the announcement by Tony Hearn and the documentation for the new version. The REDUCE Homepage of ZIB also includes much more information on the current version of REDUCE. There is also a Y2K compliance statement for REDUCE 3.7. REDUCE 3.6 Table of Contents Introduction General Information Ordering Information Demonstration Versions ... About the REDUCE Home Page Introduction REDUCE is an interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers. Its capabilities include: expansion and ordering of polynomials and rational functions;

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

110. Springer-Verlag - Computational Science & Engineering computer algebra Handbook Foundations, Applications, Systems Grabmeier, Johannes; Kaltofen, Erich; Weispfenning, Volker (Eds.) 2003, XX, 638 pp. http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-40109-22-1477871-0,00.

Please enable Javascript in your browser to browse this website. Select your subdiscipline Algebra Analysis Applications Mathematical Biology Mathematical Physics Probability Theory Quantitative Finance Home Mathematics Select a discipline Biomedical Sciences Chemistry Computer Science Engineering Environmental Sciences Geosciences Law Life Sciences Materials Mathematics Medicine Statistics preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900120-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900180-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900170-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900190-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900200-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900160-0,00.gif'); All Author/Editor Title ISBN/ISSN Series preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,10885,5-0-17-900050-0,00.gif');

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

112. 9th Rhine Workshop On Computer Algebra: Main RWCA‘04. Ninth Rhine Workshop on computer algebra. The topics of the workshop include all aspects of computer algebra, from theory to applications and systems. http://www.math.kun.nl/rwca04/

Main Programme Travel Local ... Registration Ninth Rhine Workshop on Computer Algebra March 25-26, 2004 University of Nijmegen Nijmegen the Netherlands Topics The topics of the workshop include all aspects of Computer Algebra, from theory to applications and systems. Purposes This will be the ninth edition of a workshop initiated in Strasbourg in 1988 and held every second year since. To avoid competition with well-established conferences in the field, the workshop is kept as informal as possible. Its two main purposes are to offer an opportunity for newcomers in the field to present their work and to be a forum for aimed at (but not restricted to) European researchers. Organization Workshop Chair Wieb Bosma, University of Nijmegen, bosma@math.kun.nl Program Committee Chair Arjeh Cohen, University of Eindhoven, amc@win.tue.nl Important Dates January 10, 2004 Submitted papers must be received January 31, 2004

113. Computer Algebra System - Encyclopedia Article About Computer Algebra System. Fr encyclopedia article about computer algebra system. computer algebra system in Free online English dictionary, thesaurus and encyclopedia. http://encyclopedia.thefreedictionary.com/Computer algebra system

Dictionaries: General Computing Medical Legal Encyclopedia Computer algebra system Word: Word Starts with Ends with Definition A computer algebra system (CAS) is a software program that facilitates symbolic mathematics Symbolic mathematics , or symbolic math , relates to the use of computers to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols. Such a system might be used for symbolic integration or differentiation, substitution of one expression into another, simplification of an expression, change of subject etc. Click the link for more information. . Typically, these systems include arbitrary precision ( bignum A bignum system in a computer or program allows internal representation of arbitrarily large integers or arbitrarily precise rational numbers and implements arithmetic operations on such numbers. Numbers are typically stored as (ratios of) digit lists which can grow using dynamically allocated memory. Bignums were first implemented in MacLISP. The VAX/VMS operating system offered bignum facilities as a collection of string functions. Today bignum libraries are available for practically every modern programming language. The GNU Multi-Precision Library is a free C library that offers bignum features. All computer algebra systems implement bignum facilities.

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

115. Computer Algebra - Encyclopedia Article About Computer Algebra. Free Access, No encyclopedia article about computer algebra. computer algebra in Free online English dictionary, thesaurus and encyclopedia. computer algebra. http://encyclopedia.thefreedictionary.com/Computer algebra

Dictionaries: General Computing Medical Legal Encyclopedia Computer algebra Word: Word Starts with Ends with Definition A computer algebra system (CAS) is a software program that facilitates symbolic mathematics Symbolic mathematics , or symbolic math , relates to the use of computers to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols. Such a system might be used for symbolic integration or differentiation, substitution of one expression into another, simplification of an expression, change of subject etc. Click the link for more information. . Typically, these systems include arbitrary precision ( bignum A bignum system in a computer or program allows internal representation of arbitrarily large integers or arbitrarily precise rational numbers and implements arithmetic operations on such numbers. Numbers are typically stored as (ratios of) digit lists which can grow using dynamically allocated memory. Bignums were first implemented in MacLISP. The VAX/VMS operating system offered bignum facilities as a collection of string functions. Today bignum libraries are available for practically every modern programming language. The GNU Multi-Precision Library is a free C library that offers bignum features. All computer algebra systems implement bignum facilities.

116. 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!

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

118. Computer Algebra Systems In Calculus Reform computer algebra Systems in Calculus Reform. Some reformers have used computer algebra systems (CAS) in their efforts to achieve these goals. http://www.mste.uiuc.edu/users/Murphy/Papers/CalcReformPaper.html

Computer Algebra Systems in Calculus Reform by Lisa Denise Murphy Abstract The Calculus Reform Movement Factors Leading to Reform The Tulane Conference ... References A note about this paper. Back to Lisa's Papers page. Back to Lisa's Academic Activities page. Back to Lisa's personal home page, Over the Rainbow Send Lisa email Abstract Back to the table of contents of this paper. The Calculus Reform Movement In the early 1980s, many computer scientists and some mathematicians began to call for replacing calculus with discrete mathematics as the core undergraduate mathematics course (***Get a few references for this.). Although calculus retained its place, the controversy brought attention to the way the standard freshman calculus course had become bloated with topics, obstructing the student's view of the central concepts. This realization spawned the calculus reform movement, which seeks to pare the syllabus down to the essentials and to find creative ways to help students gain a deeper understanding of the ideas of calculus. Some reformers have used computer algebra systems (CAS) in their efforts to achieve these goals. Back to the table of contents of this paper.

119. Kan/sm1 Rings and computer algebra software, part of OpenXM. http://www.math.sci.kobe-u.ac.jp/KAN/

Kan/sm1 Kan/sm1 (19912003) is a system for computing in the ring of differential operators D (and difference operators, ...). Download The latest version of kan/sm1 is obtainable as a part of the OpenXM package. Access to the OpenXM home page to download the OpenXM package . After downloading, build the system following the instruction included. The system "sm1" will be built under OpenXM/bin. The system has been tested on cygwin (windows), Debian, and FreeBSD. Documents Documents for kan/sm1 is here $Id: index-kan.html,v 1.2 2003/09/22 07:22:10 taka Exp $ Archives Old kan/sm1 (sources and binaries of version 2.990914 are here) : A system for computation in algebraic analysis, 1991-. Version 1, 1991, Version 2, 1994. The last standalone distribution is kan/sm1 Release 2.990914. (source code and Linux binary distribution only.) What's new in the version 2.990914? ox_asir server is now available, which performs multi-variable factorizations, primary ideal decompositions, efficient Grobner basis computation in the ring of polynomials, and so on. ox_asir is based on asir. See below. New package lib/intw.sm1 : Computing 0-th integration by a new algorithm using a generic weight vector. This package requires open asir server to analyze the roots of b-functions.

120. A Guide To Computer Algebra Systems. This is a review by Pam Bishop of CTI Mathematics of Doug Quinney s review of A Guide to computer algebra Systems. A Guide to computer algebra Systems. http://www.bham.ac.uk/ctimath/reviews/cas8.html

A Guide to Computer Algebra Systems Doug Quinney, Department of Mathematics, Keele University, email maa07@keele.ac.uk This book was written by David Harper, Chris Wooff and David Hodgkinson, and published by John Wiley. It attempts to combine in a single book a comparison of the popular computer algebra systems which are currently available. It has developed from a booklet which was produced by the authors as part of the Computer Algebra Support Project which was based at Liverpool University. The Computer Algebra Support Project began in 1987 with the aim of promoting the use of computer algebra systems in the UK academic community, offering free impartial advice and giving lectures on request. The most important point was that the project had no commercial interest in any of the systems and was thus demonstrably impartial. There is little doubt about the potential of Computer Algebra Systems, they abound in both number and capabilities. However, it was to answer question such as "What systems are available?", "What facilities do they offer?" and "What are their relative merits?" that the authors of this book produced "A Guide to Computer Algebra Systems" which evolved as different systems were developed and new systems were introduced. The current text considers the five systems which are currently widely available; REDUCE, MACSYMA, MAPLE, MATHEMATICA and DERIVE, but unfortunately the precise versions of each system which is included in this survey is not given. For example, the graphics capabilities of the current version of say MAPLE V are greatly improved on those of previous versions and now compare favourably with the best systems available.

Page 6     101-120 of 172    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20