OpenAxiom swMATH ID: 9353 Software Authors: Description: OpenAxiom is an open source platform for symbolic, algebraic, and numerical computations. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. OpenAxiom strives to support ubiquitous, advanced, high quality open source computer algebra on major operating systems, in particular major Unix variants, GNU/Linux variants, Windows, and handheld devices. It aims at being the open source computer algebra system of choice for research, teaching, engineering, etc Homepage: http://www.open-axiom.org/ Related Software: AXIOM; Poly/ML; ALDOR; Maple; Isabelle; FoCaL; Zenon; C-CoRN; MetaPRL; PVS; Isabelle/HOL; Coq Cited in: 3 Publications Cited by 3 Authors 2 Dos Reis, Gabriel 2 Li, Yue 1 Rioboo, Renaud Cited in 2 Serials 1 Annals of Mathematics and Artificial Intelligence 1 ACM Communications in Computer Algebra Cited in 2 Fields 3 Computer science (68-XX) 1 General algebraic systems (08-XX) Citations by Year