Axiom Technical Reports

• TR1/94 ATR/7 (NP2680)
  Production of Argument SubPrograms in the AXIOM - NAG link: examples involving nonlinear systems.
  Keady, G. and Nolan, G.

• TR2/93 (ATR/6) (NP2556)
  Primality Testing Revisited
  Davenport, J.H.
  postscript, compressed
  Rabin's algorithm is commonly used in computer algebra systems and elsewhere for primality testing. This paper presents an experience with this in the Axiom computer algebra system. As a result of this experience, we suggest certain strengthenings of the algorithm.

• TR7/92 (ATR/5) (NP2522)
  Finite Fields in AXIOM
  Grabmeier, J. and Scheerhorn, A.
  postscript, compressed

• TR6/92 (ATR/4) (NP2493)
  How does one program in the AXIOM System
  Davenport, J.H.
  postscript, compressed

• TR5/92 (ATR/3) (NP2492)
  The AXIOM System
  Davenport, J.H.
  postscript, compressed

• TR4/92 (ATR/2) (NP2491)
  Scratchpad's View of Algebra II: A Categorical View of Factorization
  Davenport, J.H, Gianni, P. and Trager, B.M.
  postscript, compressed

• TR3/92 (ATR/1) (NP2490)
  Scratchpad's View of Algebra I: Basic Commutative Algebra
  Davenport, J.H and Trager, B.M.
  postscript, compressed