Back to Results
First PageMeta Content
Polynomial / Integral / Henstock–Kurzweil integral / Fundamental theorem of calculus / Antiderivative / Lebesgue integration / Transcendental function / Function / Mathematical analysis / Mathematics / Functions and mappings


Mathematical Case Studies: — Basic Analysis R.D. Arthan Lemma 1 Ltd. [removed]
Add to Reading List

Document Date: 2012-08-05 11:00:52

Open Document

File Size: 551,97 KB

Share Result on Facebook

Company

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 / /

ProgrammingLanguage

ML / L / /

SocialTag