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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 165 articles , 3 standard articles )

Showing results 1 to 20 of 165.
Sorted by year (citations)

1 2 3 ... 7 8 9 next

  1. 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)
  2. Carette, Jacques; Farmer, William M.: Formalizing mathematical knowledge as a biform theory graph: a case study (2017)
  3. Á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)
  4. Lambe, Larry A.: An algebraic study of the Klein bottle (2016)
  5. Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
  6. Ballarin, Clemens: Locales: a module system for mathematical theories (2014)
  7. Chen, Changbo; Covanov, Svyatoslav; Mansouri, Farnam; Maza, Marc Moreno; Xie, Ning; Xie, Yuzhen: Basic polynomial algebra subprograms (2014)
  8. van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
  9. Jolly, Raphaël: Categories as type classes in the Scala algebra system (2013)
  10. Rojas-Bruna, Carlos: Trace forms and ideals on commutative algebras satisfying an identity of degree four (2013)
  11. Aharonovich, I.; Horwitz, L. P.: Radiation-reaction in classical off-shell electrodynamics. I: The above mass-shell case (2012)
  12. Dos Reis, Gabriel: A system for axiomatic programming (2012)
  13. Ardizzoni, Alessandro; Stumbo, Fabio: Quadratic Lie algebras. (2011)
  14. Carette, Jacques; Kiselyov, Oleg: Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (2011)
  15. Dos Reis, Gabriel; Matthews, David; Li, Yue: Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework (2011)
  16. Kredel, Heinz: Unique factorization domains in the Java computer algebra system (2011)
  17. Kredel, Heinz; Jolly, Raphael: Algebraic structures as typed objects (2011)
  18. Spitters, Bas; van der Weegen, Eelis: Type classes for mathematics in type theory (2011)
  19. Kredel, Heinz; Jolly, Raphael: Generic, type-safe and object oriented computer algebra software (2010)
  20. Lecerf, Grégoire: Mathemagix: towards large scale programming for symbolic and certified numeric computations (2010)

1 2 3 ... 7 8 9 next