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

Showing results 1 to 20 of 34.
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. Moses, Joel: Macsyma: A personal history (2012)
  6. Monagan, Michael; Vrbik, Paul: Lazy and forgetful polynomial arithmetic and applications (2009)
  7. Brunelli, J. C.: PSEUDO: applications of streams and lazy evaluation to integrable models (2004)
  8. Karczmarczuk, Jerzy: Generating power of lazy semantics (1997)
  9. Ligatsikas, Zenon; Rioboo, R.; Roy, M. F.: Generic computation of the real closure of an ordered field. (1996) ioport
  10. Ligatsikas, Zenon; Rioboo, R.; Roy, M. F.: Generic computation of the real closure of an ordered field. (1996)
  11. Arnault, F.: Rabin-Miller primality test: Composite numbers which pass it (1995)
  12. Jenks, Richard D.; Trager, Barry M.: How to make AXIOM into a scratchpad (1994)
  13. Seiler, Werner M.: Pseudo differential operators and integrable systems in AXIOM (1994)
  14. Sit, William Y.: An algorithm for solving parametric linear systems (1992)
  15. Comon, H.; Lugiez, D.; Schnoebelen, Ph.: A rewrite-based type discipline for a subset of computer algebra (1991)
  16. Gentili, Graziano; O’Connor, Michael A.: Rational geometry in space (1991)
  17. Lidl, Rudolf: Computational problems in the theory of finite fields (1991)
  18. Thissell, William R.; Mills, Patrick L.: Some applications of computerized symbolic manipulation in the analysis of chemical engineering systems (1991)
  19. Bronstein, Manuel: Integration of elementary functions (1990)
  20. Bronstein, Manuel: The transcendental Risch differential equation (1990)

1 2 next