Some Mathematical Case Studies in ProofPower-HOL R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK - Groupoid - Document - PDFSEARCH.IO

First Page	Meta Content
	Some Mathematical Case Studies in ProofPower-HOL R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK Add to Reading List Document Date: 2008-07-11 10:38:00 Open Document File Size: 232,22 KB Share Result on Facebook City Reading / / Company R.D. Arthan Lemma 1 Ltd. / G. Coercing / SymGroup / 2nd Floor / / Country Jordan / United Kingdom / / / IndustryTerm software engineering problems / homely device / multiplication operator / carrier set / cancellation law / / Person Carlos Simpson / Larry Paulson / John Harrison / Artur Kornilowicz / Pace Quine / Thomas Hales / / Position advocate / / ProgrammingLanguage Standard ML / / Technology functional programming / / URL http / SocialTag Algebraic structures Homotopy theory Mathematical structures Symmetry General topology Equivalence relation Group action Continuous function Groupoid Mathematics

Some Mathematical Case Studies in ProofPower-HOL R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UKAdd to Reading List