21. Introduction To Computer Algebra Systems? - Stack Overflow Does anybody know of any resources (books, classes, lecture notes, or anything) about the general theory of computer algebra systems (e.g. mathematica, sympy)? http://stackoverflow.com/questions/348847/introduction-to-computer-algebra-syste

22. REDUCE Computer Algebra System Bibliography, documentation, available packages, online demonstrations and ordering information for versions from 3.8 onwards. http://www.reduce-algebra.com/

REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It has been produced by a collaborative effort involving many contributors . Its capabilities include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution of a variety of algebraic equations; facilities for the output of expressions in a variety of formats; facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety of special functions; Dirac matrix calculations of interest to high energy physicists. It is often used as an algebraic calculator for problems that are possible to do by hand. However, REDUCE is designed to support calculations that are not feasible by hand. Many such calculations take a significant time to set up and can run for minutes, hours or even days on the most powerful computers.

23. Computer Algebra Nederland (CAN) Coordinates the use of computer algebra in education and research. Research reports, newsletters and historical material. http://www.can.nl/

home home

24. Computer Algebra, Theorem Proving, And Types Computer Algebra, Theorem Proving, and Types Todd Wilson October 4, 1994 Abstract. Many computations a mathematician performs can be described in algebraic terms, that is, as dealing http://www.cs.cornell.edu/NuPrl/PRLSeminar/PRLSeminar94_95/Wilson/Oct4.html

PRL Seminars Computer Algebra, Theorem Proving, and Types Todd Wilson October 4, 1994 Abstract Many computations a mathematician performs can be described in "algebraic" terms, that is, as dealing with various symbolic entities that are combined in restricted ways and are subject to laws (e.g., equations) specifying which combinations are equivalent. The term "computer algebra", as it appears in my title, has this general sense (as opposed to the more restrictive sense of "computational commutative algebra"), and my talk will discuss this subject and its relation to automatic theorem proving and type theory. In more detail, the talk will consist of the following: A survey of examples of computer algebra drawn from several areas of mathematics, including commutative algebra and algebraic geometry, invariant theory, (algebraic) number theory, group theory, Lie algebra, combinatorics, algebraic topology, and analysis (scientific computation). A discussion of the roles automatic theorem proving might have in these fields. A discussion of types, including

25. Komputeralgebra Tanszék Department of Computer Algebra. Members, research projects and computer algebra resources. Site in Hungarian and English. http://compalg.inf.elte.hu/

Üdvözöljük a Komputeralgebra Tanszék és a Magyar Tudományos Akadémia Számelméleti Kutatócsoportjának honlapján! WebDream Eötvös Loránd Tudományegyetem A tanszék munkatársai Kutatási területek Projektek Annales ... A tanszéken oktatott tárgyak

26. Fermat, Computer Algebra System Computer algebra system that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations. http://home.bway.net/lewis/

Above graphic created with the float version of Fermat. Fermat is a computer algebra system for Macintosh, Windows, Linux, and Unix by me, Robert H. Lewis of Fordham University, that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, matrices over polynomial rings, graphics, and other numerical calculations. It is extremely fast and extremely economical of space. The main version that I care most about is oriented toward polynomial and matrix algebra over the rationals Q and finite fields. On the Mac side, there is a version for OS X and versions for OS 9. There is also a "float" version for graphics. All versions are available here. Fermat is a state-of-the-art research tool for real problems. See for example: Compare Your Computer Algebra System. Take the Fermat Tests! There are now five tests. One test involves evaluation of rational functions, the second involves Smith Normal Form, the third resultants, the fourth rational function arithmetic, the fifth a multivariate determinant. Fermat is freeware. Those who have grant money are requested to contribute $60 per installed machine.

27. Wolfram Mathematica: Computer Algebra Systems: Comparative Analyses Comparison of Mathematica and computer algebra systems. Mathematica's depth and quality of coverage brings computer algebra into industrial applications, and brings a new http://www.wolfram.com/products/mathematica/analysis/content/ComputerAlgebraSyst

PRODUCTS Mathematica Mathematica Home Edition Mathematica for Students ... Mathematica Computer Algebra Systems Maple Derive Reduce MuPAD ... Maxima, Computer algebra has been a central component of Mathematica 's overall vision since its inception, and indeed Mathematica While a variety of systems have been developed to provide basic computer algebra functionality, Mathematica is unique not only in delivering far greater depth and quality of coverage, but also in tightly integrating computer algebra into a unified overall framework. This integration is what has allowed Mathematica to bring computer algebra into industrial applications. And in education, it makes computer algebra an increasingly compelling educational tool, by linking it not only to the best in static visualization, but also now to a new generation of dynamic exploratory visualization and instant interactive interface creation technology. In addition, the Wolfram Demonstrations Project provides thousands of prebuilt resources for applying computer algebra in education. In recent years

