| 2004 |
|---|
| 28 | EE | Michael Yang,
Richard J. Fateman:
Extracting mathematical expressions from postscript documents.
ISSAC 2004: 305-311 |
| 2003 |
|---|
| 27 | EE | Richard J. Fateman:
High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense.
ISSAC 2003: 88-94 |
| 26 | EE | Richard J. Fateman,
Raymond Toy:
Converting call-by-reference to call-by-value: Fortran and Lisp coexisting.
ISSAC 2003: 95-102 |
| 25 | EE | Henry S. Baird,
Allison L. Coates,
Richard J. Fateman:
PessimalPrint: a reverse Turing test.
IJDAR 5(2-3): 158-163 (2003) |
| 2002 |
|---|
| 24 | | Richard J. Fateman:
Software Fault Prevention by Language Choice: Why C is Not My Favorite Language.
Advances in Computers 56: 168-189 (2002) |
| 2001 |
|---|
| 23 | EE | Allison L. Coates,
Richard J. Fateman,
Henry S. Baird:
Pessimal Print: A Reverse Turing Test.
ICDAR 2001: 1154-1158 |
| 1997 |
|---|
| 22 | EE | Richard J. Fateman:
More Versatile Scientific Document.
ICDAR 1997: 1107-1110 |
| 21 | | Richard J. Fateman:
Network Servers for Symbolic Mathematics.
ISSAC 1997: 249-256 |
| 1996 |
|---|
| 20 | EE | Richard J. Fateman:
Symbolic Mathematics System Evaluators (extended abstract).
ISSAC 1996: 86-94 |
| 1995 |
|---|
| 19 | EE | T. H. Einwohner,
Richard J. Fateman:
Searching Techniques for Integral Tables.
ISSAC 1995: 133-139 |
| 18 | EE | Hsin-Chao Liao,
Richard J. Fateman:
Evaluation of the Heuristic Polynomial GCD.
ISSAC 1995: 240-247 |
| 17 | EE | 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): 26-62 (1995) |
| 1994 |
|---|
| 16 | EE | Adam Dingle,
Richard J. Fateman:
Branch Cuts in Computer Algebra.
ISSAC 1994: 250-257 |
| 15 | EE | Benjamin P. Berman,
Richard J. Fateman:
Optical Character Recognition for Typeset Mathematics.
ISSAC 1994: 348-353 |
| 1992 |
|---|
| 14 | EE | Richard J. Fateman:
Honest Plotting, Global Extrema, and Interval Arithmetic.
ISSAC 1992: 216-223 |
| 13 | | Richard J. Fateman:
A Review of Mathematica.
J. Symb. Comput. 13(5): 545-579 (1992) |
| 1991 |
|---|
| 12 | EE | Richard J. Fateman:
Canonical Representations in Lisp and Applications to Computer Algebra systems.
ISSAC 1991: 360-369 |
| 11 | | Richard J. Fateman:
Endpaper: FRPOLY: A Benchmark Revisited.
Lisp and Symbolic Computation 4(2): 155-164 (1991) |
| 1990 |
|---|
| 10 | EE | Richard J. Fateman:
Advances and Trends in the Design and Construction of Algebraic Manipulation Systems.
ISSAC 1990: 60-67 |
| 1989 |
|---|
| 9 | EE | Richard J. Fateman:
Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence.
ISSAC 1989: 11-16 |
| 8 | EE | T. H. Einwohner,
Richard J. Fateman:
A MACSYMA Package for the Generation and Manipulation of Chebyshev Series.
ISSAC 1989: 180-185 |
| 7 | EE | Richard J. Fateman:
Lookup Tables, Recurrences and Complexity.
ISSAC 1989: 68-73 |
| 6 | EE | Richard J. Fateman:
A Review of Macsyma.
IEEE Trans. Knowl. Data Eng. 1(1): 133-145 (1989) |
| 1988 |
|---|
| 5 | | Carl Ponder,
Richard J. Fateman:
Inaccuracies in Program Profilers.
Softw., Pract. Exper. 18(5): 459-467 (1988) |
| 1982 |
|---|
| 4 | EE | Richard J. Fateman:
High-Level Language Implications of the Proposed IEEE Floating-Point Standard.
ACM Trans. Program. Lang. Syst. 4(2): 239-257 (1982) |
| 1977 |
|---|
| 3 | | Richard J. Fateman:
An Algorithm for Deciding the Convergence of the Rational Iteration xn+1 = f(xn).
ACM Trans. Math. Softw. 3(3): 272-278 (1977) |
| 1974 |
|---|
| 2 | | Richard J. Fateman:
Polynomial Multiplication, Powers and Asymptotic Analysis: Some Comments.
SIAM J. Comput. 3(3): 196-213 (1974) |
| 1969 |
|---|
| 1 | EE | Richard J. Fateman:
Optimal code for serial and parallel computation.
Commun. ACM 12(12): 694-695 (1969) |
