Richard J. Fateman

Publication Activity (10 Years)

Years Active: 1969-2015
Publications (10 Years): 1

Top Topics

Computer Algebra Systems

Top Venues

ACM Commun. Comput. Algebra

Publications

Richard J. Fateman
Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration. ACM Commun. Comput. Algebra 49 (2) (2015)
Richard J. Fateman
Algorithm Differentiation in Lisp: ADIL. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Michael Yang, Richard J. Fateman
Extracting mathematical expressions from postscript documents. ISSAC (2004)
Henry S. Baird, Allison L. Coates, Richard J. Fateman
PessimalPrint: a reverse Turing test. Int. J. Document Anal. Recognit. 5 (2-3) (2003)
Richard J. Fateman
Memory cache and lisp: faster list processing via automatically rearranging memory. SIGSAM Bull. 37 (4) (2003)
Richard J. Fateman
High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. ISSAC (2003)
Richard J. Fateman, Raymond Toy
Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. ISSAC (2003)
Richard J. Fateman
Comparing the speed of programs for sparse polynomial multiplication. SIGSAM Bull. 37 (1) (2003)
Richard J. Fateman
Software Fault Prevention by Language Choice: Why C is Not My Favorite Language. Adv. Comput. 56 (2002)
Allison L. Coates, Richard J. Fateman, Henry S. Baird
Pessimal Print: A Reverse Turing Test. ICDAR (2001)
Richard J. Fateman
How to find mathematics on a scanned page. Document Recognition and Retrieval (2000)
Richard J. Fateman, Eylon Caspi
Parsing TEX into mathematics. SIGSAM Bull. 33 (3) (1999)
William Kahan, Richard J. Fateman
Symbolic computation of divided differences. SIGSAM Bull. 33 (2) (1999)
Richard J. Fateman
Symbolic execution and NaNs: diagnostic tools for tracking scientific computation. SIGSAM Bull. 33 (3) (1999)
Richard J. Fateman
A short note on short differentiation programs in lisp, and a comment on lagarithmic differentiation. SIGSAM Bull. 32 (3) (1998)
Richard J. Fateman
Review of Gradshetyn and Ryzhik, CD-Rom version. SIGSAM Bull. 31 (4) (1997)
Richard J. Fateman
More Versatile Scientific Document. ICDAR (1997)
Richard J. Fateman
Network Servers for Symbolic Mathematics. ISSAC (1997)
Richard J. Fateman
Symbolic Mathematics System Evaluators (extended abstract). ISSAC (1996)
Richard J. Fateman, Taku Tokuyasu, Benjamin P. Berman, Nicholas Mitchell
. J. Vis. Commun. Image Represent. 7 (1) (1996)
Richard J. Fateman, Mark Hayden
Speeding up Lisp-based symbolic mathematics. SIGSAM Bull. 30 (1) (1996)
Richard J. Fateman, Taku A. Tokuyasu
Progress in recognizing typeset mathematics. Document Recognition (1996)
Richard J. Fateman
Why computer algebra systems sometimes can't solve simple equations. SIGSAM Bull. 30 (2) (1996)
Hsin-Chao Liao, Richard J. Fateman
Evaluation of the Heuristic Polynomial GCD. ISSAC (1995)
T. H. Einwohner, Richard J. Fateman
Searching Techniques for Integral Tables. ISSAC (1995)
Richard J. Fateman, Kevin A. Broughan, Diane M. K. Willcock, Duane Rettig
Fast Floating Point Processing in Common Lisp. ACM Trans. Math. Softw. 21 (1) (1995)
Adam Dingle, Richard J. Fateman
Branch Cuts in Computer Algebra. ISSAC (1994)
Benjamin P. Berman, Richard J. Fateman
Optical Character Recognition for Typeset Mathematics. ISSAC (1994)
Richard J. Fateman
Automatic Differentiation of Algorithms: Theory, Implementation, and Application (Andreas Griewank and George F. Corliss, eds.). SIAM Rev. 35 (4) (1993)
Richard J. Fateman
A Review of Mathematica. J. Symb. Comput. 13 (5) (1992)
Richard J. Fateman
Honest Plotting, Global Extrema, and Interval Arithmetic. ISSAC (1992)
Richard J. Fateman
Canonical Representations in Lisp and Applications to Computer Algebra systems. ISSAC (1991)
Peter Klier, Richard J. Fateman
On finding the closest bitwise matches in a fixed set. ACM Trans. Math. Softw. 17 (1) (1991)
Richard J. Fateman, Derek T. Lai
A simple display package for polynomials and rational functions in common Lisp. SIGSAM Bull. 25 (4) (1991)
Richard J. Fateman
Endpaper: FRPOLY: A Benchmark Revisited. LISP Symb. Comput. 4 (2) (1991)
Richard J. Fateman
A lisp-language Mathematica-to-lisp translator. SIGSAM Bull. 24 (2) (1990)
Richard J. Fateman
Advances and Trends in the Design and Construction of Algebraic Manipulation Systems. ISSAC (1990)
Richard J. Fateman, Carl Ponder
Speed and data structures in computer algebra systems. SIGSAM Bull. 23 (2) (1989)
Richard J. Fateman
Lookup Tables, Recurrences and Complexity. ISSAC (1989)
Richard J. Fateman
Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. ISSAC (1989)
T. H. Einwohner, Richard J. Fateman
A MACSYMA Package for the Generation and Manipulation of Chebyshev Series. ISSAC (1989)
Richard J. Fateman
A Review of Macsyma. IEEE Trans. Knowl. Data Eng. 1 (1) (1989)
Carl Ponder, Richard J. Fateman
Inaccuracies in Program Profilers. Softw. Pract. Exp. 18 (5) (1988)
Richard J. Fateman, Alan Bundy, Richard A. O'Keefe, Leon Sterling
Commentary on: solving symbolic equations with PRESS. SIGSAM Bull. 22 (2) (1988)
Richard J. Fateman
X output from MACSYMA-like systems. SIGSAM Bull. 21 (4) (1987)
Richard J. Fateman
Comments on SMP. SIGSAM Bull. 19 (3) (1985)
Richard J. Fateman
x = 1. SIGSAM Bull. 19 (2) (1985)
Richard J. Fateman
My view of the future of symbolic and algebraic computation. SIGSAM Bull. 18 (2) (1984)
Richard J. Fateman
High-Level Language Implications of the Proposed IEEE Floating-Point Standard. ACM Trans. Program. Lang. Syst. 4 (2) (1982)
Richard J. Fateman
Computer algebra and numerical integration. SYMSACC (1981)
Richard J. Fateman
Views on transportability of Lisp and Lisp-based systems. SYMSACC (1981)
Richard J. Fateman
Symbolic and algebraic computer programming systems. SIGSAM Bull. 15 (1) (1981)
Richard J. Fateman
A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'. SYMSACC (1981)
John K. Foderaro, Richard J. Fateman
Characterization of VAX Macsyma. SYMSACC (1981)
Richard J. Fateman
Is a LISP machine different from a fortran machine? SIGSAM Bull. 12 (3) (1978)
Richard J. Fateman
). ACM Trans. Math. Softw. 3 (3) (1977)
Richard J. Fateman
Final problem set excerpts. SIGSAM Bull. 10 (3) (1976)
Richard J. Fateman
The MACSYMA "big-floating-point" arithmetic system. SYMSACC (1976)
B. F. Caviness, Richard J. Fateman
Simplification of radical expressions. SYMSACC (1976)
Richard J. Fateman
An approach to automatic asymptotic expansions. SYMSACC (1976)
Richard J. Fateman, Joel Moses, Paul Wang
Solution to problem #7 using MACSYMA. SIGSAM Bull. 8 (2) (1974)
Richard J. Fateman
Polynomial Multiplication, Powers and Asymptotic Analysis: Some Comments. SIAM J. Comput. 3 (3) (1974)
Richard J. Fateman
The user-level semantic matching capability in MACSYMA. SYMSAC (1971)
William A. Martin, Richard J. Fateman
The MACSYMA system. SYMSAC (1971)
Richard J. Fateman
Optimal code for serial and parallel computation. Commun. ACM 12 (12) (1969)