28. Conferences On Computer Algebra And Related Topics A calendar maintained at the CECM. http://www.cecm.sfu.ca/CAG/conferences.html

Conferences on Computer Algebra and Related Topics See also the list of Conferences and Workshops at SymbolicNet. East Coast Computer Algebra Day ECCAD '05, Ashland Univeristy, Ashland, Ohio, March 12, 2005. ECCAD '04, Wilfred Laurier Univ, Waterloo, Ontario, May 8, 2004. ECCAD '03, Clemson University, Clemson, South Carolina, April 5, 2003. ECCAD '02, May 18, 2002, The City University of New York, Long Island City, New York) ... The Fifth East Coast Computer Algebra Day (1998, Annapolis, MD) Asian Symposium on Computer Mathematics ASCM 2003 (Beijing, China, October 23-26, 2003) ASCM 2001 (Matsuyama, Japan) Symbolic and Numerical Scientific Computation RNC6 '04 (Schloss Dagstuhl, Germany, November 15-17, 2004) SNSC '01 (RISC-Linz, Austria, September 12-14, 2001) International Symposium on Symbolic and Algebraic Computation ISSAC '06, Genova, Italy, July 9-12, 2006 ISSAC 2005, Beijing, China, July 24-27, 2005 ISSAC 2004, Santander, Spain, July 4-7, 2004 ISSAC 2003, Philadelphia, August 3-6, 2003 ... ISSAC '98 (Rostock, Germany, August 13-15, 1998) ISSAC '97 (Maui, Hawaii, August 1997) ISSAC '96 (Zurich, Switzerland, July 1996)

29. CAIN Home Page CAIN Europe is a server providing all kinds of information about Symbolic and Algebraic Computation. It is set up by eight teams in the framework of the European SAC Network http://www.computeralgebra.nl/cain.html

Computer Algebra Information Network CAIN Europe is a server providing all kinds of information about Symbolic and Algebraic Computation. It is set up by eight teams in the framework of the European SAC Network and maintained by CAN / Riaca (Computer Algebra Nederland) . The News European Projects in Symbolic and Algebraic Computation Announcements Newcomers in Computer Algebra ... CAIN Europe Add a hyperlink to your URL or create a new document via a Repository. This page is also available within the Frame environment and for Xmosaic browsers not supporting tables webmaster@can.nl Last Update: May 14, 1998.

30. Axiom Computer Algebra System - Summary [Savannah] Savannah Free Software project for revival of Axiom as open source. http://savannah.nongnu.org/projects/axiom/

Login Status: Not Logged In Login New User This Page Clean Reload Printer Version Search in Projects People Cookbook Support Bugs Tasks Patches Hosted Projects Register New Project Full List Contributors Wanted Statistics Site Help User Docs: Cookbook User Docs: In Depth Guide Get Support Contact Us ... User Docs: FAQ GNU Project Help GNU All GNU Packages Dev Resources License List ... GNU Mirrors Free Software Foundation Coming Events GNU GPL v3 Free Software Directory Cryptographic software legal notice Related Forges GNU Savannah Gna! Axiom Computer Algebra System - Summary Group Main Main View Members Search ... Manage Show feedback again Membership Info Project Admins: Tim Daly David Mentré Camm Maguire Juergen Weiss ... Dylan Thurston active members View Members Group identification Id: System Name: axiom Name: Axiom Computer Algebra System Group Type: Search in this Group in Cookbook Support Bugs Tasks Patches This project is not part of the GNU Project. Axiom is a general purpose Computer Algebra system. It is useful for doing mathematics by computer and for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software.

31. Computer Algebra A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic http://english.turkcebilgi.com/Computer algebra

EnglishInfo Search Türkçe Home Information Translation ... Computer algebra Information about Computer algebra Computer algebra Information about Computer algebra Double click any English word, to find Turkish meaning A computer algebra system CAS ) is a software program that facilitates symbolic mathematics . The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Types of expressions The expressions manipulated by the CAS typically include polynomials in multiple variables; standard functions of expressions ( sine exponential , etc.); various special functions ( erf Bessel functions , etc.); arbitrary functions of expressions; optimization; derivatives, integrals, simplifications, sums, and products of expressions; truncated series with expressions as coefficients, matrices of expressions, and so on. (This is a recursive definition.) Symbolic manipulations The symbolic manipulations supported typically include simplification to the smallest possible expression or some standard form, including automatic simplification with assumptions and simplification with constraints substitution of symbolic

