Optimal code for serial and parallel computation. - Richard J. Fateman (Commun. ACM, 1969)

The user-level semantic matching capability in MACSYMA. - Richard J. Fateman (SYMSAC, 1971)

The MACSYMA system. - William A. Martin; Richard J. Fateman (SYMSAC, 1971)

Solution to problem #7 using MACSYMA. - Richard J. Fateman; Joel Moses; Paul Wang (SIGSAM Bull., 1974)

Polynomial Multiplication, Powers and Asymptotic Analysis: Some Comments. - Richard J. Fateman (SIAM J. Comput., 1974)

Simplification of radical expressions. - Bob F. Caviness; Richard J. Fateman (SYMSACC, 1976)

The MACSYMA "big-floating-point" arithmetic system. - Richard J. Fateman (SYMSACC, 1976)

An approach to automatic asymptotic expansions. - Richard J. Fateman (SYMSACC, 1976)

Final problem set excerpts. - Richard J. Fateman (SIGSAM Bull., 1976)

An Algorithm for Deciding the Convergence of the Rational Iteration xn+1 = f(xn). - Richard J. Fateman (ACM Trans. Math. Softw., 1977)

Is a LISP machine different from a fortran machine? - Richard J. Fateman (SIGSAM Bull., 1978)

A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'. - Richard J. Fateman (SYMSACC, 1981)

Views on transportability of Lisp and Lisp-based systems. - Richard J. Fateman (SYMSACC, 1981)

Computer algebra and numerical integration. - Richard J. Fateman (SYMSACC, 1981)

Characterization of VAX Macsyma. - John K. Foderaro; Richard J. Fateman (SYMSACC, 1981)

Symbolic and algebraic computer programming systems. - Richard J. Fateman (SIGSAM Bull., 1981)

High-Level Language Implications of the Proposed IEEE Floating-Point Standard. - Richard J. Fateman (ACM Trans. Program. Lang. Syst., 1982)

My view of the future of symbolic and algebraic computation. - Richard J. Fateman (SIGSAM Bull., 1984)

Eleven proofs of sin2x+cos2x = 1. - Richard J. Fateman (SIGSAM Bull., 1985)

Comments on SMP. - Richard J. Fateman (SIGSAM Bull., 1985)

TEX output from MACSYMA-like systems. - Richard J. Fateman (SIGSAM Bull., 1987)

Commentary on: solving symbolic equations with PRESS. - Richard J. Fateman; Alan Bundy; Richard A. O'Keefe; Leon Sterling (SIGSAM Bull., 1988)

Inaccuracies in Program Profilers. - Carl Ponder; Richard J. Fateman (Softw. Pract. Exp., 1988)

A MACSYMA Package for the Generation and Manipulation of Chebyshev Series. - T. H. Einwohner; Richard J. Fateman (ISSAC, 1989)

Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. - Richard J. Fateman (ISSAC, 1989)

Lookup Tables, Recurrences and Complexity. - Richard J. Fateman (ISSAC, 1989)

Speed and data structures in computer algebra systems. - Richard J. Fateman; Carl Ponder (SIGSAM Bull., 1989)

A Review of Macsyma. - Richard J. Fateman (IEEE Trans. Knowl. Data Eng., 1989)

Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. - Richard J. Fateman (ISSAC, 1990)

A lisp-language Mathematica-to-lisp translator. - Richard J. Fateman (SIGSAM Bull., 1990)

Canonical Representations in Lisp and Applications to Computer Algebra systems. - Richard J. Fateman (ISSAC, 1991)

A simple display package for polynomials and rational functions in common Lisp. - Richard J. Fateman; Derek T. Lai (SIGSAM Bull., 1991)

Endpaper: FRPOLY: A Benchmark Revisited. - Richard J. Fateman (LISP Symb. Comput., 1991)

On finding the closest bitwise matches in a fixed set. - Peter Klier; Richard J. Fateman (ACM Trans. Math. Softw., 1991)

