
	Where results make sense

Topic: Magma computer algebra system

Related Topics

Computer algebra system

GAP computer algebra system

Ginac computer algebra system

MuPAD computer algebra system

Axiom computer algebra system

	Magma V2.2 Anouncement
		In addition to the standard operations for SC associative algebras, specialized operations such as computing the augmentation ideal are provided for group algebras.
		Magma takes 280 seconds to determine that the curve y^2 + xy = x^3 - 215x + 1192 has group Z_2 x Z x Z, and 100 seconds to determine that the curve y^2 = x^3 + 36861504658225x^2 + 1807580157674409809510400x has rank 13.
		A specialized algorithm developed by Jeff Leon is used to compute the collineation group of a projective plane while the affine case is handled by the incidence structure method.
	www.cee.hw.ac.uk /~hwloidl/magma.html (3327 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 (440 words)

	Magma Encyclopedia Article, Definition, History, Biography (Site not responding. Last check: 2007-10-10)
		Magma exists between 650 and 1200 °C. Magma is under high pressure and sometimes emerges through volcanic vents in the form of flowing lava (melt as it exists above the Earth's surface) and pyroclastic ejecta.
		Magma rises primarily because a melt is less dense than its source rock, it is propelled upward through the lithosphere by the buoyancy that its lower density creates (the way less dense wood is pushed up and floats in denser water).
		Magma is composed mainly of silica; alkalis (sodium, potassium, and calcium); and magnesium and iron.
	www.quiltplace.com /encyclopedia/Magma (777 words)

	Magma - Wikipedia, the free encyclopedia (Site not responding. Last check: 2007-10-10)
		Magma is a complex high-temperature silicate solution that is ancestral to all igneous rocks, both intrusive and effusive.
		Magma is under high pressure and sometimes emerges through volcanic vents in the form of flowing lava and pyroclastic ejecta.
		Magma collects in many separate magma chambers within the Earth's crust, and will have slightly different compositions in different places.
	www.encyclopedia-online.info /Magma (144 words)

	Encyclopedia: Computer algebra system (Site not responding. Last check: 2007-10-10)
		In mathematics and computer science, recursion is a particular way of specifying (or constructing) a class of objects (or an object from a certain class) with the help of a reference to other objects of the class: a recursive definition defines objects in terms of the already defined objects of...
		Macsyma is a computer algebra system that was originally developed from 1967 to 1982 at the MIT AI Lab as part of Project MAC.
		In computer algebra, computational algebraic geometry, and computational commutative algebra, a GrÃ¶bner basis G (named after Wolfgang GrÃ¶bner) is a particular kind of generating subset of an ideal I in a polynomial ring R. One can view it as a multivariate, non-linear generalization of: the Euclidean algorithm...
	www.nationmaster.com /encyclopedia/Computer-algebra-system (1408 words)

	Magma computer algebra system - Wikipedia, the free encyclopedia
		Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics.
		It is named after the algebraic structure magma.
		GAP is a free computer algebra system with a similar focus.
	en.wikipedia.org /wiki/Magma_computer_algebra_system (180 words)

	Magma computer algebra system (Site not responding. Last check: 2007-10-10)
		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.
		Macaulay Macaulay is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra.
		MAGMA Comprehensive system for algebra, number theory and geometry.
	www.serebella.com /encyclopedia/article-Magma_computer_algebra_system.html (435 words)

	Magma category (Site not responding. Last check: 2007-10-10)
		In mathematics, the category of magmas (see category, magma for definitions), denoted by Mag, has as objects sets with a binary operation, and morphism s given by homomorphism s of operations (in the universal algebra sense).
		A very important property is that an injective endomorphism can be extended to an automorphism of a magma extension, just the colimit of the (constant sequence of the) endomorphism.
		MAGMA program MAGMA code to solve Diophantine equations of the form F(x)=G(y), for which Runge's condition is satisfied.
	www.serebella.com /encyclopedia/article-Magma_category.html (436 words)

	SAL- Mathematics - Computer Algebra Systems
		FELIX -- computations in and with algebraic structures and substructures.
		Macaulay 2 -- algebraic geometry and commutative algebra.
		MAGMA -- a system for algebra, number theory, geometry and combinatorics.
	www.sai.msu.su /sal/A/1/index.shtml (538 words)

	magma computer algebra system (Site not responding. Last check: 2007-10-10)
		Magma is a computational algebra system designed to solve problems in algebra, number theory, geometry and combinatorics.
		Magma is produced and distributed by the Computational Algebra Group within the School of Mathematics and Statistics of the University of Sydney.
		The predecessor of the Magma was called "Cayley".
	www.yourencyclopedia.net /magma_computer_algebra_system.html (140 words)

	Computer algebra system
		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).
		The first popular systems were Reduce, Derive and Macsyma which are still commercially available; a copyleft version of Macsyma called GNU Maxima is actively being maintained.
	www.brainyencyclopedia.com /encyclopedia/c/co/computer_algebra_system.html (321 words)

	Computer algebra system Article, Computeralgebrasystem Information (Site not responding. Last check: 2007-10-10)
		The study of algorithms useful for computer algebra systems is known ascomputer algebra.
		The run-time of numerical programs implemented in computer algebra systems is normally longer than that of equivalentprograms implemented in systems such as MATLAB, GNU Octave or directly in C, becausethe computer algebra languages are often interpreted andthe bignum system may cause overhead.
		Computer algebra systems began to appear in the early 1970s, and evolved out ofresearch into artificial intelligence (the fields arenow regarded as largely separate).
	www.anoca.org /systems/software/computer_algebra_system.html (287 words)

	Magma V2.2 Anouncement
		In the case of an algebra defined over a field $K$, quotient algebras, composition series, the composition factors and the Jacobson radical may be constructed.
		Magma takes 280 seconds to determine that the curve y^2 + xy = x^3 - 215x + 1192 has group Z_2 x Z x Z, and 100 seconds to determine that the curve y^2 = x^3 + 36861504658225x^2 + 1807580157674409809510400x has rank 13.
		In accordance with the Magma philosophy, a graph may be studied under the action of an automorphism group.
	www.tcs.informatik.uni-muenchen.de /~hwloidl/magma.html (3327 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)

	Read about Computer algebra system at WorldVillage Encyclopedia. Research Computer algebra system and learn about ... (Site not responding. Last check: 2007-10-10)
		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)

	Magma (Site not responding. Last check: 2007-10-10)
		Magma Design Automation has become a hot EDA property by clearing...
		Magma Design Automation Inc., based in Cupertino, CA, is one of those up-and-comers.
		One thing Magma has going for it is that it was started by a serial entrepreneur...
	hallencyclopedia.com /Magma (368 words)

	Magma Computational Algebra System Home Page
		Magma is a large, well-supported software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.
		April 20, 2007: Magma is now available for the Intel Mac under OS X. Initially, a 32-bit version is provided and it is hoped that a 64-bit version will follow in some months.
		Magma is produced and distributed by the Computational Algebra Group within the School of Mathematics and Statistics of the University of Sydney.
	magma.maths.usyd.edu.au /magma (203 words)

	Search Here - Science - Math - Software
		Computer algebra and graphing tool for Mac, Windows, Linux and Sun, formerly sold under the product names Theorist and MathView, with ancillary product Expressionist.
		Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra, released under the GNU Public License.
		A data visualization system for viewing high-dimensional data and proximity data as well as for graphs and networks.
	www.clickheretoleave.com /Science/Math/Software (1215 words)

	Magma Computer Algebra (Site not responding. Last check: 2007-10-10)
		Magma is a relatively new system for computer algebra based and developed at the University of Sydney, Australia, by the computational algebra group, headed by Dr John Cannon.
		A Magma workshop at the University of the Western Cape, Cape Town, South Africa, organized to coincide with the 39th South-African Mathematical Society conference, November 4--6, 1996.
		This was part of the inaugural Computational Algebra and Number Theory conference (CANT90) at the University of Sydney, held at the occassion of the retirement of Professor Tim Wall, from November 6 to 9 of 1990.
	staff.science.uva.nl /~wieb/magma (298 words)

	The Encyclopedia of Computer Languages (Site not responding. Last check: 2007-10-10)
		is a radically new system designed to solve computationally hard problems in algebra, number theory, geometry, and combinatorics.
		MAGMA is a new software system for computational algebra, number theory and geometry whose design is centred on the concept of algebraic structure (magma).
		Cannon, John and Catherine Playoust "Using the Magma computer algebra system in abstract algebra courses" pp459-484 § DOI
	hopl.murdoch.edu.au /showlanguage.prx?exp=2207&name=MAGMA (276 words)

	COHOMOLOGY OF 2-GROUPS
		The program computes some of the products as it goes and hence the only generators for which the chain maps are calculated are those which are not polynomials in the other generators.
		In this section is listed the representative, the images of the generators for the cohomolgy of G as elements in the polynomial ring which is the cohomology of the elementary abelian subgroup, and a list of the generators of the kernel of the restriction map.
		The paramflag is true if the computed system of parameters restricts to every elementary abelian subgroup as a system of parameters, or at least the cohomology ring of the elementary abelian subgroup is a finitely generated module over the subring generated by the restrictions of the elements in the system of parameters.
	www.math.uga.edu /~jfc/groups/cohomology.html~ (3652 words)

	Magma computer algebra system (Site not responding. Last check: 2007-10-10)
		Magma is produced and distributed by the Algebra Group within the School of Mathematics Statistics of the University of Sydney.
		The Coleman Powermate Jumpstart System does everything is says it can except jumpstart a dead battery.
		Installed the D-Link DI-604 with 2 computers, one running Windows 98 and the other one running Windows XP Pro.
	www.freeglossary.com /Magma_computer_algebra_system (358 words)

	COHOMOLOGY OF 2-GROUPS
		The goal is to compute as many examples as possible of mod-p cohomology rings of finite p-groups.
		Hence if the paramflag is true then we are guaranteed that the computed system of parameters is really a system of parameters for the cohomology ring.
		The current algorithm (of my own writing) for choosing a system of parameters is simply a search in which the machine chooses polynomials, starting with the generators and proceeding up by degrees, and then testing to see if the Krull dimension of the ring drops when the polynomial is factored out.
	www.math.uga.edu /~jfc/groups/cohomology.html (3660 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)

	Kronecker Reference Manual: 1. Introduction
		Kronecker is a package for the Magma computer algebra system to solve polynomial systems of equations and inequations.
		It is a prototype resulting of a long term research by many people organized around the TERA project.
		The program Kronecker currently being distributed is to be used within the Magma computer algebra system distributed by the University of Sydney (Australia).
	www.math.uvsq.fr /~lecerf/software/kronecker/doc/man/man_1.html (212 words)

	Business Software Review : Article 'GAP computer algebra system' (Site not responding. Last check: 2007-10-10)
		GAP (Groups, Algorithms and Programming) is a computer algebra system for computational discrete algebra similar to Mathematica with particular emphasis on, but not restricted to, computational group theory.
		After the retirement of J. Neubýser from the chair of LDFM, the development and maintenance of GAP is coordinated by the School of Mathematical and Computational Sciences at the University of St. Andrews, Scotland.
		The three letter acronym GAP can refer to: GAP computer algebra system Generic access protocol, a protocol used in wireless telephony GTPase Activating Protein, a biochemical compound.
	www.business-software-review.org /DisplayArticle224528.html (640 words)

	Magma - TheBestLinks.com - Earth, Igneous rock, Solution, Volcano, ... (Site not responding. Last check: 2007-10-10)
		Magma - TheBestLinks.com - Earth, Igneous rock, Solution, Volcano,...
		Magma, Earth, Igneous rock, Solution, Volcano, Silicate, Lava, High pressure...
		You can add this article to your own "watchlist" and receive e-mail notification about all changes in this page.
	www.thebestlinks.com /Magma.html (185 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.
	www.abc.se /~m9847/matre/comal.html (286 words)

Try your search on: Qwika (all wikis)