Richard J. Fateman

Affiliations:

University of California, Berkeley, USA

According to our database¹, Richard J. Fateman authored at least 65 papers between 1969 and 2015.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Awards

ACM Fellow

ACM Fellow 1999, "For seminal contributions to the development of MACSYMA and symbolic processing systems.".

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2015

Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration.

[BibT_eX]

[DOI]

Richard J. Fateman

ACM Commun. Comput. Algebra, 2015

2014

Algorithm Differentiation in Lisp: ADIL.

[BibT_eX]

[DOI]

Richard J. Fateman

ACM Commun. Comput. Algebra, 2014

2004

Extracting mathematical expressions from postscript documents.

[BibT_eX]

[DOI]

Michael Yang

Richard J. Fateman

Proceedings of the Symbolic and Algebraic Computation, 2004

2003

PessimalPrint: a reverse Turing test.

[BibT_eX]

[DOI]

Henry S. Baird

Allison L. Coates

Richard J. Fateman

Int. J. Document Anal. Recognit., 2003

Memory cache and lisp: faster list processing via automatically rearranging memory.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 2003

Comparing the speed of programs for sparse polynomial multiplication.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 2003

Converting call-by-reference to call-by-value: Fortran and Lisp coexisting.

[BibT_eX]

[DOI]

Richard J. Fateman

Raymond Toy

Proceedings of the Symbolic and Algebraic Computation, 2003

High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the Symbolic and Algebraic Computation, 2003

2002

Software Fault Prevention by Language Choice: Why C is Not My Favorite Language.

[BibT_eX]

[DOI]

Richard J. Fateman

Adv. Comput., 2002

2001

Pessimal Print: A Reverse Turing Test.

[BibT_eX]

[DOI]

Allison L. Coates

Richard J. Fateman

Henry S. Baird

Proceedings of the 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 2001

2000

How to find mathematics on a scanned page.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the Document Recognition and Retrieval VII, 2000

1999

Symbolic computation of divided differences.

[BibT_eX]

[DOI]

William Kahan

Richard J. Fateman

SIGSAM Bull., 1999

Parsing TEX into mathematics.

[BibT_eX]

[DOI]

Richard J. Fateman

Eylon Caspi

SIGSAM Bull., 1999

Symbolic execution and NaNs: diagnostic tools for tracking scientific computation.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1999

1998

A short note on short differentiation programs in lisp, and a comment on lagarithmic differentiation.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1998

1997

Review of Gradshetyn and Ryzhik, CD-Rom version.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1997

Network Servers for Symbolic Mathematics.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

