Software

Do you need Software?
Check it out the following sites about Software, or search Software

• Top/Science/Math/Software

» AXIOM - Symbolic solver complete with a high-level interactive language, user extensible library and visualisation tool for the manipulation of graphical output. For Unix and Windows. No longer produced: support ceases at the end of 2001.
» Aldor - Originally an extension to Axiom, now a separate product. Binaries are available free for non-profit use, with documentation, tips, projects and links.
» Algebra Cheat - Program solves variable equations and gives explanations of steps used.
» Algebra Helper - Helps students with equations and inequalities, simplifying expression, graphing and complex numbers. Includes problem solving exercises.
» Algebra Problem Solver - Personal Algebra Tutor - Enter your algebra problems and get instant step-by-step solutions with explanations.
» Algebra Word Problem Tutor:Miss Lindquist - The world's first web-delivered self-improving intelligent tutoring system able to tutor students in writing expressions for algebra word problems.
» Algebra linear functions in C. - A set of C routines for linear algebra.
» Axiom Computer Algebra System - Savannah Free Software project for revival of Axiom as open source.
» CLICAL - A calculator type computer program for vectors, complex numbers, quaternions, bivectors, spinors, and multivectors in Clifford algebras.
» CMAT - A matrix calculator program, written in C. Calculations can be performed on matrices with complex rational coefficients using exact arithmetic routines, as well as on matrices with elements mod p.
» CoCoA - A special-purpose system for computations in Commutative Algebra.
» Combinatorial Representation Theory (CREP) - CREP is designed to deal with categories whose morphism spaces are finite-dimensional over a field k. The main example of a category with this property is the category of finite-dimensional representations of an associative unital k-algebra.
» Comparison of Polynomial-Oriented Computer Algebra Systems - By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference.
» Computer Algebra Benchmarks - Collated by Computer Algebra Fachgruppe, Mannheim.
» Computer Algebra Pages and Servers - A collection of links.
» Computer Algebra and Problem Solving Environments - Abstract for Stanly Steinberg's article in "Comparative CAS Reviews and Philosophy", suggesting 6 ways in which computer algebra systems could be improved.
» Edu2000 Visual Algebra - Designed to ease the difficulties many students experience during the transition from arithmetic into the world of algebra using visualization. Covers linear and quadratic equations.
» FINITAS - Discussion group for this package for the construction and analysis of finite algebraic structures such as loops, quasigroups, and groups.
» FRISCO - A Framework for Integrated Symbolic/Numeric Computation - The FRISCO project aims to develop highly efficient, versatile polynomial solvers for industrial users.
» Felix - Computer algebra system for computation in commutative and non-commutative rings and modules. Win32, Unix.
» Fermat - Computer algebra system that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations. Free download. Documentation.
» GAP - Groups, Algorithms and Programming - A free system for computational discrete algebra.
» GB and FGB - Software for solving algebraic equations: GB computes Groebner bases and FGB solves polynomial systems.
» GIAC - Is A Computer algebra system. A semi-classical CAS by Bernard Parisse, available for Windows, Linux.
» GiNaC - An open framework for symbolic computation within the C++ programming language. The name GiNaC is an iterated and recursive abbreviation for "GiNaC is Not a CAS", where CAS stands for Computer Algebra System. Its design is revolutionary in a se
» Groups and Graphs - A software package for graphs, digraphs, combinatorial designs, and their automorphism groups.
» HartMath - An experimental computer algebra system written in Java and available free under GPL.
» JACAL - An interactive symbolic mathematics program. JACAL can manipulate and simplify equations, scalars, vectors, and matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals, and algebraic differential, and holonomi
» KAN - Rings and Computer algebra software, part of OpenXM.
» LAPACK -- Linear Algebra PACKage - written in Fortran77; provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems.
» LAPACK++: Linear Algebra Package in C++ - (v. 1.1a) a software library for numerical linear algebra; however, it does not include all of the capabilities of original f77 LAPACK.
» LOWX - Parallel "low-index subgroups algorithm" software by Peter Dobcsányi for finding all subgroups up to given index in a finitely-presented group. Download documentation and binary distribution for Linux/i386 and Sparc/Solaris platforms.
» MAS - The Modula-2 Algebra System - MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms. Downloads, documentation.
» Macaulay - Macaulay 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.
» Macaulay 2 - A new software system devoted to supporting research in algebraic geometry and commutative algebra.
» Math Forum - Algebra Software - Algebra software resources compiled by The Math Forum.
» Math Symbolic Library - Evaluate, calculate, simplify and derive symbolic scalar, complex or vector expression. [OpenSource]
» MathPad - Scientific Matrices Calculator - Java applet based online Matrix calculation program for analyzing various simultaneous equations.
» Mathscribe - Mathscribe is free dynamic graphing and modeling software for use in algebra classes. Lesson plans for linears and quadratics are included.
» Matrix Expression Templates (MET) - C++ matrix class library which promotes the notational convenience of linear algebraic codes. Free download.
» Maxima - A GPL CAS based on DOE-MACSYMA. A GPL project.
» Online Gröbner Basis Calculations - Online computation of reduced ideal bases.
» SINGULAR - Computer Algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory.
» Schur - A package for Lie groups by Brian G. Wybourne. DOS, Win32, Unix. Ordering information.
» Software for Computing Primitive Polynomials. - Free C software for computing primitive polynomials of degree n modulo p for p^n up to about 2^60.
» SymbolicNet - Directory of links on Symbolic Algebraic Computation: Frequently Asked Questions, Live Demos, software for download, events, bibliography, research groups, and researcher directory.
» Symmetrica - A collection of routines, written in C, for computing in the representation theory of classical and symmetric groups, and related areas. Public domain.
» WinCoCoA Home Page - A version of CoCoA for Windows.
» Yet Another Computer Algebra System - A general purpose easy program for It is built on top of its own programming language designed for symbolic manipulation of math symbols. Includes information on how to use the software.
» gTybalt - An experimental free computer algebra system built on top of GiNaC, CLN and a program to interpret C and C++ commands.
» perisic - A Java package for multivariate polynomials over polymorphic rings.