32. Computational Algebra - Mathematics And Statistics - University Of Sydney Producers of MAGMA. Based at the University of Sydney, Australia. http://www.maths.usyd.edu.au/res/CompAlg.html

33. Mathematics Archives - Topics In Mathematics - Computer Algebra KEYWORDS Conference Proceedings, Distance learning, Multimedia, Numerical integration and differentiation, Computer algebra, Theorem proving, http://archives.math.utk.edu/topics/computerAlgebra.html

Topics in Mathematics Computer Algebra / Cryptology Genetic Algorithms Asian Technology Conference in Mathematics ADD. KEYWORDS: Conference Proceedings, Distance learning, Multimedia, Numerical integration and differentiation, Computer algebra, Theorem proving, Applications of Computer Algebra Systems (CAS), Graphing calculators Automatic Differentiation Bibliography Bibliography of the CATHODE (Computer Algebra Tools for Handling Ordinary Differential Equations) project A Bibliography of Computer Algebra Bibliography about the Maple Symbolic Algebra System ... Cryptologia ADD. KEYWORDS: Cryptology, Journal DOCUMENTA MATHEMATICA - Extra Volume ICM 1998 - Section: 14. Mathematical Aspects of Computer Science ADD. KEYWORDS: Articles SOURCE: DOCUMENTA MATHEMATICA, Proceedings of the International Congress of Mathematicians TECHNOLOGY: Postscript and DVI readers The Enigma Machine ADD. KEYWORDS: Software, History European Cryptography Resources Evolving Algebras ADD. KEYWORDS:

34. DFG Priority Program SPP 1489 The field of computer algebra allows one to compute in and with a multitude of mathematical structures. It is interdisciplinary in nature, with links to quite a number of areas http://www.computeralgebra.net/

35. Computer Algebra I Computer Algebra I (CS 680503) Announcments Lectures Programs Course Resources Assignments Grading Policy Course Announcement The department of Mathematics and Computer http://www.mcs.drexel.edu/~jjohnson/wi00/ca1.html

Computer Algebra I (CS 680-503) Announcments Lectures Programs Course Resources ... Grading Policy Course Announcement This course is of interest to computer science, mathematics, science, and engineering students who are interested in understanding the algorithms underlying computer algebra systems such as Maple. It is also of interest to students interested in computational mathematics, algorithm design and analysis, and complexity theory. This course is open to advanced undergraduates and may be used for either the numeric computing or the algorithms tracks. See syllabus fo more details. Course Description This course serves as an introduction to the foundations of symbolic mathematical computation, drawing from both computer science and mathematics. Topics to be covered typically include: the algebraic definition of numerical, polynomial and rational function domains, notation for computing time analysis, arithmetic with large integers, rational numbers and multivariate polynomials, modular number arithmetic, greatest common divisors of polynomials (rational function simplification), computing with homomorphic images and the Chinese Remainder Theorem, the modular GCD algorithm. Audience Graduate computer science, mathematics, engineering, and science students interested in learning about the algorithms underlying computer algebra systems such as MAPLE. The course is appropriate for students interested in computational mathematics, algorithm design and analysis, and complexity theory.

36. SONAD'2000, ECCAD'2000 Research Centre for Computer Algebra, University of Western Ontario in London, Ontario, Canada; 13 May 2000. http://www.orcca.on.ca/eccad2000/

Southern Ontario Numerical Analysis Day May 12, 2000 East Coast Computer Algebra Day May 13, 2000 University of Western Ontario London, Ontario, Canada SONAD and ECCAD are annual regional workshops that provide opportunities to learn of new developments and to present research results in the areas of numerical analysis and symbolic mathematical computation. The two workshops are hosted by the Ontario Research Centre for Computer Algebra at the University of Western Ontario in London, Ontario, Canada. Activities For SONAD, the planned activities include invited presentations, and short talks on current research topics. Graduate students are especially invited to give such talks. For ECCAD, the planned activities include invited presentations, and two posters sessions offering an opportunity to present timely research in an informal environment. Organizing Committee General Chair (SONAD) Rob Corless Department of Applied Mathematics University of Western Ontario London ON N6A 5B7 CANADA rcorless@julian.uwo.ca

37. SymbolicNet -- Information Center For Symbolic And Algebraic Computation Information center for researchers and professionals in the field of symbolic computation, computer algebra, mathematical computation, software, systems, conferences, jobs http://www.symbolicnet.org/

