Computer Algebra Links

• SymbolicNet (Symbolic Mathematical Computation Information Center)
• Combinatorial Software and Databases (Séminaire Lotharingien de Combinatoire)
• Mathematica (Wolfram Research).
  • Library Archive
  • MathGroup (discussion group)
  • The Mathematica GuideBooks, a four-volume set by Michael Trott at Springer:
  • Introductory Mathematica course (in Dutch) by André Heck.
• Maple (Waterloo Maple)
• Reduce (an interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers)
• Matlab (integrates mathematical computing, visualization, and a powerful language to provide a flexible environment for technical computing)
• Octave (GNU Octave is a high-level language, primarily intended for numerical computations. It is mostly compatible with Matlab.)
• Sage (a free open-source mathematics software system)
• Mathemagix (a free computer algebra system under development)
• GAP
• Magma
• Macaulay2
• SINGULAR (for polynomial computations)
• ACE (Algebraic Combinatorics Environment)
• LiE (Lie theory computations)
• Home Page for SF (Symmetric Functions), posets, and coxeter/weyl (John Stembridge's Maple packages)
• MOPS, Multivariate orthogonal polynomials (symbolically)
• Felix (for computation in commutative and non-commutative rings and modules)
• computer algebra and special functions (Tom Koornwinder)
• Schubert, a Maple package for intersection theory and enumerative geometry (Sheldon Katz, Stein Arild Strømme, Jan-Magnus Økland)
• FeynCalc, Tools and Tables for Quantum Field Theory Calculations (in Mathematica).
• Hyperdire, a set of Mathematica based programs for differential reduction of Horn type hypergeometrical functions.
• AXIOM
• NCAlgebra (non-commutative algebra package in Mathematica)
• CLIFFORD (a Maple package for Clifford algebra computations)
• FORM (program for large scale symbolic manipulation) by Jos Vermaseren.
• RATE - A Mathematica guessing machine (by Christian Krattenthaler: to guess a closed form expression for a sequence of numbers or rational functions
• Algolib: combinatorics package for Maple by Bruno Salvy and coworkers (INRIA, France)
• Haskell (a purely functional programming language)
• GrInvIn, an interactive software application for studying graphs and their invariants
• pages on fast algorithms by Ekatherina Karatsuba:
  • Fast Algorithms and the FEE Method
  • The Karatsuba method "Divide and Conquer"
  • Answers to frequently asked questions
• Documentation on the Gröbner Package for Gap 4 by A.M. Cohen and D.A.H. Gijsbers (TU Eindhoven)
• Perfectly Scientific, Inc. (PSI), an algorithm company.
  They offer PrimeKit: Mathematica implementations for the algorithms in the book R. Crandall and C. Pomerance, Prime numbers.
• Schoonschip was instrumental in the research by Martinis Veltman leading to his Nobel Prize in Physics 1999.
  • Stephen Wolfram (2021), Tini Veltman (1931–2021): From Assembly Language to a Nobel Prize, in: Stephen Wolfram Writings.
  • Manual of Schoonschip by Martinua J.G. Veltman and David M. Williams, January, 1991.
  • Poem by Michael Wester in which Schoonschip occurs.