• Publications
  • Influence
IEEE Standard for Floating-Point Arithmetic
  • 1,073
  • 51
A System for Doing Mathematics by Computer.
  • 513
  • 23
A Review of Mathematica
  • R. Fateman
  • Computer Science, Mathematics
  • J. Symb. Comput.
  • 1 May 1992
TLDR
The Mathematica computer system is reviewed from the perspective of its contributions to symbolic and algebraic computation, as well as its stated goals. Expand
  • 50
  • 4
  • PDF
Branch cuts in computer algebra
TLDR
We propose a computer representation for branch cuts; we show how a complex expression's branch cuts can be mechanically computed, and how an expression with branch cuts may sometimes be algebraically simplified within each of its branches. Expand
  • 23
  • 4
The MACSYMA system
TLDR
MACSYMA is a system for symbolic manipulation of algebraic expressions which is being developed at Project MAC, M.I.T. This paper discusses its philosophy, goals and current achievements. Expand
  • 135
  • 3
  • PDF
Pessimal print: a reverse Turing test
TLDR
We exploit the gap in ability between human and machine vision systems to craft a family of automatic challenges that tell human andmachine users apart via graphical interfaces including Internet browsers. Expand
  • 126
  • 3
Comparing the speed of programs for sparse polynomial multiplication
How should one design and implement a program for the multiplication of sparse polynomials? This is a simple question, necessarily addressed by the builders of any computer algebra system (CAS). ToExpand
  • 47
  • 3
  • PDF
Progress in recognizing typeset mathematics
TLDR
Printed mathematics has a number of features which distinguish it from conventional text. Expand
  • 31
  • 3
PessimalPrint: a reverse Turing test
TLDR
We exploit the gap in ability between human and Machine vision systems to craft a family of automatic challenges that tell human and machine users apart via graphical interfaces including Internet browsers. Expand
  • 88
  • 2
  • PDF