Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by Chris A. Cole and Stephen Wolfram at Caltech circa 1979 and initially developed in the Caltech physics department under Wolfram's leadership with contributions from Geoffrey C. Fox, Jeffrey M. Greif, Eric D. Mjolsness, Larry J. Romans, Timothy Shaw, and Anthony E. Terrano.
 It was first sold commercially in 1981 by the Computer Mathematics Corporation of Los Angeles which later became part of Inference Corporation; Inference Corp. further developed the program and marketed it commercially from 1983 to 1988.
 SMP was essentially Version Zero of the more ambitious Mathematica system.
Stephen Wolfram (born 29 August 1959) is a British-American computer scientist, physicist, and businessman.
 He is known for his work in computer science, mathematics, and in theoretical physics.
 He is the author of the book "A New Kind of Science."
 In 2012 he was named an inaugural fellow of the American Mathematical Society.
William Frederick Schelter (1947 – July 30, 2001) was a professor of mathematics at The University of Texas at Austin and a Lisp developer and programmer.
 Schelter is credited with the development of the GNU Common Lisp (GCL) implementation of Common Lisp and the GPL'd version of the computer algebra system Macsyma called Maxima.
 Schelter authored Austin Kyoto Common Lisp (AKCL) under contract with IBM.
 AKCL formed the foundation for Axiom, another computer algebra system.
 AKCL eventually became GNU Common Lisp.
 He is also credited with the first port of the GNU C compiler to the Intel 386 architecture, used in the original implementation of the Linux kernel.
Anthony C. Hearn is an Australian-American computer scientist and adjunct staff member at RAND Corporation and at the Institute for Defense Analyses Center for Computing Sciences.
 He is best known for his pioneering contributions in mathematical software development, most notably in developing the computer algebra system REDUCE, which is the oldest such system still in active use.
 He was also one of the founders of the CSNET computer network, for which he shared the Jonathan B. Postel Service Award with Peter J. Denning, David Farber, and Lawrence Landweber in 2009.
 He was elected a Fellow of the Association for Computing Machinery in 2006 "for contributions to computer algebra and symbolic computation."
Cambridge Algebra System (CAMAL) is a computer algebra system written in Cambridge University by David Barton, Steve Bourne, and John Fitch.
 It was initially used for computations in celestial mechanics and general relativity.
 The foundation code was written in Titan computer assembler, .
 In 1973, when Titan was replaced with an IBM370/85, it was rewritten in ALGOL 68C and then BCPL where it could run on IBM mainframes and assorted microcomputers.
Yacas is a general-purpose computer algebra system.
 The name is an acronym for "Yet Another Computer Algebra System".
GiNaC is a free computer algebra system released under the GNU General Public License.
 The name is a recursive acronym for "GiNaC is Not a CAS" (Computer Algebra System).
 This is similar to the GNU acronym "GNU is not Unix".
In symbolic computation (or computer algebra), at the intersection of mathematics and computer science, the Risch algorithm is an algorithm for indefinite integration.
 It is used in some computer algebra systems to find antiderivatives.
 It is named after the American mathematician Robert Henry Risch, a specialist in computer algebra who developed it in 1968.
SymPy is a Python library for symbolic computation.
 It provides computer algebra capabilities either as a standalone application, as a library to other applications, or live on the web as SymPy Live or SymPy Gamma.
 SymPy is trivial to install and to inspect because it is written entirely in Python with few dependencies.
 This ease of access combined with a simple and extensible code base in a well known language make SymPy a computer algebra system with a relatively low barrier to entry.
A computer algebra system (CAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists.
 The development of the computer algebra systems in the second half of the 20th century is part of the discipline of "computer algebra" or "symbolic computation", which has spurred work in algorithms over mathematical objects such as polynomials.

Question: The author of the book "A New Kind of Science" designed a computer algebra system at which university?
Answer: Caltech