re list of large integer arithmetic packages mrr scss cl msu edu mark riordan writes not very comprehensive list deleted there is a very comprehensive list in sci math symbolic which detailed descriptions of many packages especially you mark should update your list here it is available systems this is the list of currently developed and distributed software for symbolic math applications no informations is supplied on systems no longer being supported like saint formac alpak altran mathlab sin sac camal scratchpad mumath sheep trigman analitik smp or ccalc for more detailed info on any of the systems below look into the directory pub symbolic math in the anonymous ftp of math berkeley edu no particular recommendation is made for any of these if you want prices contact the company programs are listed by aprox the reverse order of the number of machines they run on in each class general purpose systems first if you have any information to add to this list we know we are missing mupad felix please send it to ca math berkeley edu paulo ney de souza department of mathematics university of california berkeley ca desouza math berkeley edu general purpose maple type commercial machines most impressive list of machines i seen for a program workstations dec hp ibm mips sun sgi apollo pc s mac amiga atari at t b gould convex ncr pyramid sequent unisys and cray s contact maple daisy waterloo edu waterloo maple software columbia street west waterloo ontario canada n l l phone version release comments general purpose source available for most routines graphics support in a demo of the program for pc dos can be obtained from anonymous ftp at wuarchive wustl edu edu math msdos modern algebra maplev zip mathematica type commercial machines cray ymp down to mac s and pc s contact info wri com phone math wolfram research inc trade center drive champaign il version comments general purpose notebook interface on next mac nice graphics macsyma type commercial machines sun sun sparc vax unix and vms apollo hp dec risc pc dos symbolics computers and no sx s pc s contact macsyma service macsyma com phone macsyma macsyma inc academy st arlington ma version depends on machine is the latest for sun hp and dec risc for pc s comments general purpose many diverse capabilities one of the oldest around includes propietary improvements from symbolics and macsyma inc descendant of mit s macsyma doe macsyma type distribution fee only machines gigamos symbolics and ti explorer lisp machines the nil version runs on vaxes using the vms system the public domain franz lisp version runs on unix machines including suns and vaxes using unix contact estsc energy science technology software center p o box oak ridge tn phone comments help with doe macsyma general and help with issues such as obtaining support new versions etc lph paradigm com leon harten from paradigm assoc paradigm associates inc putnam avenue suite cambridge ma maxima type licence for a fee get licence from estc before download machines unix workstations sun mips hp pc s and pc dos beta contact wfs rascal utexas edu bill schelter version comments general purpose mit macsyma family common lisp implementation by william f schelter based on kyoto common lisp modified version of doe macsyma available to estsc doe sites get the licence from estsc phone and then dowload the software from dos math utexas edu pub beta max zip or unix rascal ics utexas edu pub maxima tar z currently their charge for machine license is to universities site licenses are also available aljabr type commercial machines mac s with meg of ram contact aljabr fpr com phone fort pond research fort pond road acton ma us version comments mit macsyma family descendant uses franz lisp paramacs type commercial machines vax vms sun sun sgi and mac s on the works contact lph paradigm com version comments vaxima type distribution fee only machines vax unix contact estsc see doe macsyma above version comments general purpose mit macsyma family descendant includes source and binaries with assembler for macsyma and franz lisp opus reduce type commercial machines all unix workstations a variety of mainframes ms dos mbyte and atari st contact reduce netlib rand org version comments general purpose form type public domain verison version commercial machines msdos atarist mac sun sun sparc apollo next vax vms vax ultrix decstation and others contact t nikhef nl jos vermaseren binary versions of version are available by anonymous ftp from nikhef nikhef nl version and comments general purpose designed for big problems batch like interface axiom type commercial machines ibm rs s and other ibm plataforms contact ryan nag com phone fax nag numerical algorithms group inc opus place suite downers grove il version comments general purpose simath type anonymous ftp machines suns apollo dn and siemens workstations contact simath math uni sb de version comments general purpose derive type commercial machines runs on pc s and hp s contact soft warehouse inc harding ave suite honolulu hawaii version comments said to be very robust gets problems that other larger programs fail on low cost theorist type commercial machines mac s contact prescien well sf ca us phone fax prescience corp howard st san francisco ca version comments general purpose graphics if you like the mac interface you ll love this fixed precision digits runs on smaller mac s than mma mas type anonymous ftp machines atari st tdi and spc modula compilers ibm pc at m sds and topspeed modula compilers and commodore amiga m amiga compiler contact h kredel computer algebra group university of passau germany version comments mas is an experimental computer algebra system combining imperative programming facilities with algebraic specification capabilities for design and study of algebraic algorithms mas is available via anonymous ftp from alice fmi uni passau de mockmma type anonymous ftp from peoplesparc berkeley edu machines anywhere running common lisp contact fateman cs berkeley edu version comments it does matematica or i mispelled that weyl type anonymous ftp from ftp cs cornell edu pub weyl contact rz cs cornell edu version comments intended to be incorporated in larger more specialized systems flac type machines ibm pc s dos contact victor l kistlerov institute for control sciences profsoyuznaya moscow ussr version comments functional language group theory cayley type cost recovery machines sun sun ibm aix and vm machines apollo dec vax vms mac running a ux or higher and convex contact cayley maths su oz au phone fax computational algebra group university of sydney nsw australia version comments designed for fast computation with algebraic and combinatorial structures such as groups rings fields modules and graphs although it began as a group theory system it has recently evolved into a general abstract algebra system gap type anonymous ftp free but not pd basically gnu copyleft machines all unix workstations atari st ibm pc and mac contact gap samson math rwth aachen de ftp site samson math rwth aachen de math ucla edu version to be released dec comments group theory calculations algebra number theory pari type anonymous ftp machines most workstations mac and next contact pari mizar greco prog fr anonymous ftp to math ucla edu in the directory pub pari version comments number theoretical computations source available key routines are in assembler ascii and xwindows graphics pc dos version available from anonymous ftp at wuarchive wustl edu edu math msdos modern algebra pari macaulay type anonymous ftp machines complete source available binary mac versions available contact anonymous ftp to zariski harvard edu version comments focused on algebra type computations polynomial rings over finite fields things like that kant type machines contact kant group prof dr m e pohst dr johannes graf v schmettow mathematisches institut heinrich heine universit at universit atsstr d d usseldorf pohst dd rud bitnet or schmetto dd rud bitnet version comments kant computational algebraic number theory is subroutine package for algorithms from geometry of numbers and algebraic number theory there are two versions of kant kant v is written in ansi fortran while kant v is built on the cayley platform and written in ansi c lie type commercial machines unix workstations sun dec sgi ibm next pc s atari and mac s contact lie can nl phone fax can expertise centre kruislaan sj amsterdam the netherlands version comments lie group computations ubasic type anonymous ftp ubas zip machines mac and ibm pc s contact malm argo acs oakland edu phone donald e g malm department of mathematical sciences oakland university rochester mi version comments basic like environment for number theory in the collection of programs written for it one can find malm collection of ubasic number theory programs malm zip by donald e g malm and copyrighted by him including baillie wagstaff lucas pseudoprime test algorithm for chinese remaindering elliptic curve method to factorize n fermat s method of factoring general periodic continued fraction to quadratic routine evaluates carmichael s function d h lehmer s method of solving x q mod p ubmpqs prime factorization program for numbers over digits ubmpqs zip that can be found in the wurst archives wuarchive wustl edu numbers type free but not public domain registration required machines pc dos contact ivo dntsch phone rechenzentrum fax universitt osnabrck bitnet duentsch dosuni postfach w osnabrck germany version c comments numbers is a calculator for number theory it performs various routines in elementary number theory some of which are also usable in algebra or combinatorics available in the anonymous ftp in ftp rz uni osnabrueck de in the directory pub msdos math cocoa type machines mac s contact cocoa igecuniv bitnet version comments computations in commutative algebra galois type commercial machines ibm pc dos contact cifeg inc kalkgruberweg a linz austria version comments algebra and number theory microcomputer written by r lidl r w matthews and r wells from the u tasmania in turbo pascal v ganith type anonymous ftp machines any system with vanilla common lisp x and has at least a rudimentary lisp c interface contact chanderjit bajaj andrew royappa department of computer science purdue university west lafayette in bajaj and royappa cs purdue edu version comments ganith is an algebraic geometry toolkit for computing and visualising solutions to systems of algebraic equations it is written in common lisp and c and runs under version of the x window system ganith is available from the anonymous ftp at cs purdue edu in the file pub avr ganith src tar z tensor analysis schoonship type machines contact mentioned in comp phys comm version comments i have heard this program mentioned supposely it s designed for large problems i e thousands of terms in series expansions developed at cern for cdc stensor type machines vax sun apollos orion atari amiga contact lh vand physto se lars hornfeldt physics department university of stockholm vanadisv s stockholm sweden version comments system for tensor calculus and noncommutative algebra lisp calculators jacal type gnu copyleft machines needs a lisp either common or scheme contact available by anon ftp to altdorf ai mit edu version comments an ibm pc version on floppy for is available from aubrey jaffer pleasant st wakefield ma usa gnu calc type gnu copyleft machines where emacs runs contact free software foundation version comments it runs inside gnu emacs and is written entirely in emacs lisp it does the usual things arbitrary precision integer real and complex arithmetic all written in lisp scientific functions symbolic algebra and calculus matrices graphics etc and can display expressions with square root signs and integrals by drawing them on the screen with ascii characters it comes with well written page online manual you can ftp it from any gnu site differential equations delia type informal distribution machines ibm pc s dos contact a v bocharov program systems institute ussr academy of science pereslavl p o box ussr tlx boat version comments differetial equation computations pc shareware symbmath type shareware student and advanced versions machines ibm pc contact chen deakin oz au version comments runs on plain k dos machines the shareware version is available in the file sm a zip on the wurst archives more capable versions are available by mail order from the author cla type anonymous ftp machines pc dos contact version comments a linear or matrix algebra package which computes rank determinant rwo reduced echelon form jordan canonical form characteristic equation eigenvalues etc of a matrix file cla zip on the wurst archives xpl type anonymous ftp machines pc dos contact david meredith department of mathematics san francisco state university san francisco ca meredith sfsuvax sfsu edu version comments formerly called ccalc well integrated graphics and some numerical matrix manipulation routines intended for calculus students prentice hall sells this with a book isbn x or by calling but it is also available without the manual but with a comprehensive help system by anonymous ftp from wuarchive wustl edu edu math msdos calculus cc zip amp type commercial evaluation copy available by anonymous ftp machines pc dos contact mark garber compuserve com ph cerebral software po box chamblee ga version comments the algebraic manipulation program amp is written in modula and is a symbolic calculation tool amp functions in an interpreter mode and program mode it has tensor manipulation using index notation the evaluation copy is available in the anonymous ftp at ftp rz uni osnabrueck de pub msdos math amp zip mercury type shareware machines pc dos contact version comments limited in symbolic capabilities but is extremely adept at numerically solving equations and produces publication quality graphical output this used to be borland s eureka but when borland abandoned it its original author started selling it as shareware under the name mercury available from anonymous ftp at wuarchive wustl edu edu math msdos calculus mrcry zip pfsa type public domain machines pc dos contact version comments available from the anonymous ftp at wuarchive wustl edu edu math msdos modern algebra vol zip lie type public domain machines pc dos contact head rivett mst csiro au a k head csiro division of materials science and technology melbourne australia or locked bag clayton vic australia phone telex aa fax version comments lie is a program written in the mumath language not a package for lie analysis of differential equations available from anonymous ftp at wuarchive wustl edu edu math msdos adv diff equations lie calculus type shareware machines pc dos with ega contact byoung keum dept of mathematics university of il urbana il version comments program for calculus and differential equations it has symbolic diff integration simple functions graphs very unstable program no reason to use it except for price suggested registration fee is available from anonymous ftp at wuarchive wustl edu edu math msdos calculus calc arc marc conrad universitaet des saarlandes luxemburg marc math uni sb de france germany these opinions are not necessarily these x you are here of the simath group and maybe even not mine
