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.

Keywords for this software

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

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: The transcendental Risch differential equation (1990)
  20. Bronstein, Manuel: Integration of elementary functions (1990)

1 2 next