Integrasi Komputer    
   
Daftar Isi ☛
(Sebelumnya) List of common microcontrollersList of computer magazines (Berikutnya)

Daftar/Tabel -- computer algebra systems

The following tables provide a comparison of computer algebra systems (CAS).[1][2][3] A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to implement them, and an environment in which to use the language.[4][5] A CAS may include a user interface and graphics capability; and to be effective may require a large library of algorithms, efficient data structures and a fast kernel.[6]

Contents

General

SystemCreatorDevelopment startedFirst public releaseLatest stable releaseCost (USD)LicenseNotes
AxiomTim Daly1971200202012-05-01May 2012Freemodified BSD licenseGeneral purpose CAS. The first one with strong typing for mathematical expressions
CoCoAThe CoCoA Team1987199502007-01-012007 (4.7.3)FreeGPLSpecialized CAS for commutative algebra
DeriveSoft Warehouse1979198802007-11-01November 2007 (6.1)DiscontinuedProprietaryCAS designed for pocket calculators; it was discontinued in 2007
Euler Math ToolboxR. Grothmann1987198802011-01-012011 (12.3)FreeGPLNumerical software linked to Maxima
FermatRobert H. Lewis1986199302010-01-012010 (3.9.9x)$60 if grant money available, otherwise $0ProprietarySpecialized CAS for resultant computation and linear algebra with polynomial entries
FORMJ.A.M. Vermaseren198419894.0FreeGPLCAS designed mainly for particle physics
GAPGAP Group1986198602013-01-012013 (4.6.2)FreeGPLSpecialized CAS for group theory and combinatorics. Subpackage of Sage[7]
KANT/KASHKANT Group ? ?KASH3 (2005/2008)free for non-commercial useown licenseSpecialized CAS for algebraic number theory
LiveMath
(formerly Theorist)		Math Monkeys ?199102007-01-012007 (3.5.9)$149, $45 student (1 year)ProprietaryNumerical software for interactive solving and mathematical graphing
Macaulay2Daniel Grayson and Michael Stillman1992199402010-01-012010 (1.4)FreeGPLSpecialized CAS for algebraic geometry and commutative algebra
MacsymaMIT Project MAC and Symbolics1968197801999-01-011999 (2.4)$500ProprietaryThe oldest general purpose CAS. Was the state of the art during almost 20 years. Still alive as Maxima
MagmaUniversity of Sydney~1990199302011-01-012011 (2.17)$1,150ProprietaryGeneral purpose CAS, originally specialized in group theory. Works with elements of algebraic structures rather than with non typed mathematical expressions
MapleSymbolic Computation Group, University of Waterloo1980198402012-01-012012 (16)$2,275 (Commercial), $2,155 (Government), $1245(Academic), $239 (Personal Edition), $99 (Student), $79 (Student, 12-Month term)[8]ProprietaryOne of the major general purpose CAS
MathcadParametric Technology Corporation1985198502010-01-012010 (15)$1,195[9]ProprietaryNumerical software with some CAS capabilities
MathematicaWolfram Research1986198802012-01-012012 (9.0.0)$2,495 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license) [10] $295 (Personal)[11]ProprietaryOne of the major general purpose CAS
MathomaticGeorge Gesslein II1986198702012-01-012012 (16.0.5)FreeLGPLElementary algebra, calculus, complex number and polynomial manipulations.
MaximaMIT Project MAC and Bill Schelter et al.1967199802012-01-012012 (5.28)FreeGPLGeneral purpose CAS. Continuation of Macsyma. Subpackage of Sage.[7]
MuMATHSoft Warehouse1970s1980MuMATH-83DiscontinuedProprietaryPredecessor of Derive
MuPADSciFace Software1989200802008-01-012008 (5.1)DiscontinuedProprietaryMathWorks has incorporated MuPAD technology into Symbolic Math Toolbox
OpenAxiomGabriel Dos Reis2007200702011-01-012011 (1.4.1)Freemodified BSD licenseGeneral purpose CAS, the first one to have a strong typing for mathematical objects and expressions
PARI/GPHenri Cohen, Karim Belabas, Bill Allombert et al.1985199002012-01-012012 (2.5.1)FreeGPLSpecialized CAS for Number theory. A major reference in this domain. Subpackage of Sage.[7]
ReduceAnthony C. Hearn1960s196802009-01-012009Freemodified BSD licenseHistorically important general purpose CAS. Still alive, as open-sourced and freed in December 2008
SageWilliam A. Stein2005200502012-01-012012 (5.3)FreeGPLMathematics software system combining a number of existing packages, including computer algebra, numerical computation, statistics and image processing
SINGULARUniversity of Kaiserslautern1984199702012-01-012012 (3.1.5)FreeGPLcomputer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.
Symbolic MATLAB ToolboxMathWorks1989200802011-01-012011 (5.7(2011b))$2900 including required MATLABProprietaryProvides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic.
SymbolicC++W.-H. Steeb1997199702009-01-012009 (3.29)FreeGPLC++ -based
SymPyOndřej Čertík2006200702012-01-012012 (0.7.2)Freemodified BSD licensePython-based
TI-Nspire CAS (Computer Software)Texas Instruments200620093.1.0.392 ProprietarySuccessor to Derive. Based on Derive's engine used in TI-89/Voyager 200 and TI-Nspire handheld
Wolfram AlphaWolfram Research 20092012Pro version: $4.99 / month, Pro version for students: $2.99 / month, Regular version free.ProprietaryOnline computer algebra system with step-by step solutions.
XcasBernard Parisse2004200802011-01-012011 (0.9.4)FreeGPLCompatible modes for maple, mupad and TI89 syntax. Symbolic spreadsheets, Giac library for use with other programs. ARM ports for some PDAs with Linux or WinCE[12]
YacasAyal Pinkus et al.1998[13] ?02012-01-012012 (1.3.3)FreeGPL 
CreatorDevelopment startedFirst public releaseLatest stable versionCost (USD)LicenseNotes

