AXIOM
Axiom is a general purpose Computer Algebra system (CAS). It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler
This software is also referenced in ORMS.

Keywords for this software
References in zbMATH (referenced in 170 articles , 3 standard articles )
Showing results 1 to 20 of 170.
Sorted by year (- Jia, Yifeng; Xiao, Dongliang: The application of differential characteristic set method to pseudo differential operator and Lax representation (2019)
- Roanes-Lozano, Eugenio; Galán-García, Jose Luis; Solano-Macías, Carmen: Some reflections about the success and impact of the computer algebra system \textitDERIVEwith a 10-year time perspective (2019)
- Chammam, Wathek; Alhussain, Ziyad A.: On formal continued fractions related to power series expansion (2018)
- Carette, Jacques; Farmer, William M.: Formalizing mathematical knowledge as a biform theory graph: a case study (2017)
- Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas: \textsfSC(^2): satisfiability checking meets symbolic computation. (Project paper) (2016)
- Lambe, Larry A.: An algebraic study of the Klein bottle (2016)
- Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
- Ballarin, Clemens: Locales: a module system for mathematical theories (2014)
- Chen, Changbo; Covanov, Svyatoslav; Mansouri, Farnam; Maza, Marc Moreno; Xie, Ning; Xie, Yuzhen: Basic polynomial algebra subprograms (2014)
- Chen, Changbo; Covanov, Svyatoslav; Mansouri, Farnam; Maza, Marc Moreno; Xie, Ning; Xie, Yuzhen: The basic polynomial algebra subprograms (2014)
- van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
- Jolly, Raphaël: Categories as type classes in the Scala algebra system (2013)
- Rojas-Bruna, Carlos: Trace forms and ideals on commutative algebras satisfying an identity of degree four (2013)
- Aharonovich, I.; Horwitz, L. P.: Radiation-reaction in classical off-shell electrodynamics. I: The above mass-shell case (2012)
- Dos Reis, Gabriel: A system for axiomatic programming (2012)
- Ardizzoni, Alessandro; Stumbo, Fabio: Quadratic Lie algebras. (2011)
- Carette, Jacques; Kiselyov, Oleg: Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (2011)
- Dos Reis, Gabriel; Matthews, David; Li, Yue: Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework (2011)
- Kredel, Heinz: Unique factorization domains in the Java computer algebra system (2011)
- Kredel, Heinz; Jolly, Raphael: Algebraic structures as typed objects (2011)