The area of Symbolic and Algebraic Computation (SAC), also known as Computer Algebra (CA) in some circles, aims to automate mathematical computations of all sorts. The resulting computer systems, experimental and commercial, are powerful tools for scientists, engineers, and educators. SAC research usually combines mathematics with advanced computing techniques. SymbolicNet.org provides a convenient starting point for discovering information about SAC. While being maintained by ICM at Kent State University , SymbolicNet also links to information supplied and updated by individuals, and cooperating sites Use the SymbolicNet main site or a Mirror Site near you. SymbolicNet supported in-part by US NSF grant CCR-9423696 Website developed by webtong.com

38. Maxima, A Computer Algebra System A free mathematics software system licensed under the GPL. It combines the power of many existing opensource packages into a common Python-based interface. Details of features http://maxima.sourceforge.net/

Español Maxima, a Computer Algebra System Documentation FAQ Screen Shots Download ... Mail Lists Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high precision numeric results by using exact fractions, arbitrary precision integers, and variable precision floating point numbers. Maxima can plot functions and data in two and three dimensions. The Maxima source code can be compiled on many systems, including Windows, Linux, and MacOS X. The source code for all systems and precompiled binaries for Windows and Linux are available at the SourceForge file manager Maxima is a descendant of Macsyma, the legendary computer algebra system developed in the late 1960s at the Massachusetts Institute of Technology . It is the only system based on that effort still publicly available and with an active user community, thanks to its open source nature. Macsyma was revolutionary in its day, and many later systems, such as Maple and Mathematica, were inspired by it. The Maxima branch of Macsyma was maintained by William Schelter from 1982 until he passed away in 2001. In 1998 he obtained

39. Computer Algebra And Problem Solving Environments Abstract for Stanly Steinberg's article in Comparative CAS Reviews and Philosophy , suggesting 6 ways in which computer algebra systems could be improved. http://math.unm.edu/~wester/aca96/Steinberg_abstract.html

Computer Algebra and Problem Solving Environments Stanly Steinberg stanly@math.unm.edu in Comparative CAS Reviews and Philosophy , organized by Michael Wester Abstract: Problem Solving Environments provide a promising new approach for solving modeling problems that occur in engineering and science [1]. Such environments will provide easy access to integrated symbolic and numeric computing and this will greatly enhance the tools available to modelers. However, this will place new demands on computer algebra systems. It is important to have a true paper and pencil system. Such systems will not assume that the user wishes to compute something, but that the user wishes to reason about some problem and then, possibly later, either compute something numerically or symbolically. The attitude of "I know the chain rule and will use it if I can" must be replaced by a system that can apply the chain rule in the standard way, or apply it in reverse, and have tools for helping decide which is appropriate. Clearly, heuristic reasoning systems are critical. Computer algebra systems should be able to write both numerical and symbolic programs in their own language. It will then be a relatively simple matter to translate such programs to other languages. In some sense this can be done in all CASs, but the available utilities are not helpful. This will be illustrated by some work the author is doing on a problem solving environment called SciNapse.

40. 2001 Conference On Applications Of Computer Algebra (ACA'2001) 2001 IMACS Conference on Applications of Computer Algebra, Technical Vocational Institute, Albuquerque, New Mexico, USA. 31 May 3 June 2001. http://math.unm.edu/ACA/2001/2001.html

2001 Conference on Applications of Computer Algebra ACA'2001: An Albuquerque odyssey ... May 31-June 3, 2001 Technical Vocational Institute Albuquerque New Mexico , USA ACA'2001 will be held jointly with the NMMATYC (New Mexico Mathematical Association of Two-Year Colleges) 12th Annual Conference , which will be held June 1-3 at also at TVI Organizers: General Chair Bill Pletsch Program Chair Stanly Steinberg Dis Organizer Michael Wester Description of the Meeting Scientific Committee Albuquerque Attractions ... Registered Attendees Complete Program ( Word PDF PDF Electronic Proceedings The ACA meetings are organized as a series of Special Sessions . To propose a special session, please send the names of the organizers, email addresses of the organizers, the title of the special session, a short abstract describing the special session, and a list of proposed speakers to the chair of the Scientific Committee, Stanly Steinberg (see the instructions for Organizing a Special Session ). The Scientific Committee will review the proposal. Selected papers will be considered for publication in the Journal of Symbolic Computation Sponsors/Collaborators: Albuquerque Technical Vocational Institute Cotopaxi IMACS International Association for Mathematics and Computers in Simulation NSA The National Security Agency (USA) Prentice-Hall Further information about IMACS is available as well as information on joining IMACS and the ACA Technical Group.

Page 2     21-40 of 140    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20