Stephen M. Watt

151 papers A 9B 28C 6Misc 31Journal 35Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Symbolic Computing Perspective on Software Systems. Languages, Compilers, Analysis Arthur C. Norman, Stephen M. Watt
2026	—	`conf`	GPU Implementations for Midsize Integer Addition and Multiplication. Languages, Compilers, Analysis Cosmin E. Oancea, Stephen M. Watt
2025	J	`jnl`	Generative AI for Multiple Choice STEM Assessments. CoRR Christina Perdikoulias, Chad Vance, Stephen M. Watt
2025	J	`jnl`	Semi-Centennial REDUCE. CoRR Arthur C. Norman, Stephen M. Watt
2025	B	`conf`	Software Portability for Computer Algebra. CASC Arthur C. Norman, Stephen M. Watt
2025	J	`jnl`	Software Portability for Computer Algebra. CoRR Arthur C. Norman, Stephen M. Watt
2025	B	`conf`	Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. ISSAC Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt
2025	J	`jnl`	Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. CoRR Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt
2025	J	`jnl`	Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition. CoRR Robert M. Corless, Deepak Singh Kalhan, Stephen M. Watt
2024	J	`jnl`	A First Look at Chebyshev-Sobolev Series for Digital Ink. CoRR Deepak Singh Kalhan, Stephen M. Watt
2024	J	`jnl`	A Symbolic Computing Perspective on Software Systems. CoRR Arthur C. Norman, Stephen M. Watt
2024	J	`jnl`	Algorithms for Recursive Block Matrices. CoRR Stephen M. Watt
2024	Misc	`conf`	An Abstraction-Preserving Block Matrix Implementation in Maple. SYNASC Stephen M. Watt, David J. Jeffrey
2024	J	`jnl`	An Abstraction-Preserving Block Matrix Implementation in Maple. CoRR David J. Jeffrey, Stephen M. Watt
2024	B	`conf`	Computing Clipped Products. CASC Arthur C. Norman, Stephen M. Watt
2024	J	`jnl`	Computing Clipped Products. CoRR Arthur C. Norman, Stephen M. Watt
2024	J	`jnl`	GPU Implementations for Midsize Integer Addition and Multiplication. CoRR Cosmin E. Oancea, Stephen M. Watt
2024	—	`ed.`	Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024. SCSS (Work in Progress) Katsusuke Nabeshima, Stephen M. Watt
2024	—	`ed.`	Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings SCSS Stephen M. Watt, Tetsuo Ida
2024	C	`conf`	Using General Large Language Models to Classify Mathematical Documents. CICM Patrick D. F. Ion, Stephen M. Watt
2024	J	`jnl`	Using General Large Language Models to Classify Mathematical Documents. CoRR Patrick D. F. Ion, Stephen M. Watt
2023	J	`jnl`	Efficient Quotients Using Exact Arithmetic. CoRR Stephen M. Watt
2023	J	`jnl`	Efficient Quotients of Non-Commutative Polynomials. CoRR Stephen M. Watt
2023	B	`conf`	Efficient Quotients of Non-commutative Polynomials. CASC Stephen M. Watt
2023	C	`conf`	Extracting Theory Graphs from Aldor Libraries. CICM Florian Rabe, Stephen M. Watt
2023	Misc	`conf`	Hybrid Intervals and Symbolic Block Matrices. SYNASC Mike Ghesquiere, Stephen M. Watt
2023	J	`jnl`	Hybrid Intervals and Symbolic Block Matrices. CoRR Mike Ghesquiere, Stephen M. Watt
2023	Misc	`conf`	The Inverse of the Complex Gamma Function. SYNASC D. J. Jeffrey, Stephen M. Watt
2023	J	`jnl`	The Inverse of the Complex Gamma Function. CoRR David J. Jeffrey, Stephen M. Watt
2022	Misc	`conf`	Detecting Implicit Indeterminates in Symbolic Computation. SYNASC Stephen M. Watt
2022	C	`conf`	Working with Families of Inverse Functions. CICM David J. Jeffrey, Stephen M. Watt
2021	J	`jnl`	Telescopers for differential forms with one parameter. CoRR Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, Stephen M. Watt
2019	Misc	`conf`	A Review of Algorithms for Symbolic Domains. SYNASC Stephen M. Watt
2019	Misc	`conf`	Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation. SYNASC Parisa Alvandi, Stephen M. Watt
2019	—	`conf`	The LegendreSobolev Package and Its Applications in Handwriting Recognition. MC Parisa Alvandi, Stephen M. Watt
2018	Misc	`conf`	Real-Time Computation of Legendre-Sobolev Approximations. SYNASC Parisa Alvandi, Stephen M. Watt
2017	Misc	`ed.`	19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017 SYNASC Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie, Tetsuo Ida, Stephen M. Watt
2017	—	`conf`	Origami folds in higher-dimension. SCSS Tetsuo Ida, Stephen M. Watt
2017	J	`jnl`	TCS SNC Preface. Theor. Comput. Sci. Jan Verschelde, Stephen M. Watt, Lihong Zhi
2017	C	`conf`	The Global Digital Mathematics Library and the International Mathematical Knowledge Trust. CICM Patrick D. F. Ion, Stephen M. Watt
2016	Misc	`ed.`	18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 SYNASC James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2016	Misc	`conf`	Combinatorics of Hybrid Sets. SYNASC Shaoshi Chen, Stephen M. Watt
2016	Misc	`conf`	How to Build a Global Digital Mathematics Library. SYNASC Stephen M. Watt
2016	J	`jnl`	Thematic program in computer algebra: July 1 - Dec 31, 2015. ACM Commun. Comput. Algebra George Labahn, Stephen M. Watt
2015	Misc	`ed.`	17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015 SYNASC Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2014	Misc	`ed.`	16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014 SYNASC Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2014	Misc	`conf`	Distance-based High-frequency Trading. ICCS Travis Felker, Vadim Mazalov, Stephen M. Watt
2014	C	`ed.`	Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings CICM Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban
2014	—	`ed.`	Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CICM Workshops Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt
2014	—	`ed.`	Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014 SNC Lihong Zhi, Stephen M. Watt
2013	Misc	`ed.`	15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013 SYNASC Nikolaj S. Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2013	—	`conf`	Determining Points on Handwritten Mathematical Symbols. MKM/Calculemus/DML Rui Hu, Stephen M. Watt
2013	J	`jnl`	Determining Points on Handwritten Mathematical Symbols. CoRR Rui Hu, Stephen M. Watt
2013	J	`jnl`	Guest Editors' foreword. J. Symb. Comput. Wolfram Koepf, Stephen M. Watt
2013	Misc	`conf`	Identifying Features via Homotopy on Handwritten Mathematical Symbols. SYNASC Rui Hu, Stephen M. Watt
2013	—	`conf`	InkChat: a collaboration tool for mathematics. CICM Workshops Rui Hu, Stephen M. Watt
2013	—	`conf`	Recommendation systems in mathematical character recognition. CICM Workshops Vadim Mazalov, Stephen M. Watt
2012	Misc	`ed.`	14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012 SYNASC Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2012	—	`conf`	A Streaming Digital Ink Framework for Multi-party Collaboration. AISC/MKM/Calculemus Rui Hu, Vadim Mazalov, Stephen M. Watt
2012	B	`conf`	A Structure for Adaptive Handwriting Recognition. ICFHR Vadim Mazalov, Stephen M. Watt
2012	—	`conf`	Improving isolated and in-context classication of handwritten characters. DRR Vadim Mazalov, Stephen M. Watt
2012	B	`conf`	Lightweight Abstraction for Mathematical Computation in Java. CASC Pavel Bourdykine, Stephen M. Watt
2012	B	`conf`	Linear Compression of Digital Ink via Point Selection. Document Analysis Systems Vadim Mazalov, Stephen M. Watt
2012	B	`conf`	Optimization of Point Selection on Digital Ink Curves. ICFHR Rui Hu, Stephen M. Watt
2012	B	`conf`	Recognition of Relatively Small Handwritten Characters or "Size Matters". ICFHR Vadim Mazalov, Stephen M. Watt
2012	Misc	`conf`	What is an Equation? SYNASC Solomon Marcus, Stephen M. Watt
2012	—	`conf`	Writing on Clouds. AISC/MKM/Calculemus Vadim Mazalov, Stephen M. Watt
2011	Misc	`ed.`	13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011 SYNASC Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2011	J	`jnl`	An architecture for generic extensions. Sci. Comput. Program. Cosmin E. Oancea, Stephen M. Watt
2011	Misc	`conf`	Computational Tools for Mathematical Collaboration. SYNASC Stephen M. Watt
2011	J	`jnl`	In honour of Keith Geddes on his 60th birthday. J. Symb. Comput. Mark Giesbrecht, Stephen M. Watt
2011	—	`conf`	Polynomial approximation in handwriting recognition. SNC Stephen M. Watt
2010	Misc	`ed.`	12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010 SYNASC Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2010	B	`conf`	Digital Ink Compression via Functional Approximation. ICFHR Vadim Mazalov, Stephen M. Watt
2010	J	`jnl`	Distance-based classification of handwritten symbols. Int. J. Document Anal. Recognit. Oleg Golubitsky, Stephen M. Watt
2010	B	`conf`	Improved classification through runoff elections. Document Analysis Systems Oleg Golubitsky, Stephen M. Watt
2010	Misc	`conf`	On the Mathematics of Mathematical Handwriting Recognition. SYNASC Stephen M. Watt
2010	—	`conf`	Symbolic Domain Decomposition. AISC/MKM/Calculemus Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
2010	J	`jnl`	Symbolic Domain Decomposition. CoRR Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
2010	B	`conf`	Toward affine recognition of handwritten mathematical characters. Document Analysis Systems Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt
2010	B	`conf`	Type Specialization in Aldor. CASC Laurentiu Dragan, Stephen M. Watt
2009	Misc	`ed.`	11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009 SYNASC Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie
2009	A	`conf`	A Collaborative Interface for Multimodal Ink and Audio Documents. ICDAR Amit Regmi, Stephen M. Watt
2009	C	`conf`	A new approach to parallelising tracing algorithms. ISMM Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt
2009	—	`conf`	Algorithms for the Functional Decomposition of Laurent Polynomials. Calculemus/MKM Stephen M. Watt
2009	B	`conf`	Computing with abstract matrix structures. ISSAC Alan P. Sexton, Volker Sorge, Stephen M. Watt
2009	—	`conf`	Confidence Measures in Recognizing Handwritten Mathematical Symbols. Calculemus/MKM Oleg Golubitsky, Stephen M. Watt
2009	—	`ed.`	Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings Calculemus/MKM Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt
2009	A	`conf`	Online Recognition of Multi-Stroke Symbols with Orthogonal Series. ICDAR Oleg Golubitsky, Stephen M. Watt
2009	—	`conf`	Online computation of similarity between handwritten characters. DRR Oleg Golubitsky, Stephen M. Watt
2009	—	`conf`	Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM Alan P. Sexton, Volker Sorge, Stephen M. Watt
2008	Misc	`conf`	Abstract Matrix Arithmetic. SYNASC Alan P. Sexton, Volker Sorge, Stephen M. Watt
2008	B	`conf`	An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. Document Analysis Systems Stephen M. Watt
2008	Misc	`conf`	Communicating Mathematics via Pen-Based Interfaces. SYNASC Elena S. Smirnova, Stephen M. Watt
2008	—	`conf`	Functional Decomposition of Symbolic Polynomials. ICCSA Workshops Stephen M. Watt
2008	J	`jnl`	On the functional decomposition of multivariate laurent polynomials (abstract only). ACM Commun. Comput. Algebra Stephen M. Watt
2008	—	`conf`	Online stroke modeling for handwriting recognition. CASCON Oleg Golubitsky, Stephen M. Watt
2007	A	`conf`	Aspects of Mathematical Expression Analysis in Arabic Handwriting. ICDAR Elena S. Smirnova, Stephen M. Watt
2007	—	`conf`	Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction. ILC Geoff Wozniak, Mark Daley, Stephen M. Watt
2007	—	`conf`	Generation and optimisation of code using coxeter lattice paths. PASCO Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt
2007	A	`conf`	Hybrid Mathematical Symbol Recognition Using Support Vector Machines. ICDAR Birendra Keshari, Stephen M. Watt
2007	—	`conf`	Multiprocessed parallelism support in ALDOR on SMPs and multicores. PASCO Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie
2007	A	`conf`	New Aspects of InkML for Pen-Based Computing. ICDAR Stephen M. Watt
2007	—	`ed.`	Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada PASCO Marc Moreno Maza, Stephen M. Watt
2007	A	`conf`	Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. ICDAR Bruce W. Char, Stephen M. Watt
2007	A	`conf`	Streaming-Archival InkML Conversion. ICDAR Birendra Keshari, Stephen M. Watt
2007	—	`ed.`	Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada SNC Stephen M. Watt, Jan Verschelde
2006	—	`conf`	06271 Abstracts Collection -- Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt
2006	—	`conf`	06271 Executive Summary - Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt
2006	B	`conf`	A Localized Tracing Scheme Applied to Garbage Collection. APLAS Yannis Chicha, Stephen M. Watt
2006	—	`conf`	A technique for generic iteration and its optimization. ICFP-WGP Stephen M. Watt
2006	B	`conf`	Algorithms for Symbolic Polynomials. CASC Stephen M. Watt
2006	—	`ed.`	Challenges in Symbolic Computation Software, 02.07. - 07.07.2006 Challenges in Symbolic Computation Software Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt
2006	—	`conf`	Coxeter Lattice Paths. Challenges in Symbolic Computation Software Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt
2006	Misc	`conf`	Improving Pen-Based Mathematical Interfaces. SYNASC Stephen M. Watt
2006	—	`conf`	Pivot-Free Block Matrix Inversion. Challenges in Symbolic Computation Software Stephen M. Watt
2006	Misc	`conf`	Pivot-Free Block Matrix Inversion. SYNASC Stephen M. Watt
2006	—	`conf`	Two Families of Algorithms for Symbolic Polynomials. Challenges in Symbolic Computation Software Stephen M. Watt
2005	J	`jnl`	Algebraic generalization. SIGSAM Bull. Stephen M. Watt
2005	—	`conf`	Determining Empirical Characteristics of Mathematical Expression Use. MKM Clare M. So, Stephen M. Watt
2005	Misc	`conf`	Distributed Models of Thread Level Speculation. PDPTA Cosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt
2005	B	`conf`	Domains and expressions: an interface between two approaches to computer algebra. ISSAC Cosmin E. Oancea, Stephen M. Watt
2005	A	`conf`	Parametric polymorphism for software component architectures. OOPSLA Cosmin E. Oancea, Stephen M. Watt
2005	Misc	`conf`	Performance Analysis of Generics in Scientific Computing. SYNASC Laurentiu Dragan, Stephen M. Watt
2005	A	`conf`	Recognition for Large Sets of Handwritten Mathematical Symbols. ICDAR Stephen M. Watt, Xiaofang Xie
2005	—	`conf`	Towards an Accessible Web through Semantic Web Standards. CPSN Clare M. So, Mark Perry, Stephen M. Watt
2004	—	`conf`	An Architecture for Distributed Mathematical Web Services. MKM Elena S. Smirnova, Clare M. So, Stephen M. Watt
2004	J	`jnl`	QR factoring to compute the GCD of univariate approximate polynomials. IEEE Trans. Signal Process. Robert M. Corless, Stephen M. Watt, Lihong Zhi
2003	J	`jnl`	Approximate computation of pseudovarieties. SIGSAM Bull. Robert M. Corless, Hiroshi Kai, Stephen M. Watt
2003	J	`jnl`	Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. Ann. Math. Artif. Intell. Bill Naylor, Stephen M. Watt
2002	B	`conf`	A geometric-numeric algorithm for absolute factorization of multivariate polynomials. ISSAC Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt
2002	J	`jnl`	Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt
2001	B	`conf`	Towards factoring bivariate approximate polynomials. ISSAC Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt
2000	J	`jnl`	"According to Abramowitz and Stegun" or arccoth needn't be uncouth. SIGSAM Bull. Robert M. Corless, David J. Jeffrey, Stephen M. Watt, James H. Davenport
2000	Misc	`conf`	Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. AISC Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt
2000	Misc	`conf`	Reasoning about the Elementary Functions of Complex Analysis. AISC Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt
1999	B	`conf`	Approximate polynomial decomposition. ISSAC Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt
1999	J	`jnl`	Examples of MathML. SIGSAM Bull. Stephen M. Watt, Xuehong Li
1998	J	`jnl`	Report on the SNAP minisymposium at SIAM '98. SIGSAM Bull. Robert M. Corless, Stephen M. Watt
1997	B	`conf`	A Numerical Absolute Primality Test for Bivariate Polynomials. ISSAC André Galligo, Stephen M. Watt
1997	B	`conf`	An OpenMath 1.0 Implementation. ISSAC Stéphane Dalmas, Marc Gaëtano, Stephen M. Watt
1996	J	`jnl`	Message from the Chair. SIGSAM Bull. Stephen M. Watt
1995	B	`conf`	On the Implementation of Dynamic Evaluation. ISSAC Peter A. Broadbery, Teresa Gomez-Diaz, Stephen M. Watt
1995	B	`conf`	The Singular Value Decomposition for Polynomial Systems. ISSAC Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt
1994	B	`conf`	A First Report on the A ISSAC Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach, Robert S. Sutor
1991	B	`ed.`	Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991 ISSAC Stephen M. Watt
1989	—	`ed.`	Computers and Mathematics, Third Computers and Mathematics Conference, MIT, Cambridge, Massachusetts, USA, June 13-17, 1989. Computers and Mathematics Erich L. Kaltofen, Stephen M. Watt
1988	B	`conf`	A Fixed Point Method for Power Series Computation. ISSAC Stephen M. Watt
1987	—	`conf`	Infinite structures in SCRATCHPAD II. EUROCAL William H. Burge, Stephen M. Watt
1987	—	`conf`	Scratchpad II: An Abstract Datatype System for Mathematical Computation. Trends in Computer Algebra Richard D. Jenks, Robert S. Sutor, Stephen M. Watt
1985	—	`conf`	A System for Parallel Computer Algebra Programs. European Conference on Computer Algebra (2) Stephen M. Watt