These computer algebra systems are sometimes combined with "front end" programs that provide a nice user interface, such as the general-purpose GNU TeXmacs.

Functionality

Below is a summary of significantly developed symbolic functionality in each of the systems.

SystemFormula editorArbitrary precisionCalculusSolversGraph theoryNumber theoryQuantifier eliminationBoolean algebraTensorsProbabilityControl Theory
IntegrationIntegral transformsEquationsInequalitiesDiophantine equationsDifferential equationsRecurrence relations
AxiomNoYesYesYesYes ? ? ? ? ? ? ? ? ? ? ?
MagmaNoYesNoNoYesNoYesNoNoYesYesNoNoNo ? ?
MapleYesYesYesYesYesYesNoYesYesYesYesNoNoYesYesYes
MathcadYesNoYesNoYesNoNoNoNoNoNoNoNoNoNoNo
MathematicaYesYesYesYesYesYesYesYesYesYesYesYesYesYes[14]YesYes
MathomaticNoNoYesYesYesNoNoNoNoNoYesNoNoNoNoNo
Symbolic MATLAB toolboxNoYesYesYesYesNoNoYes ?No ?NoNo ? ? ?
MaximaNoYesYesYesYesYesNoYesYesYesYesYesYesYes ? ?
SageYesYesYesYesYesYesNoYesYesYesYesYesYesYesYesNo
SymPyNoYesYesYesYesYesNoYesYesNoYesNoYesYesYesNo
Wolfram AlphaPro version onlyYesYesYesYesYesYesYesYesYesYesYesYesNo ? ?
YacasNoYesYesNoNoNoNoNoNoNoNoNoNoNo ? ?
XcasYesYesYesNoYesYesNoYesYesNoYesNoNoNo ? ?

Operating system support

The software can run under their respective operating systems natively without emulation. Some systems must be compiled first using an appropriate compiler for the source language and target platform.

