Richard J. Fateman

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