Geometry.Net - Pure_And_Applied_Math: Computer Algebra


Home - Pure_And_Applied_Math - Computer Algebra

e99.com Bookstore

Images

Newsgroups

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

Computer Algebra: more books (100)

Elimination Methods in Polynomial Computer Algebra (Mathematics and Its Applications) by V. Bykov, A. Kytmanov, et all 1998-10-31
A Guide to Computer Algebra Systems (Wiley professional computing) by David Harper, Chris Wooff, et all 1991-09
Logic and Algebra of Specification (NATO ASI Series / Computer and Systems Sciences)
At Last Computer Exercise for Linear Algebra by Steven J. Leon, 1996-01
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings (Lecture Notes in Computer Science)
Analysis, Algebra and Computers in Mathematical Research (Lecture Notes in Pure and Applied Mathematics)
Thinking Machines: A Layman's Introduction to Logic, Boolean Algebra, and Computers. by Irving. Adler, 1974-06
Perturbation Methods, Bifurcation Theory and Computer Algebra (Applied Mathematical Sciences) by Richard H. Rand, Dieter Armbruster, 1987-10-05
Computers in Algebra (Lecture Notes in Pure and Applied Mathematics)
Macalgebra: Basic Algebra on the Macintosh (Computers and Math Series) by Marvin Marcus, Rebecca Marcus, 1985-12
Applications of Computer Algebra
Computer Algebra 2006: Latest Advances in Symbolic Algorithms: Proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006
Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, ... Computer Science and General Issues)

lists with details

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

Extractions: 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. Effective Polynomial Computation , Kluwer Academic Publishers, 1993.
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
Directions In Computer Algebra - Lectures For Mathematics Of Gravitation II By K
http://grtensor.org/lake/warsaw/
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/
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/

Extractions: 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)
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

Extractions: 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.
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
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/

Extractions: 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. 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 General Information Ordering Information Demonstration Versions ... About the REDUCE Home Page 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;
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

Extractions: Albuquerque, New Mexico, USA Contents: Maps of 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
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.

Extractions: 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');
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

Extractions: 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.
9th Rhine Workshop On Computer Algebra: Main
RWCA04. 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/

Extractions: the Netherlands The topics of the workshop include all aspects of Computer Algebra, from theory to applications and systems. 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. Workshop Chair
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

Extractions: Dictionaries: General Computing Medical Legal Encyclopedia 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.
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/

Extractions: Anti Software Patents Demonstration 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.
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

Extractions: Dictionaries: General Computing Medical Legal Encyclopedia 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.
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

Extractions: Local Arrangements Stanly Steinberg Nicolas Robidoux 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: Conference proceedings and publishing papers Join the list of interested parties!
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/
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

Extractions: 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 Back to the table of contents of this paper. 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.
Kan/sm1
Rings and computer algebra software, part of OpenXM.
http://www.math.sci.kobe-u.ac.jp/KAN/

Extractions: Kan/sm1 (19912003) is a system for computing in the ring of differential operators D (and difference operators, ...). 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 for kan/sm1 is here 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.
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

Extractions: 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.

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