• GAP

  • Referenced in 3189 articles [sw00320]
  • provides a programming language, a library of thousands of functions implementing algebraic algorithms written...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • from Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided ... math, graphics, images, sound, and diagrams. Computer algebra system...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof ... interactive shell and a C-like programming language, SINGULAR’s internal functionality is augmented...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • symbolic-numerical-graphical mathematics software product. Computer algebra system ... Macsyma program. Macsyma offers: symbolic and numeric manipulation and solution capabilities in algebra, calculus ... quality graphics interactive scientific notebooks a user programming environment...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced ... facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization ... solution of a variety of algebraic equations; facilities for the output of expressions ... formats; facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially developed for large-scale web content processing ... translation and optimization from relational algebra operators to MapReduce programs is still an open...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi-algebraic sets using CADs. QEPCAD ... implementation of quantifier elimination by partial cylindrical algebraic decomposition due orginally to Hoon Hong ... others. It is an interactive command-line program written in C/C++, and based...
  • CRACK

  • Referenced in 58 articles [sw07754]
  • program. A method to reduce the length of the equations for large bilinear algebraic systems ... studied. An overview of the computer algebra program CRACK used in this paper is given ... equations is presented. The program CRACK is a computer algebra package written in REDUCE...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations ... further enhanced by the dedicated high-level programming language. For convenience, the system offers ... user interface common to most platforms. Computer algebra system...
  • KANT/KASH

  • Referenced in 157 articles [sw00481]
  • algebra system (CAS) for sophisticated computations in algebraic number fields and global function fields ... Berlin. KANT is a program library for computations in algebraic number fields, algebraic function fields...
  • DISCOVERER

  • Referenced in 56 articles [sw07719]
  • DISCOVERER: a tool for solving semi-algebraic systems; Program Verification by Using DISCOVERER. Recent advances ... program verification indicate that various verification problems can be reduced to semi-algebraic system ... specific problems. To overcome the bottleneck of program verification with a symbolic approach...
  • FeynCalc

  • Referenced in 69 articles [sw07022]
  • present the computer program Feyn Calc for automatic algebraic calculation of Feynman amplitudes. The purpose ... renormalizable gauge theories. We have used the program to calculate tree level diagrams as well ... package is written in the computer algebra languages Macsyma as well as Mathematica allowing...
  • APS-1

  • Referenced in 32 articles [sw01210]
  • Nielsen algorithm in the algebraic programming system...
  • Mace4

  • Referenced in 227 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program that searches for finite models of first ... finite algebras. Mace4 performs better on equational problems than our previous model-searching program Mace2...
  • SOCS

  • Referenced in 147 articles [sw07737]
  • definition. Sparse Nonlinear Programming exploits state-of-the-art sparse linear algebra technology to solve ... efficiently on desktop computers. The Sparse Nonlinear Programming software is available as an integral part...
  • GiNaC

  • Referenced in 80 articles [sw01609]
  • provide extensive algebraic capabilities and a simple programming language but instead accepts a given language ... extends it by a set of algebraic capabilities. Perplexed? Feel free to read this paper...
  • APS

  • Referenced in 29 articles [sw08969]
  • Computations in APS. An algebraic programming system (APS) integrates four main paradigms of computations: procedural...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • library of high-performance linear algebra routines for distributed memory message-passing MIMD computers ... code for the package, testing and timing programs, prebuilt version of the library...
  • SACLIB

  • Referenced in 25 articles [sw00823]
  • SACLIB [4,7] library of computer algebra programs, originally derived from SAC-2 [3], contains ... SACLIB 2.1 routines for computations with real algebraic numbers [9]; the same routines are also ... used extensively in weakly typed computer algebra systems such as SACLIB. We will demonstrate SACLIB ... SACLIB 3.0 beta from C programs, all SACLIB functions are available with C linkage. Such...
  • GRTensorII

  • Referenced in 49 articles [sw00393]
  • alone package, but requires an algebraic engine. The program was originally developed for MapleV.GRTensorII runs...