FriCAS (original) (raw)
FriCAS is a general purpose computer algebra system with a strong focus on mathematical research and development of new algorithms. It comprises an interpreter, a compiler and a still-growing libraryof more than 1,000 domains and categories. FriCAS is comprehensively documented and available as source code and as a binary distribution for the most commonplatforms. Compiling the sources requires besides other prerequisites a Common Lisp environment (wherebymany of the major implementations are supported and freely available as open source).
| Property | Value |
|---|---|
| dbo:abstract | FriCAS ist ein Allzweck-Computeralgebrasystem mit einem starken Fokus auf mathematische Forschung und Entwicklung neuer Algorithmen. Es besteht aus einem Interpreter, einem Compiler und einer immer noch wachsenden Bibliothek mit mehr als 1.000 Domänen und Kategorien. FriCAS bietet eine stark typisierte höhere Programmiersprache namens SPAD und eine ähnliche interaktive Sprache, die zur Vereinfachung die Typinferenzierung verwendet. Aldor wurde ursprünglich als Compiler der nächsten Generation für Axiom und Abspaltungen entwickelt. Mit FriCAS können (optional) Aldor Programme ausgeführt werden. Beide Sprachen haben eine ähnliche Syntax und ein ausgeklügeltes (abhängiges) Typsystem. FriCAS ist umfassend dokumentiert und sowie als Quellcode als auch in binärer Form für die gängigsten Plattformen erhältlich. Das Kompilieren der Quellen erfordert neben anderen Voraussetzungen eine Common-Lisp-Umgebung (wobei viele der wichtigsten Implementierungen unterstützt werden und als Open Source frei verfügbar sind). FriCAS läuft auf diversen POSIX-Plattformen wie Linux, MacOS, Unix, BSD sowie unter Cygwin und Microsoft Windows WSL. FriCAS besitzt neben der Kommandozeile verschiedene Front-Ends, z. B. Emacs, TeXmacs, Jupyter. (de) FriCAS is a general purpose computer algebra system with a strong focus on mathematical research and development of new algorithms. It comprises an interpreter, a compiler and a still-growing libraryof more than 1,000 domains and categories. FriCAS provides a strongly typed high-level programming language called SPAD and a similar interactive languagethat uses type-inferencing for convenience. Aldor was intentionally developed being the next generation compiler for the Axiom CAS and its forks. FriCAS (optionally) allows running Aldor programs. Both languagesshare a similar syntax and a sophisticated (dependent) type system. FriCAS is comprehensively documented and available as source code and as a binary distribution for the most commonplatforms. Compiling the sources requires besides other prerequisites a Common Lisp environment (wherebymany of the major implementations are supported and freely available as open source). FriCAS runs on many POSIX platforms such as Linux, macOS, Unix,BSD as well as under Cygwin andMicrosoft Windows (WSL). (en) |
| dbo:developer | https://fricas.github.io/contributors.html |
| dbo:latestReleaseDate | 2022-06-21 (xsd:date) |
| dbo:latestReleaseVersion | 1.3.8 |
| dbo:license | dbr:BSD_licenses |
| dbo:wikiPageExternalLink | http://www.open-axiom.org http://fricas-wiki.math.uni.wroc.pl/RosettaStone http://www.axiom-developer.org/ https://fricas.github.io/ https://pypi.org/project/jfricas/ http://fricas-wiki.math.uni.wroc.pl/ http://fricas-wiki.math.uni.wroc.pl/Rosetta http://fricas-wiki.math.uni.wroc.pl/SandBox http://fricas-wiki.math.uni.wroc.pl/images/Rosetta.pdf https://fricas.github.io/api/index.html https://fricas.github.io/contributors.html http://rosettacode.org/wiki/Category:SPAD https://github.com/fricas/fricas https://github.com/fricas/jfricas https://groups.google.com/forum/%23!forum/fricas-devel https://sourceforge.net/p/fricas/code/HEAD/tree/ |
| dbo:wikiPageID | 20506812 (xsd:integer) |
| dbo:wikiPageLength | 6343 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1094299068 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:A_Sharp_(Axiom) dbr:List_of_computer_algebra_systems dbr:Berkeley_Software_Distribution dbr:Dependent_type dbr:Algorithm dbr:Unix dbr:Interpreter_(computing) dbr:Library_(computing) dbc:Common_Lisp_(programming_language)_software dbc:Software_using_the_BSD_license dbr:Common_Lisp dbr:Compiler dbr:Cross-platform dbr:Linux dbr:MacOS dbr:Stream_(computer_science) dbr:Computer_algebra_system dbr:Mathematical_software dbr:Axiom_(computer_algebra_system) dbr:BSD_licenses dbr:Type_system dbr:Windows_Subsystem_for_Linux dbr:Aldor dbr:Cygwin dbr:POSIX dbr:Fork_(software_development) dbr:Source_code dbc:Free_software_programmed_in_Lisp dbr:High-level_programming_language dbc:Computer_algebra_system_software_for_Linux dbc:Free_computer_algebra_systems dbr:Software_distribution dbr:Microsoft_Windows dbr:Open-source_software dbr:Type_inference dbr:IBM_Research dbr:Strong_and_weak_typing dbr:Risch_algorithm |
| dbp:developer | Waldek Hebisch + independent group of people (en) |
| dbp:fileExt | , , (en) |
| dbp:genre | dbr:Computer_algebra_system dbr:Mathematical_software |
| dbp:latestReleaseDate | 2022-06-21 (xsd:date) |
| dbp:latestReleaseVersion | 1.300000 (xsd:double) |
| dbp:license | dbr:BSD_licenses |
| dbp:name | FriCAS (en) |
| dbp:operatingSystem | dbr:Cross-platform |
| dbp:programmingLanguage | SPAD, Aldor, Boot, Common Lisp (en) |
| dbp:status | Active (en) |
| dbp:website | https://fricas.github.io/ |
| dbp:wikiPageUsesTemplate | dbt:Infobox_programming_language dbt:Portal dbt:Reflist dbt:Start_date_and_age dbt:Computer_algebra_systems |
| dcterms:subject | dbc:Common_Lisp_(programming_language)_software dbc:Software_using_the_BSD_license dbc:Free_software_programmed_in_Lisp dbc:Computer_algebra_system_software_for_Linux dbc:Free_computer_algebra_systems |
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage |
| rdfs:comment | FriCAS is a general purpose computer algebra system with a strong focus on mathematical research and development of new algorithms. It comprises an interpreter, a compiler and a still-growing libraryof more than 1,000 domains and categories. FriCAS is comprehensively documented and available as source code and as a binary distribution for the most commonplatforms. Compiling the sources requires besides other prerequisites a Common Lisp environment (wherebymany of the major implementations are supported and freely available as open source). (en) FriCAS ist ein Allzweck-Computeralgebrasystem mit einem starken Fokus auf mathematische Forschung und Entwicklung neuer Algorithmen. Es besteht aus einem Interpreter, einem Compiler und einer immer noch wachsenden Bibliothek mit mehr als 1.000 Domänen und Kategorien. FriCAS ist umfassend dokumentiert und sowie als Quellcode als auch in binärer Form für die gängigsten Plattformen erhältlich. Das Kompilieren der Quellen erfordert neben anderen Voraussetzungen eine Common-Lisp-Umgebung (wobei viele der wichtigsten Implementierungen unterstützt werden und als Open Source frei verfügbar sind). (de) |
| rdfs:label | FriCAS (de) FriCAS (en) |
| owl:sameAs | wikidata:FriCAS dbpedia-de:FriCAS https://global.dbpedia.org/id/2gaCS |
| prov:wasDerivedFrom | wikipedia-en:FriCAS?oldid=1094299068&ns=0 |
| foaf:homepage | https://fricas.github.io/ |
| foaf:isPrimaryTopicOf | wikipedia-en:FriCAS |
| foaf:name | (en) FriCAS (en) |
| foaf:page | https://fricas.github.io/ |
| is dbo:wikiPageRedirects of | dbr:Fricas |
| is dbo:wikiPageWikiLink of | dbr:List_of_computer_algebra_systems dbr:SageMath dbr:GNU_TeXmacs dbr:Axiom_(computer_algebra_system) dbr:Interval_arithmetic dbr:Risch_algorithm dbr:Fricas |
| is foaf:primaryTopic of | wikipedia-en:FriCAS |