Axiom (bilgisayarlı cebir sistemi)
Konuyla ilgili okumalar

James H. Griesmer; Richard D. Jenks (1971). "SCRATCHPAD/1: An interactive facility for symbolic mathematics | Proceedings of the second ACM symposium on Symbolic and algebraic manipulation (SYMSAC '71)": 42-58.
Richard D. Jenks (1971). META/PLUS - The Syntax Extension Facility for SCRATCHPAD (Research report). IBM Thomas J. Watson Research Center. RC 3259.
James H. Griesmer; Richard D. Jenks (1972). "Experience with an online symbolic mathematics system | Proceedings of the ONLINE72 Conference". 1. Brunel University: 457-476.
James H. Griesmer; Richard D. Jenks (1972). "Scratchpad". ACM SIGPLAN Notices. 7 (10): 93-102. doi:10.1145/942576.807019.
Richard D. Jenks (1974). "The SCRATCHPAD language". ACM SIGSAM Bulletin. 8 (2): 20-30. doi:10.1145/1086830.1086834.
Arthur C. Norman (1975). "Computing with Formal Power Series". ACM Transactions on Mathematical Software. 1 (4): 346-356. doi:10.1145/355656.355660. ISSN 0098-3500.
Richard D. Jenks (1976). "A pattern compiler | Proceedings of the third ACM symposium on Symbolic and algebraic manipulation (SYMSAC '76)": 60-65.
E. Lueken (1977). Ueberlegungen zur Implementierung eines Formelmanipulationssystems (Masters thesis) (Almanca). Germany: Technischen Universitat Carolo-Wilhelmina zu Braunschweig.
George E. Andrews (1984). "MACSYMA". Schenectady: General Electric: 383-408.
James H. Davenport; P. Gianni; Richard D. Jenks; V. Miller; Scott Morrison; M. Rothstein; C. Sundaresan; Robert S. Sutor; Barry Trager (1984). "Scratchpad". Mathematical Sciences Department, IBM Thomas J. Watson Research Center.
Richard D. Jenks (1984). "The New SCRATCHPAD Language and System for Computer Algebra". Proceedings of the 1984 MACSYMA Users' Conference: 409-416.
Richard D. Jenks (1984). "A primer: 11 keys to New Scratchpad | Proceedings of International Symposium on Symbolic and Algebraic Computation '84". Springer: 123-147.
Robert S. Sutor (1985). "The Scratchpad II Computer Algebra Language and System | Proceedings of International Symposium on Symbolic and Algebraic Computation '85". Springer: 32-33.
Rüdiger Gebauer; H. Michael Möller (1986). Buchberger's algorithm and staggered linear bases | Proceedings of the fifth ACM symposium on Symbolic and algebraic computation (International Symposium on Symbolic and Algebraic Computation '86). ACM. ss. 218-221. ISBN 978-0-89791-199-3.
Richard D. Jenks; Robert S. Sutor; Stephen M. Watt (1986). Scratchpad II: an abstract datatype system for mathematical computation (Research report). IBM Thomas J. Watson Research Center. RC 12327.
Michael Lucks; Bruce W. Char (1986). A fast implementation of polynomial factorization | Proceedings of SYMSAC '86. ACM. ss. 228-232. ISBN 978-0-89791-199-3.
J. Purtilo (1986). Applications of a software interconnection system in mathematical problem solving environments | Proceedings of SYMSAC '86. ACM. ss. 16-23. ISBN 978-0-89791-199-3.
William H. Burge; Stephen M. Watt (1987). Infinite Structure in SCRATCHPAD II (Research report). IBM Thomas J. Watson Research Center. RC 12794.
Pascale Sénéchaud; Françoise Siebert; Gilles Villard (1987). Scratchpad II: Présentation d'un nouveau langage de calcul formel. TIM (Research report) (Fransızca). IMAG, Grenoble Institute of Technology. 640-M.
Robert S. Sutor; Richard D. Jenks (1987). "The type inference and coercion facilities in the scratchpad II interpreter". Papers of the Symposium on Interpreters and interpretive techniques - SIGPLAN '87. ss. 56-63. doi:10.1145/29650.29656. ISBN 978-0-89791-235-8.
George E. Andrews (1988).  R. Janssen (Ed.). Application of SCRATCHPAD to problems in special functions and combinatorics | Trends in Computer Algebra. Lecture Notes in Computer Science. Springer. ss. 159-166.
James H. Davenport; Yvon Siret; Evelyne Tournier (1993) [1988]. Computer Algebra: Systems and Algorithms for Algebraic Computation. Academic Press. ISBN 978-0122042300.
Rüdiger Gebauer; H. Michael Möller (1988). "On an installation of Buchberger's algorithm". Journal of Symbolic Computation. 6 (2–3): 275-286. doi:10.1016/s0747-7171(88)80048-8 . ISSN 0747-7171.
Fritz Schwarz (1988).  R. Janssen (Ed.). Programming with abstract data types: the symmetry package (SPDE) in Scratchpad | Trends in Computer Algebra. Lecture Notes in Computer Science. Springer. ss. 167-176.
David Shannon; Moss Sweedler (1988). "Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence". Journal of Symbolic Computation. 6 (2–3): 267-273. doi:10.1016/s0747-7171(88)80047-6 .
Hans-J. Boehm (1989). "Type inference in the presence of type abstraction". ACM SIGPLAN Notices. 24 (7): 192-206. doi:10.1145/74818.74835.
Manuel Bronstein (1989). "Simplification of real elementary functions | Proceedings of the International Symposium on Symbolic and Algebraic Computation (SIGSAM '89)". ACM: 207-211.
Claire Dicrescenzo; Dominique Duval (1989).  P. Gianni (Ed.). "Algebraic extensions and algebraic closure in Scratchpad II | Symbolic and Algebraic Computation". Springer: 440-446.
Timothy Daly "Axiom -- Thirty Years of Lisp"
Timothy Daly "Axiom" Invited Talk, Free Software Conference, Lyon, France, May, 2002
Timothy Daly "Axiom" Invited Talk, Libre Software Meeting, Metz, France, July 9–12, 2003