Home  - Pure_And_Applied_Math - Computer Algebra
e99.com Bookstore
 Images Newsgroups
 Page 6     101-120 of 172    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20

 Computer Algebra:     more books (100)

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
##### 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).
##### ili Sustavi racunalne algebre
CAS: Maple i preostala dva velika `M'
##### Wester's test suite in MuPAD 1.2.2 (by Paul Zimmermann)
Macsyma
Maple

Mathematica

Matlab

103. Directions In Computer Algebra - Lectures For Mathematics Of Gravitation II By K

http://grtensor.org/lake/warsaw/

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:

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

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/
##### 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.
• ##### 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
##### 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:
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

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
##### 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.
##### 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.
• 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!

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.
• 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
##### 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:

 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
##### by Lisa Denise Murphy
Abstract The Calculus Reform Movement
##### 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, ...).
##### 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