- A Revisionist Approach to Algebraic Expressions in Lisp. Richard Fateman
- Analysis of a Web User Interface for Mathematics: Experiences with Integral Queries for TILU
- Parsing TEX into Mathematics Richard J. Fateman
- Building Algebra Systems by Overloading Lisp: Automatic Differentiation
- Survey of User Input Models for Mathematical Recognition: Keyboards, Mice, Tablets, Voice
- Symbolic Computation of Divided Differences W. Kahan and Richard J. Fateman
- DRAFT: When is a function oscillatory? Richard Fateman
- Searching Techniques for Integral Tables T. H. Einwohner
- On the Design and Construction of Algebraic Manipulation Systems
- Advances and Trends in the Design and Construction of Algebraic Manipulation Systems
- Computation with the Extended Rational Numbers and an Application to Interval Arithmetic
- Analysis of Integral Queries for TILU (Table of Integrals Look Up)
- Lisp and Symbolic Functionality in an Excel Spreadsheet: Development of an OLE Scientific Computing Environment
- Functional Graph Editing Richard J. Fateman
- PROBLEMSOLVINGENVIRONMENTSANDSYMBOLIC Richard J. Fateman
- UNIVERSITY OF CALIFORNIA College of Engineering
- Pessimal Print: A Reverse Turing Test Allison L. Coates
- FRPOLY: A Benchmark Revisited Richard J. Fateman
- A Solution to Mathematics Parsing Martin Proulx
- Fast Floating-Point Processing in Common Lisp RICHARD J. FATEMAN
- Speeding up Lispbased Symbolic Mathematics Richard J. Fateman and Mark Hayden \Lambda
- UNIVERSITY OF CALIFORNIA Department of Electrical Engineering
- Progress in recognizing typeset mathematics Richard J. Fateman, Taku Tokuyasu
- Optical Character Recognition for Typeset Mathematics Benjamin P. Berman
- Parsing Mathematics Typeset in T E X CS282 Course Project
- Continuity and Limits of Programs Richard Fateman
- WinCITDll Specification and Test Program Notes June 17, 2004
- Importing Pre-packaged Software into Lisp: Experience with Arbitrary-Precision
- Excerpts from a proposal to the National Science Foundation on Programming Environments and Tools
- A Review of Macsyma Richard J. Fateman
- Series Solutions of Algebraic and Differential Equations
- Design for a mathematical transformation system for Mathematica Richard J. Fateman
- Rational Integration, Simplified Richard Fateman
- Rational Function Computing with Poles and Residues Richard J. Fateman
- Can you save time in multiplying polynomials by encoding them as Richard J. Fateman
- Improving Exact Integrals From Symbolic Algebra Systems
- THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM
- Building Algebra Systems by Overloading Lisp: Automatic Differentiation
- Building Algebra Systems by Overloading Lisp Richard Fateman
- Quad Double Arithmetic in Lisp Richard Fateman
- Mathematica > MATHEMATICA TUTORIAL Related Tutorials URL
- Generation and Optimization of Numerical Programs by Symbolic Mathematical Methods
- An Ambiguous Grammar for Mathematics Richard Warfield
- Converting Call-by-reference to Call-by-value: Fortran and Lisp Richard J. Fateman
- Simulating Cellular Automata: A Challenge for Programming alphabetically
- Notes on Chebyshev Series and Computer Algebra Richard J. Fateman
- Dumb = Fast for Polynomial Multiplication. Or, You have Plenty of Memory. Use Some.
- for version 3.2.2, 12 July 2009 Matteo Frigo
- DRAFT: Fun with Filon Quadrature --a Computer Algebra Perspective
- Public domain optical character recognition Michael D. Garris, James L. Blue, Gerald T. Candela. Darrin L. Dimmick, Jon Geist,
- DRAFT: Integration of oscillatory integrals, a computer-algebra Richard Fateman
- A Lisp-Language Mathematica-to-Lisp Translator
- Overview of Programs that Provide An Interface to Maxima Lucy Zhang and Richard Fateman, Univ. of Calif , Berkeley 12/2001
- A Review of Mathematica RICHARD J. FATEMAN
- DRAFT: A Review of Mathematica Version 6.0 Richard Fateman
- Series Solutions of Algebraic and Di erential Equations
- Improving Exact Integrals From Symbolic Algebra Systems
- Compiling functional pipe/stream abstractions into conventional programs: Software Pipelines
- Can you save time in multiplying polynomials by encoding them as integers?/revised 2010
- DRAFT DRAFT ! Numerical quadrature in a symbolic/numeric Richard Fateman
- Simplification of Radical Expressions B. F. Caviness (I)
- Lisp and Symbolic Functionality in an Excel Spreadsheet: Development of an OLE Scientific Computing Environment
- Simplifying RootSum Expressions Richard Fateman
- DRAFT: Comments on Infinite Indexed Sets in Computer Algebra Richard Fateman
- Exact polynomial multiplication using approximate FFT Richard J. Fateman
- Notes on Computer Systems for Solving Symbolic Equations Richard J. Fateman
- Symbolic Execution Merges Construction, Debugging and Proving
- Syntax Extension as a Tool for Application Programming Richard Fateman
- Data Structure and Cache Behaviour of Sparse Polynomials yozo@cs.berkeley.edu
- Math Speak & Write: A Programmer's Guide Cassandra Guy & Steven Stanek
- Memory Cache and Lisp: Faster list processing via automatically rearranging
- DRAFT: Numerical Integration for Oscillatory Integrands: a Computer Algebra Perspective
- Using the Math Input Panel on Windows 7 Richard Fateman March 11, 2010
- Importing Prepackaged Software into Lisp: Experience with ArbitraryPrecision FloatingPoint Numbers
- Symbolic Mathematics System Evaluators Richard J. Fateman
- FFTW User's Manual For version 2.1.5, 16 March 2003
- When is FFT multiplication of arbitrary-precision polynomials Richard J. Fateman
- SKEME, (Symbolic Keyboard and Mouse Editor) A Demonstration Program for
- Comments on integral formulas, OCR, and parsing The following two integral formulas were selected as representative of many
- Manipulation of Matrices Symbolically Richard Fateman
- An Ambiguous Grammar for Mathematics Richard Warfield
- A short note on short differentiation programs in lisp, and a comment on logarithmic differentiation
- Fast FloatingPoint Processing in Common Lisp RICHARD J. FATEMAN
- A Suite of Programs for Document Structuring and Image Analysis using Lisp DRAFT DRAFT
- Some Experiments with Evaluation of Legendre Polynomials Richard Fateman
- Math Speak & Write, a Computer Program to Read and Hear Mathematical Input
- A Review of Mathematica RICHARD J. FATEMAN
- A Critique of OpenMath and Thoughts on Encoding Mathematics, January, 2001
- Optical Character Recognition and Parsing of Typeset Mathematics
- Compiling functional pipe/stream abstractions into conventional programs: Software Pipelines
- How can we speak math? Richard Fateman
- Applications and Methods for Recognition of (Anti)-Symmetric Richard Fateman
- Code "bumming"for testing membership. A Lisp example Richard Fateman
- Revisiting numeric/symbolic indefinite integration of rational functions, and extensions
- Interval Arithmetic, Extended Numbers and Computer Algebra Richard J. Fateman
- Software Fault Prevention by Language Choice: Why C is Not My Favorite Language
- Evaluation of the Heuristic Polynomial GCD HsinChao (Phil) Liao
- THE USER-LEVEL SEMANTIC MATCHING CAPABILITY IN MACSYMA The pattern matching facility of
- A LispLanguage MathematicatoLisp Translator
- Manipulation of Matrices Symbolically Richard Fateman
- Partitioning of Algebraic Subexpressions: in Computer Algebra Systems: Or, Don't use matching so much.
- DRAFT 11: What's it worth to write a short program for polynomial multiplication?
- Symbolic Mathematics System Evaluators Richard J. Fateman
- Boxes, Inkwells, Speech and Formulas Richard J. Fateman
- Symbolic computation of turbulence and energy dissipation in the Taylor vortex model
- Haddock's eyes and computer algebra systems Some essays
- Comments on Factorial Programs Richard J. Fateman
- Verbs, Nouns, and Computer Algebra, or What's Grammar Got to do with Math?
- Extracting Mathematical Expressions From Postscript Documents Michael Yang and Richard Fateman EECS Department, University of California, Berkeley
- Simple Graph Editing Richard J. Fateman and John L. Chen
- DRAFT: Comparing the speed of programs for sparse polynomial multiplication
- Lookup Tables, Recurrences and Complexity Richard J. Fateman
- A M.ACSYikA Package for the Generation and ivlanipulation of ChebyshevSeries
- Branch Cuts in Computer Algebra Adam Dingle
- Building Algebra Systems by Overloading Lisp Richard Fateman
- Importing the Gnu Multiple Precision Package (GMP) into Lisp, and implications for Functional
- Parsing Mathematics Typeset in TEX CS-282 Course Project
- Comments on Extending Macsyma with New Data Types Richard Fateman
- OPEN PROBLEMS IN HUMANCOMPUTER INTERACTION WITH SPECIFIC
- UNIVERSITY OF CALIFORNIA Department of Electrical Engineering
- More Versatile Scientific Documents OverExtended Abstract, working paper
- Excerpts from a proposal to the National Science Foundation on Programming Environments and Tools
- Code generation: evaluating polynomials Richard Fateman
- Richard Fateman PSEs: Expectations and Reality 1
- Computation with the Extended Rational Numbers and an Application to Interval Arithmetic
- Optical Character Recognition and Parsing of Typeset Mathematics \Lambda
- Network Servers for Symbolic Mathematics Richard J. Fateman
- A Case History in Interactive Problem-Solving Richard J. Fateman
- High-level Proofs of Mathematical Programs Using Automatic Differentiation, Simplification,
- My View of the Future of Symbolic and Algebraic Computation Richard J. Faternan
- 2-D Display of Incomplete Mathematical Expressions Richard Fateman
- 4/19/2005 9:26 PM R. Fateman 1 An incremental approachAn incremental approach
- Some Experiments with Evaluation of Legendre Polynomials Richard Fateman
- Quad Double Arithmetic in Lisp Richard Fateman
- How to Find Mathematics on a Scanned Page Richard J. Fateman
- Algorithm Differentiation in Lisp: ADIL Richard Fateman
- Honest Plotting, Global Extrema, and Interval Arithmetic Richard Fateman
- Symbolic Execution and NaNs: Diagnostic Tools for Tracking Scienti c Computation
- Dots, Spaces Richard J. Fateman
- DRAFT: Polynomial Multiplication: Blocking to Improve Cache Performance
- Symbolic Mathematics System Evaluators Richard J. Fateman
- Integration by Parts for Oscillatory Integrals. DRAFT Richard J. Fateman
- More Versatile Scientific Documents OverExtended Abstract, working paper
- Software Fault Prevention by Language Choice: Why C is Not My Favorite Language
