Question: The author of the book "A New Kind of Science" designed a computer algebra system at which university?
Sentence (from "Symbolic Manipulation Program"): 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.
Relevant evidence: No