Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Math Topics : Applications/Connections : Sciences : Computer Science : Computer Algebra

Library Home || Search || Full Table of Contents || Suggest a Link || Library Help

  Selected Sites   (see also All Sites in this category)

  1. Computer Algebra Information Network (CAIN)
    A server providing information about Symbolic and Algebraic Computation, set up by the European SAC (Symbolic and Algebraic Computation) Network. The site maintains bibliographies, supports electronic newsletters, and announces current conferences, software releases, job opportunities, and books about computer algebra. Also available are archives of sites providing computer algebra educational material for elementary through graduate school students; sites illustrating the application of computer algebra to scientific research; links to commercial computer algebra systems; introductory Maple tutorials and courses. The Virtual Computer Algebra Library offers tutorials, algorithms, implementations in computer algebra systems, applications and literature for topics in computer algebra. more>>

  2. SymbolicNet: Symbolic Mathematical Computation Information Center - ICM; Kent State University
    The area of Symbolic and Algebraic Computation (SAC), also known as Computer Algebra (CA), aims to automate mathematical computations of all sorts. SAC research usually combines mathematics with advanced computing techniques. This site includes: introductory literature; Frequently Asked Questions; live demos; conferences and workshops; positions available; calendar of events; public FTP software; SAC systems; system demonstrations; journals, books, and references; specialized areas; research groups; SAC USENET group; ACM/SIGSAM; web servers for SAC; email directory (researchers); joining SymbolicNet; and suggestions for SymbolicNet. more>>

  All Sites - 45 items found, showing 1 to 45

  1. ACTM '97: Second Asian Technology Conference in Mathematics - S. Chu, Radford University
    Computer Technology in Mathematical Research and Teaching. ATCM97 provided an interdisciplinary forum where researchers and teachers in the fields of mathematics, education, computers, and technology presented results and exchanged ideas and information. ...more>>

  2. Akalu Tefera's Electronic Headquarters - Department of Mathematics and Statistics, Grand Valley State University
    A mathematician whose research interests include computer algebra, automated theorem proving, and combinatorics and their "derivatives" or "equivalence classes." The site contains Maple packages for multiple integration of hyperexponential functions. ...more>>

  3. Algorithms Project - Institut National de Recherche en Informatique et en Automatique (INRIA)
    A small international group of people with interests in design and analysis of algorithms, computer algebra, combinatorial analysis and asymptotics. It aims at general methods in combinatorics and analysis, with which classes of problems can be treated ...more>>

  4. A = B - Marko Petkovsek, Herbert Wilf, Doron Zeilberger
    A=B, by Petkovsek, Wilf, Zeilberger, is a book about identities, especially identities involving binomial sums and hypergeometric identities, and ways to prove them using computer programs. The entire text may be downloaded from this site in PDF format. ...more>>

  5. Books: Professional & Technical: Professional Science: Mathematics - Amazon.com
    Browse bestselling math books from the Professional and Technical Bookstore at Amazon.com, in such categories as Applied; Chaos & Systems; Geometry & Topology; Mathematical Analysis; Mathematical Physics; Number Systems; Pure Mathematics; Transformations; ...more>>

  6. Carl Eberhart
    Class information and/ or Maple worksheets for courses including multi-variable calculus, linear algebra, linear programming, differential equations, numerical methods, and topics for mathematics teachers, as well as Maple and C++ programs for a course ...more>>

  7. CoCoA System - Robbiano et al.; Italy
    A free, multi-platform software system for running computations in commutative algebra. CoCoA's principal area of expertise is operations over commutative rings of polynomials; it can readily compute Gröbner bases, syzygies and minimal free resolutions ...more>>

  8. A compendium of NP optimization problems - Crescenzi & Kann
    A continuously updated catalog of approximability results for NP optimization problems. Because no NP-complete problem can be solved in polynomial time (unless P=NP), many approximability results (both positive and negative) of NP-hard optimization problems ...more>>

  9. Computer Algebra and Problem Solving Environments - Stanly Steinberg
    Abstract for Stanly Steinberg's article in Comparative CAS Reviews and Philosophy, suggesting six ways computer algebra systems could be improved. ...more>>

  10. Continuing Studies and Corporate Education - University of Massachusetts Lowell
    The UMass Dartmouth and UMass Lowell Divisions of Continuing Education offer a selection of standard, full-credit university courses offered over the web. Students and faculty use the World Wide Web, email, chat and other Internet resources to review ...more>>

  11. Distributed Maple - Wolfgang Schreiner; RISC-Linz, Johannes Kepler Universität Linz
    A system for writing parallel programs in the computer algebra system Maple, so that different computers in a network can perform parts of the same computation. The program may be downloaded here in .tar or .zip form. The manual, a README file, and papers ...more>>

  12. Fermat Computer Algebra System - Robert H. Lewis
    Fermat is a computer algebra system that does graphing, and symbolic and numerical calculations. Fast and economical of space, the main version is oriented toward polynomial and matrix algebra over the rationals and finite fields; Smith normal form; polynomial ...more>>

  13. Foundations of Computational Mathematics
    The FoCM's primary aim is to further the understanding of the deep relationships between mathematical analysis, topology, geometry and algebra and the computational process as they are evolving together with the modern computer. The meetings are unified ...more>>

  14. Frédéric Chyzak's Mgfun Project
    Mgfun is a group of Maple packages intended for calculations with multivariate generating functions, in particular for their symbolic summation and integration, and for the proof of special function and combinatorial identities. These packages include ...more>>

  15. Frederic Chyzak
    Frederic Chyzak researches combinatorics and computer algebra, specifically holonomic functions. His thesis and other articles are available as abstracts and as PostScript files. Slides for a series of talks on holonomic functions and computer algebra ...more>>

  16. Free Complex Matrix and Vector classes - Abdon Pijpelink
    Two C++ classes: implementations of a matrix and a vector of complex numbers. Free for everyone. ...more>>

  17. Gb Home Page - Faugère
    Faugère's GB package computes Gröbner basis of polynomials ideals and solves systems of algebraic equations. Best documentation is in French: GB est un systeme de Resolution de systeme d'equations algebriques. ...more>>

  18. GiNaC is not a CAS - Bauer, Frink, Kreckel
    GiNaC is an iterated and recursive abbreviation for "GiNaC is Not a CAS" (Computer Algebra System). It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like ...more>>

  19. Grant Keady
    Grant Keady, a member of the faculty of the University of Western Australia, Dept of Mathematics and Statistics, Western Australia, researches fluid dynamics and related subjects, with forays into computer algebra. Some of his papers are available online ...more>>

  20. HartMath - Java Computer Algebra Applet - Klaus Hartlage
    HartMath is a computer algebra system available free under GNU public license. It features large number arithmetic, symbolic derivatives/integration, linear algebra, plot functions, numeric functions, pattern-matching rules, and pure functions, and runs ...more>>

  21. Helmut Prodinger
    Helmut Prodinger researches analysis of algorithms, combinatorics, tree enumeration, and number theory. Many of his papers on these subjects are available online in PostScript, .dvi, and/ or TeX form. ...more>>

  22. Institute of Discrete Mathematics - Prof. Dr. Harald Niederreiter; Austrian Academy of Sciences
    Current projects and research areas such as: Cryptology; Computer Algebra; Finite Fields and Their Applications; Global Function Fields; Quasi-Monte Carlo Methods; Construction of Low-Discrepancy Sequences; Numerical Integration; Pseudorandom Number Generation; ...more>>

  23. An Introduction to the Algebraic Specification of Abstract Data Types - Jean Baillie; Dept. of Computer Science, Univ. of Hertfordshire, U.K.
    The technique of algebraic specification of abstract data types is introduced informally beginning with the Signature. Homomorphisms are introduced as structure-preserving relationships between algebras of the signature. Equations may be used to quotient ...more>>

  24. John Stembridge
    John Stembridge researches algebra and combinatorics. His papers on these subjects are available online as gzipped PostScript files. The site contains an archive of related research data such as lists of posets on 8 or fewer vertices and Coxeter graph ...more>>

  25. LAPACK - Linear Algebra PACKage
    Written in Fortran77, LAPACK provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems. ...more>>

  26. LAPACK++ (Linear Algebra PACKage in C++) - Roldan Pozo
    A software library for numerical linear algebra that solves systems of linear equations and eigenvalue problems on high performance computer architectures. Computational support is provided for various matrix classes for vectors, non-symmetric matrices, ...more>>

  27. Macaulay - Dave Bayer and Mike Stillman
    Macauley 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. See also Macaulay ...more>>

  28. Mathematicians describe tendril perversion - M.N. Jensen; Science News Online
    A mathematical model of elastic rods can be used to describe vine tendrils and kinky phone cords that coil first in one direction, then in the opposite direction. Mathematicians have shown that such reversals of direction result from the curviness inherent ...more>>

  29. MuPAD: Multi Processing Algebra Data tool - The MuPAD Group at University of Paderborn
    MuPAD is a general purpose computer algebra system for symbolic and numerical computations. Users can view the library code, implement their own routines and data types, and can also dynamically link C/C++ compiled modules to meet their preferences for ...more>>

  30. Ontario Research Centre for Computer Algebra
    ORCCA performs fundamental research and development in mathematical software, focusing on computer algebra. The Centre was founded in 1999 with the support of government and private sector sources. Faculty from the University of Waterloo and the University ...more>>

  31. Papers by Dr. Bert K. Waits - Dr. Bert K. Waits
    In PDF format, essays include "The Role of Hand-Held Computer Symbolic Algebra in Mathematics Education in the Twenty-First Century: A Call for Action!"; "The Role of Graphing Calculators in Mathematics Reform"; "The Evolution of Instructional Use of ...more>>

  32. Philippe Flajolet
    Philippe Flajolet researches the analysis of algorithms, analytic combinatorics, computer algebra, asymptotic analysis, special functions, random structures, and natural languages. An extensive collection of his articles, and the first chapters of ...more>>

  33. Principia Mathematica II - Michael Meyling
    An open source project attempting to present mathematical knowledge in a formal, correct form. It includes a proof verifier which checks a mathematical proof written in a certain formal language and an HTML converter for making mathematical HTML pages. ...more>>

  34. The REDUCE Computer Algebra System - Anthony C. Hearn
    An interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers. Capabilities include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching; automatic ...more>>

  35. The REDUCE Computer Algebra System - Anthony C. Hearn; RAND
    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; substitutions and pattern matching in ...more>>

  36. Scientific Applications of Linux - Herng-Jeng Jou and Kachina Technologies, Inc.
    SAL (Scientific Applications on Linux) is a collection of information and links to software for scientists and engineers. Math categories include computer algebra systems, array-oriented and linear algebra systems, statistics, and number theory. Numerical ...more>>

  37. Scientific Applications on Linux (SAL) - Kachina Technologies, Inc.
    A collection of information and links to software of interest to scientists and engineers. The broad coverage of Linux applications also benefits the whole Linux/Unix community. See, in particular, Mathematics. ...more>>

  38. Software Development - Dept. of Mathematics, University of Arizona
    A page with links to mathematical and graphics packages developed within the University of Arizona Mathematics Department. Research-related and instructional software, with packages related to computer algebra and raster graphics; vector graphics and ...more>>

  39. Symbolic Computation Group (SCG) - Dept. of Computer Science, University of Waterloo, Ontario, Canada
    SCG has as its primary goal the research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolic-numeric computation. The algorithms developed are incorporated into the Maple computer algebra system. ...more>>

  40. Symbolic Solutions Group - Erich Kaltofen
    The Symbolic Solutions Group is a group of researchers in computer algebra and related subjects at North Carolina State University. Their articles are available for download, usually in PostScript format, via FTP. ...more>>

  41. Technical Reports index - University of Cambridge Computer Laboratory
    Technical reports by the University of Cambridge Computer Laboratory, some dating back to 1974, and all those published since January, 2002. Titles include "Decimalisation table attacks for [ATM] PIN cracking"; "Turing Switches - Turing machines for all-optical ...more>>

  42. Templates for Linear Algebra Problems - Bai, Day, Demmel, Dongarra, Gu, Ruhe, and van de Vorst
    The solution of linear systems of equations and eigenvalue problems lies at the heart of most calculations in scientific computing. This paper discusses some recent developments designed to help the user on advanced-architecture computers, focusing on ...more>>

  43. Tewodros Amdeberhan's Electronic Headquarters
    Tewodros Amdeberhan studies combinatorics, number theory, special functions, partial differential equations, computer algebra, algorithmic proof theory, and harmonic analysis. His articles on these topics, as well as some unpublished musings, are available ...more>>

  44. The Theory Group - University of St. Andrews, U.K.
    The Theory Group investigates aspects of theoretical computer science including: specification; automated theorem proving techniques and applications (especially in computer algebra); computational logic, including logic programming and proof theory; ...more>>

  45. ZCA Kaiserslautern - Olaf Bachmann
    The Zentrum für Computeralgebra (Centre for Computer Algebra) at the University of Kaiserslautern is a scientific institution of the departments of Mathematics, Computer Science, and Electrical Engineering at the University of Kaiserslautern in Germany. ...more>>

Page:  1

Search for these keywords:

Click only once for faster results:

all keywords, in any order at least one, that exact phrase
parts of words whole words

Power Search

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994-2014 Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.