Honest Plotting, Global Extrema, and Interval Arithmetic. - Richard J. Fateman (ISSAC, 1992)

A Review of Mathematica. - Richard J. Fateman (J. Symb. Comput., 1992)

Automatic Differentiation of Algorithms: Theory, Implementation, and Application (Andreas Griewank and George F. Corliss, eds.). - Richard J. Fateman (SIAM Rev., 1993)

Optical Character Recognition for Typeset Mathematics. - Benjamin P. Berman; Richard J. Fateman (ISSAC, 1994)

Branch Cuts in Computer Algebra. - Adam Dingle; Richard J. Fateman (ISSAC, 1994)

Searching Techniques for Integral Tables. - T. H. Einwohner; Richard J. Fateman (ISSAC, 1995)

Evaluation of the Heuristic Polynomial GCD. - Hsin-Chao Liao; Richard J. Fateman (ISSAC, 1995)

Fast Floating Point Processing in Common Lisp. - Richard J. Fateman; Kevin A. Broughan; Diane M. K. Willcock; Duane Rettig (ACM Trans. Math. Softw., 1995)

Progress in recognizing typeset mathematics. - Richard J. Fateman; Taku A. Tokuyasu (Document Recognition, 1996)

Symbolic Mathematics System Evaluators (extended abstract). - Richard J. Fateman (ISSAC, 1996)

Why computer algebra systems sometimes can't solve simple equations. - Richard J. Fateman (SIGSAM Bull., 1996)

Speeding up Lisp-based symbolic mathematics. - Richard J. Fateman; Mark Hayden (SIGSAM Bull., 1996)

Optical Character Recognition and Parsing of Typeset Mathematics1. - Richard J. Fateman; Taku Tokuyasu; Benjamin P. Berman; Nicholas Mitchell (J. Vis. Commun. Image Represent., 1996)

More Versatile Scientific Document. - Richard J. Fateman (ICDAR, 1997)

Network Servers for Symbolic Mathematics. - Richard J. Fateman (ISSAC, 1997)

Review of Gradshetyn and Ryzhik, CD-Rom version. - Richard J. Fateman (SIGSAM Bull., 1997)

A short note on short differentiation programs in lisp, and a comment on lagarithmic differentiation. - Richard J. Fateman (SIGSAM Bull., 1998)

Symbolic execution and NaNs: diagnostic tools for tracking scientific computation. - Richard J. Fateman (SIGSAM Bull., 1999)

Parsing TEX into mathematics. - Richard J. Fateman; Eylon Caspi (SIGSAM Bull., 1999)

Symbolic computation of divided differences. - William Kahan; Richard J. Fateman (SIGSAM Bull., 1999)

How to find mathematics on a scanned page. - Richard J. Fateman (Document Recognition and Retrieval, 2000)

Pessimal Print: A Reverse Turing Test. - Allison L. Coates; Richard J. Fateman; Henry S. Baird (ICDAR, 2001)

Software Fault Prevention by Language Choice: Why C is Not My Favorite Language. - Richard J. Fateman (Adv. Comput., 2002)

High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. - Richard J. Fateman (ISSAC, 2003)

Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. - Richard J. Fateman; Raymond Toy (ISSAC, 2003)

Comparing the speed of programs for sparse polynomial multiplication. - Richard J. Fateman (SIGSAM Bull., 2003)

Memory cache and lisp: faster list processing via automatically rearranging memory. - Richard J. Fateman (SIGSAM Bull., 2003)

PessimalPrint: a reverse Turing test. - Henry S. Baird; Allison L. Coates; Richard J. Fateman (Int. J. Document Anal. Recognit., 2003)

Extracting mathematical expressions from postscript documents. - Michael Yang; Richard J. Fateman (ISSAC, 2004)

Algorithm Differentiation in Lisp: ADIL. - Richard J. Fateman (ACM Commun. Comput. Algebra, 2014)

Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration. - Richard J. Fateman (ACM Commun. Comput. Algebra, 2015)