Search Results - "Formal proof"

1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /

Published 2013

Table of Contents: '; “... -- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls -- Realizations...”
Get full text

Electronic

2

Mathematical Software ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /

Published 2010

Get full text

Electronic

3

Model Engineering in Mixed-Signal Circuit Design A Guide to Generating Accurate Behavioral Models in VHDL-AMS /

by Huss, Sorin A.
Published 2001

View fulltext via EzAccess

Electronic

4

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

Published 2013

Table of Contents: '; “... for Quotients in Isabelle/HOL -- Refinements for Free! -- Session 4: Mathematics -- A Formal Proof of Borodin...”
View fulltext via EzAccess

Electronic