Geometry.Net - the online learning center
Home  - Pure_And_Applied_Math - Computer Algebra Bookstore
Page 2     21-40 of 140    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20

         Computer Algebra:     more books (100)
  1. Polynomial Algorithms in Computer Algebra (Texts and Monographs in Symbolic Computation) by Franz Winkler, 1996-08-02
  2. Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series) by J.C.M. Baeten, C.A. Middelburg, 2010-11-02
  3. Geometric Algebra Computing: in Engineering and Computer Science
  4. Computer Algebra Recipes: An Advanced Guide to Scientific Modeling by Richard H. Enns, George C. McGuire, 2007-01-12
  5. Boolean Algebra with Computer Applications by Gerald E. Williams, 1970-02-27
  6. Universal Algebra and Applications in Theoretical Computer Science by Klaus Denecke, Shelly L. Wismath, 2002-01-18
  7. Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) by Wan Fokkink, 2010-11-02
  8. Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics) by J. Rafael Sendra, Franz Winkler, et all 2007-11-08
  9. Boolean Algebra for Computer Logic by Harold E. Ennes, 1978-08
  10. Geometric Computing with Clifford Algebras: Theoretical Foundations and Applications in Computer Vision and Robotics
  11. Algebra 1 Computer Test Generator with CD-ROM by Prentice Hall, 2004
  12. Geometric Algebra: An Algebraic System for Computer Games and Animation by John A. Vince, 2009-07-08
  13. Combinatorial Aspects of Commutative Algebra: Exploratory Workshop on Combinatorial Commutative Algebra and Computer Algebra May 29-31, 2008 Mangalia, Romania (Contemporary Mathematics)
  14. SymbolicC++: An Introduction to Computer Algebra using Object-Oriented Programming (Volume 0) by Kiat Shi Tan, Willi-Hans Steeb, et all 2000-03-15

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)?

22. REDUCE Computer Algebra System
Bibliography, documentation, available packages, online demonstrations and ordering information for versions from 3.8 onwards.
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.
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
PRL Seminars
Computer Algebra, Theorem Proving, and Types
Todd Wilson
October 4, 1994
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.
Üdvözöljük a Komputeralgebra Tanszék
és a Magyar Tudományos Akadémia
Számelméleti Kutatócsoportjának honlapján!
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.
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
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.
Conferences on Computer Algebra and Related Topics
See also the list of Conferences and Workshops at SymbolicNet.
  • East Coast Computer Algebra Day
  • Asian Symposium on Computer Mathematics
  • Symbolic and Numerical Scientific Computation
  • International Symposium on Symbolic and Algebraic Computation
  • 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
    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
    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

    Last Update: May 14, 1998.

    30. Axiom Computer Algebra System - Summary [Savannah]
    Savannah Free Software project for revival of Axiom as open source.
    Axiom Computer Algebra System - Summary
    • Main 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 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.

    33. Mathematics Archives - Topics In Mathematics - Computer Algebra
    KEYWORDS Conference Proceedings, Distance learning, Multimedia, Numerical integration and differentiation, Computer algebra, Theorem proving,
    Topics in Mathematics Computer Algebra / Cryptology
    Genetic Algorithms

    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

    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
    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.
    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.
    Southern Ontario Numerical Analysis Day May 12, 2000 East Coast Computer Algebra Day May 13, 2000 University of Western Ontario
    London, Ontario, Canada
    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

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

    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
    Maxima, a Computer Algebra System
    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.
    Computer Algebra and Problem Solving Environments
    Stanly Steinberg
    in Comparative CAS Reviews and Philosophy , organized by Michael Wester
    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.
    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
    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
    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

    free hit counter