Richard Fateman

Q: What Schools Are Affiliated With Richard Fateman

Richard Fateman is affiliated with the following schools: University of California, Berkeley, Massachusetts Institute of Technology, Stanford University, Union College, New York, Harvard University

Richard Fateman's AcademicInfluence.com Rankings

Richard Fateman

Computer Science

#1390

World Rank

#1438

Historical Rank

#691

USA Rank

Database

#3341

World Rank

#3482

Historical Rank

#623

USA Rank

computer-science Degrees

Download Badge

Computer Science

Richard Fateman's Degrees

PhD Computer Science Stanford University
Masters Mathematics Stanford University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Richard Fateman Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Richard J Fateman is a professor emeritus of computer science at the University of California, Berkeley. He received a BS in Physics and Mathematics from Union College in June, 1966, and a Ph.D. in Applied Mathematics from Harvard University in June, 1971. He was a major contributor to the Macsyma computer algebra system at MIT and later to the Franz Lisp system. His current interests include scientific programming environments; computer algebra systems; distributed computing; analysis of algorithms; programming and measurement of large systems; design and implementation of programming languages; and optical character recognition. In 1999, he was inducted as a Fellow of the Association for Computing Machinery.

(See a Problem?)

Richard Fateman's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

IEEE Standard for Floating-Point Arithmetic (2008) (1446)
A System for Doing Mathematics by Computer. (1992) (559)
PessimalPrint: a reverse Turing test (2001) (220)
The MACSYMA system (1971) (135)
An American National Standard- IEEE Standard for Binary Floating-Point Arithmetic (1985) (102)
Automatic Differentiation of Algorithms: Theory, Implementation, and Application (Andreas Griewank and George F. Corliss, eds.) (1993) (87)
Optical Character Recognition and Parsing of Typeset Mathematics1 (1996) (76)
A Review of Mathematica (1992) (52)
Comparing the speed of programs for sparse polynomial multiplication (2003) (49)
Optical character recognition for typeset mathematics (1994) (44)
Characterization of VAX Macsyma (1981) (40)
Progress in recognizing typeset mathematics (1996) (33)
ESSAYS IN ALGEBRAIC SIMPLIFICATION (1972) (31)
Polynomial Multiplication, Powers and Asymptotic Analysis: Some Comments (1974) (29)
Searching techniques for integral tables (1995) (29)
Inaccuracies in program profilers (1988) (28)
Lookup tables, recurrences and complexity (1989) (25)
Honest plotting, global extrema, and interval arithmetic (1992) (25)
Branch cuts in computer algebra (1994) (24)
How can we speak math (1998) (22)
How to find mathematics on a scanned page (1999) (22)
Fast floating-point processing in Common Lisp (1995) (21)
The Maxima Book (2003) (21)
Simplification of radical expressions (1976) (21)
Advances and trends in the design and construction of algebraic manipulation systems (1990) (20)
Extracting mathematical expressions from postscript documents (2004) (19)
Mathematical Computation with Maple V: Ideas and Applications (1993) (16)
A Review of Macsyma (1989) (16)
Symbolic computation of divided differences (1999) (15)
Evaluation of the heuristic polynomial GCD (1995) (15)
The user-level semantic matching capability in MACSYMA (1971) (15)
The MACSYMA “big-floating-point” arithmetic system (1976) (14)
On the Computation of Powers of Sparse Polynomials (1974) (13)
Symbolic Mathematics System Evaluators (2002) (11)
Reply to an editorial (1973) (11)
Optimal code for serial and parallel computation (1969) (10)
Software Fault Prevention by Language Choice: Why C is Not My Favorite Language (2002) (10)
Computer algebra and numerical integration (1981) (10)
High-Level Language Implications of the Proposed IEEE Floating-Point Standard (1982) (9)
Why computer algebra systems sometimes can't solve simple equations (1996) (9)
Network servers for symbolic mathematics (1997) (9)
More versatile scientific documents (1997) (8)
Handwriting + Speech for Computer Entry of Mathematics Work in Progress (2004) (8)
TEX output from MACSYMA-like systems (1987) (8)
Math Speak & Write , a Computer Program to Read and Hear Mathematical Input (2004) (8)
A lisp-language Mathematica-to-lisp translator (1990) (8)
On the multiplication of poisson series (1974) (7)
Can you save time in multiplying polynomials by encoding them as integers? (2003) (7)
A MACSYMA package for the generation and manipulation of chebyshev series (1989) (7)
Towards an E cient Implementation of Interval Arithmetic (6)
A case study in interlanguage communication: Fast LISP polynomial operations written in 'C' (1981) (6)
DRAFT 11 : What ’ s it worth to write a short program for polynomial multiplication ? (2010) (6)
A short note on short differentiation programs in lisp, and a comment on lagarithmic differentiation (1998) (5)
Is a LISP machine different from a fortran machine? (1978) (5)
Improving Exact Integrals From Symbolic Algebra Systems (2000) (5)
When is FFT multiplication of arbitrary-precision polynomials practical? (2006) (5)
Differential equation for Alfvén ion cyclotron waves in finite‐length plasma (1978) (5)
Parsing TEX into mathematics (1999) (4)
An improved algorithm for the isolation of polynomial real zeros (1977) (4)
Revisiting numeric / symbolic indefinite integration of rational functions , and extensions (2004) (4)
Some comments on series solutions (1977) (4)
Symbolic mathematics system evaluators (extended abstract) (1996) (4)
My view of the future of symbolic and algebraic computation (1984) (4)
Endpaper: FRPOLY: A benchmark revisited (1991) (4)
Computation with the Extended Rational Numbers and an Application to Interval Arithmetic (1994) (4)
Rational Function Computing with Poles and Residues (2004) (3)
On finding the closest bitwise matches in a fixed set (1991) (3)
Comments on SMP (1985) (3)
Importing Pre-packaged Software into Lisp: Experience with Arbitrary-Precision Floating-Point Numbers (2000) (3)
Solution to problem #7 using MACSYMA (1974) (3)
An approach to automatic asymptotic expansions (1976) (3)
Memory cache and lisp: faster list processing via automatically rearranging memory (2003) (3)
A Suite of Programs for Document Structuring and Image Analysis using Lisp (1998) (3)
A Critique of OpenMath and Thoughts on Encoding Mathematics , January , 2001 (2002) (3)
Speed and data structures in computer algebra systems (1989) (3)
Rationally simplifying non-rational expressions (1972) (3)
An Algorithm for Deciding the Convergence of the Rational Iteration xn+1= f(xn) (1977) (3)
A simple display package for polynomials and rational functions in common Lisp (1991) (2)
Views on transportability of Lisp and Lisp-based systems (1981) (2)
Building Algebra Systems by Overloading Lisp : Automatic Differentiation (2006) (2)
Symbolic execution and NaNs: diagnostic tools for tracking scientific computation (1999) (2)
Series solutions of algebraic and differential equations: a comparison of linear and quadratic algebraic convergence (1989) (2)
Symbolic Computation of Turbulence and Energy Dissipation in the Taylor Vortex Model (1998) (2)
Code generation: evaluating polynomials (2002) (2)
Manipulation of Matrices Symbolically (2001) (2)
High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense (2003) (2)
Symbolic and algebraic computer programming systems (1981) (2)
Canonical representations in Lisp and applications to computer algebra systems (1991) (2)
Augmenting Expensive Functions in Macsyma with Lookup Tables (1987) (2)
Notes on Chebyshev Series and Computer Algebra (2013) (2)
Compiling functional pipe/stream abstractions into conventional programs: Software Pipelines (2003) (1)
Interval Arithmetic , Extended Numbers and Computer Algebra Systems (2011) (1)
Analysis of a Web User Interface for Mathematics : Experiences with Integral Queries for TILU ( Table of Integrals Look Up ) (1999) (1)
Lisp and Symbolic Functionality in an Excel Spreadsheet: Development of an OLE Scientific Computing Environment (2003) (1)
Algorithm Differentiation in Lisp: ADIL (2015) (1)
Speeding up Lisp-based symbolic mathematics (1996) (1)
Building Algebra Systems by Overloading Lisp (2006) (1)
Experiments in Hash-coded Algebraic Simplification (2005) (1)
Eleven proofs of sin2x+cos2x = 1 (1985) (1)
Converting call-by-reference to call-by-value: Fortran and Lisp coexisting (2003) (1)
Some Experiments with Evaluation of Legendre Polynomials (2007) (1)
Interval Arithmetic for Maxima : A Brief Summary (2016) (1)
Problem Solving Environments and Symbolic Computing (2000) (1)
Importing the Gnu Multiple Precision Package ( GMP ) into Lisp , and implications for Functional Programming (2003) (1)
Commentary on: solving symbolic equations with PRESS (1988) (0)
DRAFT : Numerical Integration for Oscillatory Integrands : a Computer Algebra Perspective (2009) (0)
Series Solutions of Algebraic and Diierential Equations: a Comparison of Linear and Quadratic Algebraic Convergence 1 Newton Iteration in a Power Series Domain (2007) (0)
DRAFT DRAFT ! Numerical quadrature in a symbolic / numeric setting (2007) (0)
Review of Gradshetyn and Ryzhik, CD-Rom version (1997) (0)
Partitioning of Algebraic Subexpressions in Computer Algebra Systems : Or , Don ’ t use matching so much . Including a neat integration example (2009) (0)
Macsyma ’ s General Simplifier : Philosophy and Operation (2017) (0)
DRAFT: Polynomial Multiplication: Blocking to Improve Cache Performance (2002) (0)
Computer Systems for the Representation and Manipulation of Mathematical Knowledge. (1988) (0)
Syntax Extension as a Tool for Application Programming (2003) (0)
Excerpts from a Proposal to the National Science Foundation on Programming Environments and Tools for Advanced Scientiic Computation 2.1 Mathematical Modeling and Symbolic Computing (2006) (0)
Final problem set excerpts (1976) (0)
To Infinity and Beyond (2016) (0)
Continuity and Limits of Programs (2003) (0)
DRAFT : Comments on Sets in Computer Algebra Systems , especially including Infinite Indexed Sets (2012) (0)
A Proposal for Automated Integral Tables (Work in Progress) (1992) (0)
Symbolic Execution Merges Construction , Debugging and Proving (2002) (0)
Conference Organization dial2004 Chairs (2004) (0)
A case history in interactive problem-solving (1973) (0)
Simulating Cellular Automata : A Challenge for Programming Languages (2011) (0)
Computer algebra and operators (1989) (0)
Quad Double Arithmetic in Lisp (2006) (0)
On the Design and Construction of Algebraic Manipulation Systems (2007) (0)
Integration by Parts for Oscillatory Integrals . DRAFT (2013) (0)
DRAFT : Integration of oscillatory integrals , a computer-algebra approach (2012) (0)
Interval Arithmetic for Maxima : Executive Summary (2016) (0)
Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration (2015) (0)
2 Horner ’ s Rule , embroidered , then improved (2002) (0)
Generation and Optimization of Numerical Programs by Symbolic Mathematical Methods (1999) (0)
Fun with Filon Quadrature — a Computer Algebra Perspective (2007) (0)
DRAFT ! ! Comments on Unrestricted Algorithms for Bessel Functions in Computer Algebra : Arbitrary Precision , The Backwards Recurrence , Taylor Series , Hermite Interpolation (2012) (0)
Dumb = Fast for Polynomial Multiplication . Or , You have Plenty of Memory . Use Some . (2013) (0)
More Versatile Scientiic Documents Over-extended Abstract, Working Paper (2007) (0)
DRAFT : Interval arithmetic , Extended numbers and Computer Algebra Systems ( CAS ) (2006) (0)

This paper list is powered by the following services:

Other Resources About Richard Fateman

en.wikipedia.org

What Schools Are Affiliated With Richard Fateman?

Richard Fateman is affiliated with the following schools:

Richard Fateman's Academic­Influence.com Rankings