IBM Scratchpad

Axiom is a general purpose Computer Algebra system. 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. Axiom has been in development since 1971. At that time, it was called Scratchpad. Scratchpad was a large, general purpose computer algebra system (CAS) that was originally developed by IBM under the direction of Richard Jenks.


References in zbMATH (referenced in 17 articles , 1 standard article )

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

  1. Lambe, Larry A.: An algebraic study of the Klein bottle (2016)
  2. van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
  3. Dos Reis, Gabriel: A system for axiomatic programming (2012)
  4. Brunelli, J.C.: PSEUDO: applications of streams and lazy evaluation to integrable models (2004)
  5. Karczmarczuk, Jerzy: Generating power of lazy semantics (1997)
  6. Ligatsikas, Zenon; Rioboo, R.; Roy, M. F.: Generic computation of the real closure of an ordered field. (1996)
  7. Seiler, Werner M.: Pseudo differential operators and integrable systems in AXIOM (1994)
  8. Comon, H.; Lugiez, D.; Schnoebelen, Ph.: A rewrite-based type discipline for a subset of computer algebra (1991)
  9. Gentili, Graziano; O’Connor, Michael A.: Rational geometry in space (1991)
  10. Lidl, Rudolf: Computational problems in the theory of finite fields (1991)
  11. Bronstein, Manuel: The transcendental Risch differential equation (1990)
  12. Bronstein, Manuel: Integration of elementary functions (1990)
  13. Burge, William H.; Watt, Stephen M.: Infinite structures in Scratchpad II (1989)
  14. Neff, C.Andrew: Decomposing algebraic sets using Gröbner bases (1989)
  15. Gebauer, Rüdiger; Möller, H.Michael: On an installation of Buchberger’s algorithm (1988)
  16. Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M.: Scratchpad II: An abstract datatype system for mathematical computation (1988)
  17. Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M.: Scratchpad II: An abstract datatype system for mathematical computation (1988)