
	Where results make sense

Topic: Reduce computer algebra system

Related Topics

Computer algebra system

Ginac computer algebra system

MuPAD computer algebra system

Christopher Strachey

Apple Macintosh

2002 Canadian Alliance leadership race

Blockbuster Video

Vinko Bogataj

Adultery

Chess (musical)

Adam Smith (politician)

Eastern Amateur Hockey League

Newborough, Anglesey

West Springfield, Massachusetts

Saddam Hussain

	REDUCE Home Page (archival version)
		REDUCE is an interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers.
		A particular algebra system is often chosen for a given calculation because of its widespread use in a particular application area, with existing packages and templates being used to speed up problem solving.
		REDUCE is based on a dialect of Lisp called Standard Lisp, and the differences between versions are the result of different implementations of this Lisp; in each case the source code for REDUCE itself remains the same.
	www.uni-koeln.de /REDUCE (1749 words)

	Reduce computer algebra system - Wikipedia, the free encyclopedia
		REDUCE is a general-purpose computer algebra system geared towards applications in physics.
		The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn.
		REDUCE is distributed for a cost-recovery fee that for a long time has usually included the full source code for the system, making it a popular research tool in the field of computer algebra.
	en.wikipedia.org /wiki/Reduce_computer_algebra_system (192 words)

	Computer algebra system - Wikipedia, the free encyclopedia
		The study of algorithms useful for computer algebra systems is known as computer algebra.
		The run-time of numerical programs implemented in computer algebra systems is normally longer than that of equivalent programs implemented in systems such as MATLAB, GNU Octave, or directly in C, since they are programmed for full symbolic generality and thus cannot use machine numerical operations directly for most of their functions.
		Computer algebra systems began to appear in the early 1970s, and evolved out of research into artificial intelligence, though the fields are now regarded as largely separate.
	en.wikipedia.org /wiki/Computer_algebra_system (418 words)

	Computer algebra system - Encyclopedia.WorldSearch (Site not responding. Last check: 2007-10-19)
		The run-time of numerical programs implemented in computer algebra systems is normally longer than that of equivalent programs implemented in systems such as MATLAB, GNU Octave or directly in C, because the computer algebra languages are often interpreted and the bignum system may cause overhead.
		Computer algebra systems began to appear in the early 1970s, and evolved out of research into artificial intelligence (the fields are now regarded as largely separate).
		MuPAD is a commercial system which provides a free version (with slightly restricted user interface) for non-commercial research and educational usage.
	encyclopedia.worldsearch.com /computer_algebra_system.htm (391 words)

	Computer algebra systems
		Macaulay2 is a computer algebra system for computation in commutative algebra and algebraic geometry.
		Macsyma is a computer algebra system that was originally developed from 1967 to 1982 at MIT as part of Project MAC and later marketed commercially.
		Maxima is a free computer algebra system, written in Lisp and released under the GNU General Public License.
	www.shortopedia.com /C/O/Computer_algebra_systems (1115 words)

	SAL- Mathematics - Computer Algebra Systems
		The major purpose of a Computer Algebra System (CAS) is to manipulate a formula symbolically using the computer.
		FELIX -- computations in and with algebraic structures and substructures.
		Macaulay 2 -- algebraic geometry and commutative algebra.
	www.sai.msu.su /sal/A/1/index.shtml (538 words)

	Open Directory - Science: Math: Algebra: Software (Site not responding. Last check: 2007-10-19)
		CoCoA - A special-purpose system for computations in Commutative Algebra.
		Macaulay - Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra.
		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.
	dmoz.org /Science/Math/Algebra/Software (1150 words)

	REDUCE Home Page
		REDUCE is an interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers.
		REDUCE is based on a dialect of Lisp called Standard Lisp, and the differences between versions are the result of different implementations of this Lisp; in each case the source code for REDUCE itself remains the same.
		The REDUCE computer algebra system is not in the public domain, but it is available at a very low price (cost recovery for improving, porting, supporting, and distributing it).
	oops-cache.org /~yury/Misc/reduce.html (1637 words)

	REDUCE Computer Algebra System
		REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers.
		However, REDUCE is designed to support calculations that are not feasible by hand.
		It is available for most common computing systems, in some cases in more than one version for the same machine, through a number of distributors.
	www.reduce-algebra.com (310 words)

	Fermat, Computer Algebra System II
		By "exact symbolic" we mean computation with polynomials whose coefficients are integers (of any size), rational numbers, or finite fields, as opposed to coefficients that are "floats" of a certain precision.
		Such computation is part of most computer algebra systems ("CA systems").
		In this paper we compare these small systems to each other and to two of the large systems (Maple and Magma) on a set of problems involving exact symbolic computation with polynomials and matrices.
	www.fordham.edu /lewis/cacomp.html (294 words)

	Combinatorial Software
		GAP: is a free system for computational discrete algebra.
		GRAPE: written in GAP and C by Leonard Soicher, is a system for computing with graphs, and is primarily designed for constructing and analysing graphs related to groups, finite geometries, and designs.
		Singular: is a computer algebra system for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory.
	www.mat.univie.ac.at /~slc/divers/software.html (2130 words)

	REDUCE Characteristics
		A particular algebra system is often chosen for a given calculation because of its widespread use in a particular application area, with existing packages and templates being used to speed up problem solving.
		From the beginning, it has been possible to obtain the complete REDUCE source code, including the "kernel." Consequently, REDUCE is a valuable educational resource and a good foundation for experiments in the discipline of computer algebra.
		Furthermore, since all systems are derived from the same source base, they are very compatible from platform to platform (from a PC to a supercomputer).
	www.reduce-algebra.com /characteristics.htm (699 words)

	[No title] (Site not responding. Last check: 2007-10-19)
		The organization of the system differs from that of earlier programs in its emphasis on the algorithmic approach to integration, its modularity, and its ease of revision.
		However, most available algebra systems do not preserve such structure in a consistent manner, and consequently produce results which are far less comprehensible than equivalent hand calculations.
		REDUCE used to calculate explicitly to n=13, involves summing series and rational coefficients.", } @Article{Lee:85, author = "H-C Lee and M. Milgram", title = "On the Axial Gauge: Ward Identities and the Separation of Infrared and Ultraviolet Singularities by Analytical Regularization", journal = "J. Math.
	www.math.utah.edu /ftp/pub/tex/bib/red-g-l.bib (4484 words)

	REDUCE Home Page
		The REDUCE 3.5 Announcement includes a short overview of the capabilities of the REDUCE 3.5 computer algebra system.
		An archive of the REDUCE mailing list is available for the years 1988, 1989, 1990, 1991, 1992, 1993, and 1994.
		For REDUCE users, both the REDUCE 3.5 User's Manual and the REDUCE 3.5 Online Help system are available on this server, the latter containing a searchable and browsable index to the help pages.
	www.uni-koeln.de /REDUCE/reduce3.5docs.html (1277 words)

	REDUCE Documentation
		REDUCE includes considerable documentation, not only for the core system, but also for the many application packages included in the release.
		The data objects are composed from algebraic expressions connected by the infix boolean operators and, or, implies, equiv, and the unary prefix operator not.
		A REDUCE implementation is built at the present time on one of two Lisp systems; Codemist Standard Lisp (CSL) or Portable Standard Lisp (PSL).
	www.reduce-algebra.com /documentation.htm (2394 words)

	Read about Computer algebra system at WorldVillage Encyclopedia. Research Computer algebra system and learn about ... (Site not responding. Last check: 2007-10-19)
		algorithms useful for computer algebra systems is known as computer algebra.
		The run-time of numerical programs implemented in computer algebra systems is normally longer than that of equivalent programs implemented in systems such as
		Computer algebra systems began to appear in the early
	encyclopedia.worldvillage.com /s/b/Computer_algebra_system (314 words)

	Computer Algebra Systems
		Computer Algebra systems have not only changed how mathematics is taught at many universities, but have provided a flexible tool for mathematicians worldwide.
		Computer Algebra systems can be used to simplify rational functions, factor polynomials, find the solutions to a system of equation, and various other manipulations.
		It is important that the computer algebra system be able to represent everything that may happen when expressions are simplified and expanded, but it must also decide whether or not to simplify certain operations depending on the circumstances.
	www.math.wpi.edu /IQP/BVCalcHist/calc5.html (5064 words)

	LtU Classic Archives
		Ehud Lamm - Re: Axiom Computer Algebra System
		Carl Witty - Re: Axiom Computer Algebra System
		The Ontic system is a proof verification system, rather than a computer algebra system.
	lambda-the-ultimate.org /classic/message12593.html (1022 words)

	A.Kryukov: List of publications (Site not responding. Last check: 2007-10-19)
		Using group and algebraic properties of tensor expressions in OO computer algebra system (in Russian).
		Computer algebra system for simplification of tensor expressions.
		The new appoach to generate class system of algebraic systems oriented on group algebra calculations is proposed.
	theory.npi.msu.su /~kryukov/papers/refs.html (444 words)

	Category:Computer algebra systems - Wikipedia, the free encyclopedia
		A computer algebra system (CAS) or symbolic computation system is a system of software packages that facilitates symbolic mathematics.
		symbolic manipulation engine, to simplify algebraic expressions, differentiate and integrate functions and solve equations
		linear algebra subsystem, to allow matrix computations and solving of systems of linear equations
	en.wikipedia.org /wiki/Category:Computer_algebra_systems (175 words)

	A2Z : Science & Technology : Mathematics : Software
		In order to make numbers and data processed by computers even more accurate, mathematicians and scientists are working on applications for interval computations.
		MuPAD is a computer algebra system which is available for free downloading through FTP and on CD for commercial purchase.
		The REDUCE Computer Algebra System site details a new version of an interactive program for use by scientists, engineers and mathematicians in general algebraic computations.
	jove.prohosting.com /fima59/discrete/science/337.htm (574 words)

	REDUCE Home Page
		The REDUCE 3.5 Announcement includes a short overview of the capabilities of the REDUCE 3.5 computer algebra system.
		The Information Package lists all the machines and operating systems REDUCE 3.5 is available for, and more information on the various distributors of the software.
		Since the release of REDUCE 3.5, a number of new packages have been contributed to the REDUCE Netlib, the on-line repository of software and information related to REDUCE.
	rsc.anu.edu.au /~harry/COMP/MATH/REDUCE.html (1146 words)

	Science and Technology - Computer Science (Algorithms)
		These are systems in which emergent computation occurs when global information-processing capabilities appear that are not explicitly represented in the system's elementary components.
		The mission of the Intelligent Computer Systems Center (ICSC) is to transfer the technology of advanced computing through collaborative projects, consultancy and education.
		Organisms in the form of computer software loops live in a shared memory space (the soup) and self-reproduce and evolve, behaving in accordance with Darwinian evolution.
	www.centerofweb.com /scitech/compsci_algorithms.htm (1718 words)

	Using Computer Algebra to Test Stability - Liska, Steinberg (ResearchIndex)
		Abstract: This paper provides an overview of how to use a computer algebra to check the stability of initial-value problems for ordinary differential equations, and the stability of initial and boundary-value problems for partial differential equations, and the stability of the discretization of such problems.
		The approach is to convert questions about stability to statements in the first-order theory of real closed fields, and then use a quantifier-elimination algorithm to find the solution to the...
		13 Systems and Algorithms for Algebraic Computation (context) - Davenport, Siret et al.
	citeseer.ist.psu.edu /liska95using.html (842 words)

	Open Directory - Science: Math: Algebra: Software: REDUCE (Site not responding. Last check: 2007-10-19)
		REDUCE - Program for general algebraic computations of interest to mathematicians, scientists and engineers.
		The Reduce Computer Algebra System - An interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers.
		REDUCE IDE - Integrated Development Environment for the REDUCE computer algebra system within the GNU Emacs editor.
	dmoz.org /Science/Math/Algebra/Software/REDUCE (136 words)

	Mathematical Resources: Computer Algebra, Symbolic mathematics, Operator Algebra, Mathematical Programming (Mathematics ...
		Computer Algebra Benchmarks by Heinz Kredel University of Mannheim
		CoCoA commutative computer algebra - University of Genova
		Lapack Users' Guide LAPACK is a library of Fortran 77 subroutines for solving the most commonly occurring problems in numerical linear algebra.
	mathres.kevius.com /comal.html (286 words)

	REDUCE IDE (Site not responding. Last check: 2007-10-19)
		REDUCE IDE is a package that provides an Integrated Development Environment for the REDUCE computer algebra system within the GNU
		Its two major components are Emacs Lisp libraries that provide major modes for respectively editing REDUCE source code and running a command-line version of REDUCE in an Emacs window.
		It may need to be run at least twice, and some correction by hand may be needed, so at present it may be safest to ignore it and install by hand.
	centaur.maths.qmw.ac.uk /Emacs/REDUCE_IDE (264 words)

	ACA'99 Sessions
		Computer Algebra for Dynamical Systems and Mechanics II
		A new classification of planar homogeneous quadratic systems
		Computation of Normal Forms of Hamiltonian Systems in the Presence of Poisson Commuting integrals (Liouville-Integrability and Birkhoff Normal Forms)
	math.unm.edu /ACA/1999/Proceedings/Sessions.html (1017 words)

	Computer Algebra: Systems and Algorithms For Agebraic Computation - Publications - Maplesoft
		Computer Algebra: Systems and Algorithms For Agebraic Computation - Publications - Maplesoft
		Computer Algebra: Systems and Algorithms For Agebraic Computation
		This book still remains the best introduction to computer algebra, catering to both the interested beginner and the experienced pure mathematician and computer scientist.
	www.maplesoft.com /books/books_detail.aspx?isbn=0-122-04232-8 (94 words)

	GiANT - Graphical Algebra System
		Algorithms for dedicated computer algebra systems have developed rapidly in recent decades.
		Nevertheless, user interfaces for these rich systems have traditionally focused on command-line interaction.
		We are currently looking for developers, testers and designers (knowledge of algebraic semantics, category theory, etc. would be nice, but is not essential).
	giantsystem.sourceforge.net (316 words)

Try your search on: Qwika (all wikis)