
	Where results make sense

Topic: Axiom computer algebra system

Related Topics

Computer algebra system

Ginac computer algebra system

SINGULAR computer algebra system

Programming language

Maxima computer algebra system

Axiom

Magma computer algebra system

VEGA computer algebra system

GAP computer algebra system

Macaulay computer algebra system

Yacas

Static typing

Eigenmath

Prettyprint

Propositional calculus

	Axiom computer algebra system - Wikipedia, the free encyclopedia
		I.e., mathematical objects (such as rings, fields, polynomials) as well as data structures from computer science (e.g., lists, trees, hash tables) are automatically typed.
		When an operation is applied to an object the type of the object determines the behaviour of the operation (similar to OOP).
		Axiom comes with an associated, though separable, programming language called A#.
	en.wikipedia.org /wiki/Axiom_computer_algebra_system (163 words)

	Directory - Science: Math: Algebra: Software (Site not responding. Last check: 2007-10-09)
		CoCoA · iweb · cached · A special-purpose system for computations in Commutative Algebra.
		Computer Algebra Benchmarks · cached · Collated by Computer Algebra Fachgruppe, Mannheim.
		Macaulay · cached · Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra.
	www.incywincy.com /default?p=26944 (1091 words)

	PARI/GP computer algebra system - Wikipedia, the free encyclopedia
		PARI/GP is a computer algebra system with the main aim of facilitating number theory computations.
		It can be used to compute factorizations, to perform elliptic curve computations and perform algebraic number theory.
		On the other hand, the three main advantages of the system are its speed (which can be between 5 and 100 times better on many computations), the possibility of using directly data types which are familiar to mathematicians, and its extensive algebraic number theory module which has no equivalent in the above-mentioned systems.
	en.wikipedia.org /wiki/PARI-GP_computer_algebra_system (435 words)

	Computer algebra system - LearnThis.Info Enclyclopedia (Site not responding. Last check: 2007-10-09)
		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, 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).
	encyclopedia.learnthis.info /c/co/computer_algebra_system.html (283 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)

	Science Math Algebra Software (Site not responding. Last check: 2007-10-09)
		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.
	www.iper1.com /iper1-odp/scat/id/Science/Math/Algebra/Software (1139 words)

	Computer algebra system: Encyclopedia topic (Site not responding. Last check: 2007-10-09)
		Computer algebra systems began to appear in the early 1970s (1970s: The decade from 1970 to 1979), and evolved out of research into artificial intelligence (artificial intelligence: The branch of computer science that deal with writing computer programs that can solve problems creatively), though the fields are now regarded as largely separate.
		Derive (Derive: derive is a computer algebra system, developed as a successor to mumath by the soft...
		Axiom (Axiom: (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident),
	www.absoluteastronomy.com /reference/computer_algebra_system (1373 words)

	Javorie.com :: Science :: Math :: Algebra :: Software (Site not responding. Last check: 2007-10-09)
		Computer algebra system that does arithmetic of arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical calculations.
		Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra.
		MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms.
	www.javorie.com /directory/index.php/Science/Math/Algebra/Software (1331 words)

	SAL- Mathematics - Computer Algebra Systems (Site not responding. Last check: 2007-10-09)
		GRG -- a computer algebra program for differential geometry, gravitation and field theory.
		Symaxx -- a frontend for Maxima computer algebra system.
		Ricci -- symbolic tensor computations for differential geometry.
	gd.tuwien.ac.at:8050 /A/1 (538 words)

	EPSRC GR/L48256/01 Embedded verification techniques for computer algebra systems: Final report
		Computational logic means the use of computers to produce formal proofs in a given logical system.
		Advanced systems such as the UK HOL and the US PVS address both foundational logical issues and practical ones such as search and automation, and are supported by a mass of theoretical and practical work.
		Our goal was to use computational logic to enhance the power, dependability and scope of computer algebra, by developing techniques that could be used effectively to solve problems arising in user domains.
	www.dcs.qmw.ac.uk /~uhmm/info/caar.html (2433 words)

	Axiom a general purpose Computer Algebra system : Tech Observer
		Axiom is a general purpose Computer Algebra system.
		Scratchpad was a large, general purpose computer algebra system that was originally developed by IBM under the direction of Richard Jenks.
		In the 1990s, as IBM's fortunes slid, the Scratchpad project was renamed to Axiom, sold to the Numerical Algorithms Group (NAG) in England and became a commercial system.
	kennethhunt.com /archives/000999.html (210 words)

	SINGULAR computer algebra system: Encyclopedia topic (Site not responding. Last check: 2007-10-09)
		SINGULAR is a computer algebra system (computer algebra system: more facts about this subject) for polynomial (polynomial: A mathematical expression that is the sum of a number of terms) computations with special emphasis on the needs of commutative algebra (commutative algebra: in abstract algebra, commutative algebra is the field of study of commutative rings,...
		SINGULAR is a Computer Algebra system for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.
		The need for a new system arose from the investigation of mathematical problems coming from singularity theory which none of the existing systems was able to compute.
	www.absoluteastronomy.com /reference/singular_computer_algebra_system7 (493 words)

	Jobs in computer algebra and reasoning (Site not responding. Last check: 2007-10-09)
		Integrating Computer Algebra and Reasoning Applications are invited for two posts related to the ESPRC-supported 3 year project "Adding the Axioms to Axiom: Integrating Computer Algebra and Reasoning" at the University of Kent, in the Computing Laboratory (investigator Simon Thompson) and Institute of Mathematics (investigator John Shackell).
		The project aims to explore the integration of reasoning capabilities into the Aldor library compiler for the Axiom computer algebra system, and to use this integrated logic to improve support for symbolic mathematics.
		Familiarity with an Algebra System would be an asset, but the willingness to learn to program in Aldor is more important.
	www.seas.upenn.edu /~sweirich/types/archive/1999-2003/msg00082.html (422 words)

	LtU Classic Archives
		The Ontic system is a proof verification system, rather than a computer algebra system.
		Axiom is a full general purpose programming language with the property that type selection is based both on the function signature and the return type.
		Axiom has lived in about 8 different lisps, including MacLisp and VMLisp/370, Symbolics Common Lisp, etc. A scheme port could be done but you'd end up writing a lot of common lisp functions, which are really re-implementation of missing VMLisp functions, which are really re-implementations of missing MacLisp functions.
	lambda-the-ultimate.org /classic/message12593.html (1022 words)

	Debian -- axiom (Site not responding. Last check: 2007-10-09)
		Axiom is useful for research and development of mathematical algorithms.
		Axiom has been in development since 1973 and was sold as a commercial product.
		Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions.
	packages.debian.org /unstable/math/axiom.html (249 words)

	Axiom Computer Algebra System - Summary [Savannah]
		It is useful for doing mathematics by computer and for research and development of mathematical algorithms.
		Axiom has been in development since 1973 and was sold as a
		The Axiom Portal is a web portal which allows registered users to create their own wiki web pages containing Axiom commands and LaTeX mathematics, to...
	savannah.nongnu.org /projects/axiom (346 words)

	EDP Dictionary - A
		The {Axiom of Choice} (AC) implies that every set can be {well-ordered}, so every {infinite} {cardinality} is an aleph; but in the absence of AC there may be sets that can't be well-ordered (don't posses a {bijection} with any {ordinal}) and therefore have cardinality which is not an aleph.
		In {set theory} the equivalent of an algebraic data type is a {discriminated union} - a set whose elements consist of a tag (equivalent to a constructor) and an object of a type corresponding to the tag (equivalent to the constructor arguments).
		Computers are much pickier and less flexible about spelling than humans; thus, hackers need to be very precise when talking about characters, and have developed a considerable amount of verbal shorthand for them.
	www.chavezz.ding.btinternet.co.uk /A.html (17348 words)

	[No title]
		Work involves using KROPS (a semantic-network and rule-based programming system) to underlie semantic lookup of concepts in literate research papers and integrating their algorithms into Axiom.
		I was responsible for 3 major DLLs of the final system to handle the business rules and commission payment computations.
		The final PC system is many times faster than the original mainframe system.
	daly.axiom-developer.org /resume.txt (1541 words)

	Axiom Volume 1: Tutorial by Timothy Daly (Book) in Books > Math & Science > Mathematics & Statistics > General ... (Site not responding. Last check: 2007-10-09)
		This is a tutorial introduction to the Axiom Computer Algebra system.
		It is the first of several volumes on the Axiom computer algebra system and describes how to get started using Axiom for symbolic computation.
		The Axiom Language provides a very high-level way to express abstract mathematical concepts that are collected in the Axiom Library which defines over 1,000 strongly-typed mathematical domains and categories.
	www.lulu.com /content/190827 (308 words)

	Axiom Computer Algebra System
		Axiom development is now hosted on an Arch server running on axiom.developer.org.
		book--main--1 axiom book work with community to clean up the book for printing Currently in step 1 of development.
		axiom--language--1 explore axiom language modifications work with Stephen Wilson Currently in step 1 of development.
	arch.axiom-developer.org (486 words)

	Axiom Computer Algebra System (Site not responding. Last check: 2007-10-09)
		The "Axiom 3.0 Beta (January 2005) release of Axiom is available.
		Axiom has been compiled to run on various platforms.
		Axiom is also available as a pre-compiled package in:
	axiom.axiom-developer.org /axiom-website/download.html (224 words)

	Computing Languages List
		The language was further extended to use computational reflection to manage distributed computing and other language extensions in a way that is as seamless as possible to the user.
		It's static type system distinguishes between sub-typing and code inheritance, but CECIL enables these two to be described with a single set of declarations, streamlining the common case where the two graphs are parallel.
		LISP 70- a descendant of MLISP and MLISP2.
	www.hypernews.org /HyperNews/get/computing/lang-list.html (17532 words)

	Axiom Computer Algebra System (Site not responding. Last check: 2007-10-09)
		The first release of Axiom is under development.
		Some snapshots of the current source tree are available in the Download section for Axiom on Savannah
		Download section for Axiom on Savannah (look into Axiom_cvs part).
	www.nongnu.org /axiom/download.html (88 words)

	NAG Symbolic Software
		For further information about the status of Aldor, the AXIOM extension language, and its compiler, please visit www.aldor.org.
		For the most powerful symbolic solver system, particularly if you are also seeking to use high quality numerical software, we strongly recommend that you visit www.maplesoft.com, the web site of Maplesoft, developers of the Maple system.
		Maple, like AXIOM, is an advanced and comprehensive system for solving a wide range of symbolic and symbolic-numeric problems.
	www.nag.co.uk /symbolic_software.asp (160 words)

	MathAction and Axiom FrontPage
		It is especially useful for mathematical research and for development of mathematical algorithms.
		Consult the Rosetta Stone to compare Axiom to some other Computer Algebra systems.
		The Axiom Foundation is our means to promote the development and maintenance of the open source version of Axiom through the dispersement of donations and royalties from Axiom Gear to support Axiom-related projects and through the Award Of Bounties.
	wiki.axiom-developer.org /FrontPage (147 words)

	CS 874 - Advanced Computer Algebra: Asymptotically Fast Methods for Exact Computations (Site not responding. Last check: 2007-10-09)
		Asymptotically fast methods for exact computations have been known for a quarter of a century.
		Unfortunately their impact on computer algebra systems has been reduced since it was believed that they were irrelevant in practice.
		and recent papers, the course presented efficient methods for computing polynomial gcd and resultants.
	www.csd.uwo.ca /~moreno/MainPages/CS874-2003.html (125 words)

	Fermat, Computer Algebra System II (Site not responding. Last check: 2007-10-09)
		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.
		In the last few years several smaller CA systems focused on polynomials have been produced at universities by individual researchers or small teams.
		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)

	Computer Programming Languages - A
		Ada is a large, complex block-structured language aimed primarily at embedded computer applications.
		Systems language for IBM 7090 and 360, an extension of ALGOL-60 with records ("plexes"), pointers, and dynamic allocation.
		Autocoding came to be a generic term for symbolic assembly language programming, and versions of Autocode were developed for many machines: Ferranti Atlas, Titan, Mercury and Pegasus, and IBM 702 and 705.
	www.heuse.com /a.htm (4321 words)

	[No title]
		Mon Nov 2 01:26:58 MET 1998 anne % axiom Axiom Computer Algebra System (Release 2.1) Digital Unix on DEC Alpha (AXIOM Sockets) The AXIOM server number is undefined.
		Issue)summary for a summary of useful system commands.
		Issue)quit to leave AXIOM and return to shell.
	www.math.unm.edu /~wester/demos/ZeroEquivalence/Axiom.problems (230 words)

Try your search on: Qwika (all wikis)