SystemWindowsMac OS XLinuxBSDSolarisOther
AxiomYesYesYesNoNo?
CoCoAYesYesYesYesYesTru64 UNIX, HP-UX, IRIX
DeriveYesNoNoNoNo?
EulerYesNoNoNoNo?
FermatCygwinYesYesNoNo?
FORMCygwinYesYesYesYes?
GAPYesYesYesYesYes?
KANT/KASHYesYesYesNoNoNo
Macaulay2CygwinYesYesYesYes?
MagmaYesYesYesYesYes?
MapleYesYesYesNoYesNo
MathcadYesNoNoNoNoNo
MathematicaYesYesYesNoNoNo
MathomaticYesYesYesYesYesAndroid, and all POSIX platforms
MaximaYesYesYesYesYesAll POSIX platforms with Common Lisp
MuMATHNoNoNoNoNo?
MuPADYesYesYesNoNo?
OpenAxiomYesYesYesYesYes?
PARI/GPYesYesYesYesYes?
ReduceYesYesYesYesYes?
SageNoYesYesNoYesVMware image for MS-Windows users
SINGULARYesYesYesYesYes?
SymbolicC++YesYesYesYesYes?
Symbolic MATLAB toolboxYesYesYesYesYes?
SymPyYesYesYesYesYesAny system that supports Python
TI-Nspire (desktop software)YesYesNoNoNo?
XcasYesYesYesYesYes?
YacasYesYesYesYesYes?

Graphing calculators

Some graphing calculators have CAS features.

SystemCreatorDevelopment startedFirst public releaseLatest stable versionCost (USD)Notes
Casio CFX-9970GCASIO Computer Co.?1998   
Casio Algebra FX 2.0CASIO Computer Co.?1999   
Casio ClassPad 330
Casio ClassPad Manager		CASIO Computer Co.?20033.04.5000$140ClassPad Manager is an emulator which runs on a PC.
HP 49 series
HP 50g		Hewlett-Packard?19992.15$110 and upBased on Erable. Intended for problems which occur in engineering applications. Source code openly available.
TI-89Texas Instruments?19962.09No longer in production 
TI-89 TitaniumTexas Instruments?20043.10$150 
TI-92Texas Instruments?1995?No longer in production 
TI-92 PlusTexas Instruments199719982.09No longer in production 
TI-Nspire CASTexas Instruments200620083.2.0$160 
Voyage 200Texas Instruments200120023.10$150 
ZoomMath300IQ Joe? ?1.03$60TI-83 and TI-84 application that adds CAS capabilities. Proprietary


See also

References

  1. ^ "Computer Algebra Software". Special Interest Group on Symbolic and Algebraic Manipulation. Association for Computing Machinery. 11 July 2008. http://www.sigsam.org/software/index. phtml. Retrieved 16 November 2012.
  2. ^ "Systems and Packages". Computer Algebra Information Network. 7 May 1998. http://www.computeralgebra.nl/systems _and_packages/systems_and_packages.ht ml. Retrieved 17 November 2012.
  3. ^ "SAC Systems Listing". SymbolicNet. http://www.symbolicnet.org/systems/Sy stems.html. Retrieved 17 November 2012.
  4. ^ Aladjev, V.Z. (2004). Computer algebra systems : a new software toolbox for Maple. [S.l.]: Fultus Books. p. 9. ISBN 9781596820005. 
  5. ^ Labahn, K.O. Geddes  S.R. Czapor  G. (1999). Algorithms for computer algebra (6. pr. ed.). Boston: Kluwer. pp. xv. ISBN 9780792392590. 
  6. ^ Gerhard, Joachim von Zur Gathen  Jürgen (2003). Modern computer algebra (2. ed.). Cambridge: Cambridge Univ. Press. p. 4. ISBN 9780521826464. 
  7. ^ a b c Sage components
  8. ^ "Maplesoft Web Store". https://webstore.maplesoft.com. Retrieved 2011-10-21.
  9. ^ "Parametric Technology Corporation Web Store". http://store.ptc.com. Retrieved 2008-06-28.
  10. ^ "Wolfram Worldwide Web Store". http://store.wolfram.com. Retrieved 2008-11-20.
  11. ^ Mathematica Home Edition Released Macworld, Feb 2009
  12. ^ "Xcas ARM". http://www-fourier.ujf-grenoble.fr/~p arisse/install_en#xcaswince. Retrieved 2010-10-12.
  13. ^ "Big changes ahead for Yacas". http://yacas.sourceforge.net/homepage .html?recent.html&newdesign.html. Retrieved 2011-04-19.
  14. ^ Symbolic Tensors Mathematica Documentation

External links

Lists of computer algebra systems:

Other:

(Sebelumnya) List of common microcontrollersList of computer magazines (Berikutnya)