The Mathematica computer system is reviewed from the perspective of its contributions to symbolic and algebraic computation, as well as its stated goals.Expand

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

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

Proceedings of Sixth International Conference onâ€¦

2001

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

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). Toâ€¦ Expand

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