D.C. Heath & Co. / World Scientific / McGraw-Hill Book Company / Lemma 1 Ltd / R.D. Arthan Lemma 1 Ltd. / / /
Facility
University of Cambridge Computer Laboratory / Square Root Function / University of St. Andrews / /
IndustryTerm
proof infrastructure / geometric and topological applications / /
Organization
University of St. Andrews / University of Cambridge Computer Laboratory / /
Person
Robin Chapman / Walter Rudin / Matthew Frank / John Harrison / Hanne Gottliebsen / Douglas S. Kurtz / Roger Jones / Barry M. Mitchell / Charles W. Swartz / /
Product
ProofPower document preparation system / ProofPower / /