Metamath - PDFSEARCH.IO - Document Search Engine

Metamath
Results: 22

#	Item
1	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath
2	Microsoft Word - writproj_title.doc Add to Reading List Source URL: www.cs.sjsu.edu Language: English - Date: 2008-01-23 11:12:16 Proof assistants Software Programming language theory Functional languages Type theory Coq Agda Theorem Metamath Coenzyme Q10 Mathematical proof Mathematical logic
3	CalculemusThe 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2009 Emerging Trends Add to Reading List Source URL: www.calculemus.net Language: English - Date: 2009-08-28 11:37:21 Theoretical computer science Algorithm Correctness RSA Metamath Symbolic computation Recursion
4	Metamath A Computer Language for Pure Mathematics Norman Megill ∼ Public Domain ∼ Add to Reading List Source URL: au.metamath.org Language: English - Date: 2016-02-11 02:10:54
5	The Existential Uniqueness Quantifier Norman Megill http://metamath.org Add to Reading List Source URL: au.metamath.org Language: English - Date: 2013-01-17 15:03:23
6	Emulating Hilbert’s Epsilon in ZFC Norman Megill http://metamath.org Add to Reading List Source URL: au.metamath.org Language: English - Date: 2013-01-17 15:03:23
7	Metamath of Domain Theory and Beyond A. Daneshgar Add to Reading List Source URL: www.math-cs.ir Language: English - Date: 2015-05-05 12:54:32
8	PDF Document Add to Reading List Source URL: au.metamath.org Language: English - Date: 2016-02-11 02:10:55
9	PDF Document Add to Reading List Source URL: au.metamath.org Language: English - Date: 2016-02-11 02:10:55
10	PDF Document Add to Reading List Source URL: au.metamath.org Language: English - Date: 2013-01-17 15:03:23