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 21 articles , 1 standard article )

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

1 2 next

  1. Galán-García, José L.; Aguilera-Venegas, Gabriel; Galán-García, María Á.; Rodríguez-Cielos, Pedro; Atencia-Mc. Killop, Iván: Improving CAS capabilities: new rules for computing improper integrals (2018)
  2. Lambe, Larry A.: An algebraic study of the Klein bottle (2016)
  3. van der Hoeven, Joris: Overview of the Mathemagix type system (2014)
  4. Dos Reis, Gabriel: A system for axiomatic programming (2012)
  5. Monagan, Michael; Vrbik, Paul: Lazy and forgetful polynomial arithmetic and applications (2009)
  6. Brunelli, J. C.: PSEUDO: applications of streams and lazy evaluation to integrable models (2004)
  7. Karczmarczuk, Jerzy: Generating power of lazy semantics (1997)
  8. Ligatsikas, Zenon; Rioboo, R.; Roy, M. F.: Generic computation of the real closure of an ordered field. (1996) ioport
  9. Ligatsikas, Zenon; Rioboo, R.; Roy, M. F.: Generic computation of the real closure of an ordered field. (1996)
  10. Seiler, Werner M.: Pseudo differential operators and integrable systems in AXIOM (1994)
  11. Comon, H.; Lugiez, D.; Schnoebelen, Ph.: A rewrite-based type discipline for a subset of computer algebra (1991)
  12. Gentili, Graziano; O’Connor, Michael A.: Rational geometry in space (1991)
  13. Lidl, Rudolf: Computational problems in the theory of finite fields (1991)
  14. Bronstein, Manuel: The transcendental Risch differential equation (1990)
  15. Bronstein, Manuel: Integration of elementary functions (1990)
  16. Burge, William H.; Watt, Stephen M.: Infinite structures in Scratchpad II (1989)
  17. Kusche, K.; Kutzler, B.; Mayr, H.: Implementation of a geometry theorem proving package in SCRATCHPAD II (1989)
  18. Neff, C. Andrew: Decomposing algebraic sets using Gröbner bases (1989)
  19. Gebauer, Rüdiger; Möller, H. Michael: On an installation of Buchberger’s algorithm (1988)
  20. Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M.: Scratchpad II: An abstract datatype system for mathematical computation (1988)

1 2 next