| 2004 | ISSAC | Extracting mathematical expressions from postscript documents. | Michael Yang, Richard J. Fateman |
| 2003 | ISSAC | High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. | Richard J. Fateman |
| 2003 | ISSAC | Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. | Richard J. Fateman, Raymond Toy |
| 2001 | ICDAR | Pessimal Print: A Reverse Turing Test. | Allison L. Coates, Richard J. Fateman, Henry S. Baird |
| 1997 | ICDAR | More Versatile Scientific Document. | Richard J. Fateman |
| 1997 | ISSAC | Network Servers for Symbolic Mathematics. | Richard J. Fateman |
| 1996 | ISSAC | Symbolic Mathematics System Evaluators (extended abstract). | Richard J. Fateman |
| 1995 | ISSAC | Searching Techniques for Integral Tables. | T. H. Einwohner, Richard J. Fateman |
| 1995 | ISSAC | Evaluation of the Heuristic Polynomial GCD. | Hsin-Chao Liao, Richard J. Fateman |
| 1994 | ISSAC | Optical Character Recognition for Typeset Mathematics. | Benjamin P. Berman, Richard J. Fateman |
| 1994 | ISSAC | Branch Cuts in Computer Algebra. | Adam Dingle, Richard J. Fateman |
| 1992 | ISSAC | Honest Plotting, Global Extrema, and Interval Arithmetic. | Richard J. Fateman |
| 1991 | ISSAC | Canonical Representations in Lisp and Applications to Computer Algebra systems. | Richard J. Fateman |
| 1990 | ISSAC | Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. | Richard J. Fateman |
| 1989 | ISSAC | A MACSYMA Package for the Generation and Manipulation of Chebyshev Series. | T. H. Einwohner, Richard J. Fateman |
| 1989 | ISSAC | Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. | Richard J. Fateman |
| 1989 | ISSAC | Lookup Tables, Recurrences and Complexity. | Richard J. Fateman |
| 1981 | ISSAC | A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'. | Richard J. Fateman |
| 1981 | ISSAC | Views on transportability of Lisp and Lisp-based systems. | Richard J. Fateman |
| 1981 | ISSAC | Computer algebra and numerical integration. | Richard J. Fateman |
| 1981 | ISSAC | Characterization of VAX Macsyma. | John K. Foderaro, Richard J. Fateman |
| 1976 | ISSAC | Simplification of radical expressions. | Bob F. Caviness, Richard J. Fateman |
| 1976 | ISSAC | The MACSYMA "big-floating-point" arithmetic system. | Richard J. Fateman |
| 1976 | ISSAC | An approach to automatic asymptotic expansions. | Richard J. Fateman |