More Versatile Scientific Document.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the 4th International Conference Document Analysis and Recognition (ICDAR '97), 1997

1996

Optical Character Recognition and Parsing of Typeset Mathematics1.

[BibT_eX]

[DOI]

J. Vis. Commun. Image Represent., 1996

Speeding up Lisp-based symbolic mathematics.

[BibT_eX]

[DOI]

Richard J. Fateman

Mark Hayden

SIGSAM Bull., 1996

Why computer algebra systems sometimes can't solve simple equations.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1996

Symbolic Mathematics System Evaluators (extended abstract).

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, 1996

Progress in recognizing typeset mathematics.

[BibT_eX]

[DOI]

Richard J. Fateman

Taku A. Tokuyasu

Proceedings of the Document Recognition III, San Jose, CA, USA, January 28, 1996, 1996

1995

Fast Floating Point Processing in Common Lisp.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 1995

Evaluation of the Heuristic Polynomial GCD.

[BibT_eX]

[DOI]

Hsin-Chao Liao

Richard J. Fateman

Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

Searching Techniques for Integral Tables.

[BibT_eX]

[DOI]

T. H. Einwohner

Richard J. Fateman

Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

1994

Branch Cuts in Computer Algebra.

[BibT_eX]

[DOI]

Adam Dingle

Richard J. Fateman

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

Optical Character Recognition for Typeset Mathematics.

[BibT_eX]

[DOI]

Benjamin P. Berman

Richard J. Fateman

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1993

Automatic Differentiation of Algorithms: Theory, Implementation, and Application (Andreas Griewank and George F. Corliss, eds.).

[BibT_eX]

[DOI]

Richard J. Fateman

SIAM Rev., 1993

1992

A Review of Mathematica.

[BibT_eX]

[DOI]

Richard J. Fateman

J. Symb. Comput., 1992

Honest Plotting, Global Extrema, and Interval Arithmetic.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

1991

On finding the closest bitwise matches in a fixed set.

[BibT_eX]

[DOI]

Peter Klier

Richard J. Fateman

ACM Trans. Math. Softw., 1991

Endpaper: FRPOLY: A Benchmark Revisited.

[BibT_eX]

Richard J. Fateman

LISP Symb. Comput., 1991

A simple display package for polynomials and rational functions in common Lisp.

[BibT_eX]

[DOI]

Richard J. Fateman

Derek T. Lai

SIGSAM Bull., 1991

Canonical Representations in Lisp and Applications to Computer Algebra systems.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

1990

A lisp-language Mathematica-to-lisp translator.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1990

Advances and Trends in the Design and Construction of Algebraic Manipulation Systems.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1989

A Review of Macsyma.

[BibT_eX]

[DOI]

Richard J. Fateman

IEEE Trans. Knowl. Data Eng., 1989

Speed and data structures in computer algebra systems.

[BibT_eX]

[DOI]

Richard J. Fateman

Carl Ponder

SIGSAM Bull., 1989

Lookup Tables, Recurrences and Complexity.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

A MACSYMA Package for the Generation and Manipulation of Chebyshev Series.

[BibT_eX]

[DOI]

T. H. Einwohner

Richard J. Fateman

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988

Inaccuracies in Program Profilers.

[BibT_eX]

[DOI]

Carl Ponder

Richard J. Fateman

Softw. Pract. Exp., 1988

Commentary on: solving symbolic equations with PRESS.

[BibT_eX]

[DOI]

SIGSAM Bull., 1988

1987

TEX output from MACSYMA-like systems.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1987

1985

Comments on SMP.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1985

Eleven proofs of sin2x+cos2x = 1.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1985

1984

My view of the future of symbolic and algebraic computation.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1984

1982

High-Level Language Implications of the Proposed IEEE Floating-Point Standard.

[BibT_eX]

[DOI]

Richard J. Fateman

ACM Trans. Program. Lang. Syst., 1982

1981

Symbolic and algebraic computer programming systems.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1981

Characterization of VAX Macsyma.

[BibT_eX]

[DOI]

John K. Foderaro

Richard J. Fateman

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981

Computer algebra and numerical integration.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981

Views on transportability of Lisp and Lisp-based systems.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981

A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981

1978

Is a LISP machine different from a fortran machine?

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1978

1977

An Algorithm for Deciding the Convergence of the Rational Iteration xn+1 = f(xn).

[BibT_eX]

Richard J. Fateman

ACM Trans. Math. Softw., 1977

1976

Final problem set excerpts.

[BibT_eX]

[DOI]

Richard J. Fateman

SIGSAM Bull., 1976

An approach to automatic asymptotic expansions.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

The MACSYMA "big-floating-point" arithmetic system.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

Simplification of radical expressions.

[BibT_eX]

[DOI]

Bob F. Caviness

Richard J. Fateman

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

1974

Polynomial Multiplication, Powers and Asymptotic Analysis: Some Comments.

[BibT_eX]

[DOI]

Richard J. Fateman

SIAM J. Comput., 1974

Solution to problem #7 using MACSYMA.

[BibT_eX]

[DOI]

Richard J. Fateman

Joel Moses

Paul Wang

SIGSAM Bull., 1974

1971

The MACSYMA system.

[BibT_eX]

[DOI]

William A. Martin

Richard J. Fateman

Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, 1971

The user-level semantic matching capability in MACSYMA.

[BibT_eX]

[DOI]

Richard J. Fateman

Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, 1971

1969

Optimal code for serial and parallel computation.

[BibT_eX]

[DOI]

Richard J. Fateman

Commun. ACM, 1969

Richard J. Fateman

Awards

ACM Fellow

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...