An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Magnus was a computer algebra system designed to solve problems in group theory. It was designed to run on Unix-like operating systems, as well as Windows. The development process was started in 1994 and the first public release appeared in 1997. The project was abandoned in August 2005. The unique feature of Magnus was that it provided facilities for doing calculations in and about infinite groups. Almost all symbolic algebra systems are oriented toward finite computations that are guaranteed to produce answers, given enough time and resources. By contrast, Magnus was concerned with experiments and computations on infinite groups which in some cases are known to terminate, while in others are known to be generally recursively unsolvable.

Property Value
dbo:abstract
  • Magnus was a computer algebra system designed to solve problems in group theory. It was designed to run on Unix-like operating systems, as well as Windows. The development process was started in 1994 and the first public release appeared in 1997. The project was abandoned in August 2005. The unique feature of Magnus was that it provided facilities for doing calculations in and about infinite groups. Almost all symbolic algebra systems are oriented toward finite computations that are guaranteed to produce answers, given enough time and resources. By contrast, Magnus was concerned with experiments and computations on infinite groups which in some cases are known to terminate, while in others are known to be generally recursively unsolvable. (en)
dbo:developer
dbo:genre
dbo:latestReleaseDate
  • 2005-08-01 (xsd:date)
dbo:license
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 54381005 (xsd:integer)
dbo:wikiPageLength
  • 2218 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1076438675 (xsd:integer)
dbo:wikiPageWikiLink
dbp:developer
  • The New York Group Theory Cooperative, City University of New York (en)
dbp:genre
dbp:latestReleaseDate
  • 2005-08-01 (xsd:date)
dbp:license
dbp:name
  • Magnus (en)
dbp:operatingSystem
dbp:website
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • Magnus was a computer algebra system designed to solve problems in group theory. It was designed to run on Unix-like operating systems, as well as Windows. The development process was started in 1994 and the first public release appeared in 1997. The project was abandoned in August 2005. The unique feature of Magnus was that it provided facilities for doing calculations in and about infinite groups. Almost all symbolic algebra systems are oriented toward finite computations that are guaranteed to produce answers, given enough time and resources. By contrast, Magnus was concerned with experiments and computations on infinite groups which in some cases are known to terminate, while in others are known to be generally recursively unsolvable. (en)
rdfs:label
  • Magnus (computer algebra system) (en)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Magnus (en)
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License