Editing Axiom (computer algebra system) (section)

== Further reading ==

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