Verified Quantum Computing

by Robert Rand

Inspired by Software Foundations - the sequence of verified, interactive textbooks - Verified Quantum Computing is a tutorial in the theorem-proving system Coq.

Unknown Binding

About the author

A devoted husband to Angel, who he describes as the love of his life, best friend, and soul-mate, Robert Rand is also a proud and loving father, step-father and grandfather. His fast-paced, gritty novels are action-packed crime/thrillers that are described by readers as very visual books that leave the reader feeling as if they are a witness to the action rather than a mere reader of it. Having spent a little over 25 years of his adult life in prison provides him with a unique perspective on criminal behavior that translates brilliantly into some of the most realistic characters ever presented to readers! He wrote his first novel, "Criminal Option" while in Los Angeles County Jail. At the time he was representing himself in a case that would have sent him to prison for the rest of his life if convicted. Learning the law as it applied to the criminal case against him was frying his brain. Another inmate suggested he spend some time each day writing a story in order to take his mind away from the law. By the time the jury came back with an acquittal, the first draft of his first novel had been completed and was spread across a dozen legal tablets. He is now working on his sixth novel while eating spaghetti and trying to keep his two dogs from begging for a bite.

Reviews

[Quinn Dougherty · Rating 4 out of 5]

I've been recommending this book to everyone. The chapter on the real numbers blew my mind and gave me a foundation I'd use to practice real analysis in coq. My guess would have been that you need to represent measure in order to get probabilities but you gotta read the way Rand sidestepped that. I think I missed some of the proofs toward the end, but I do intend to go back and reread. Definitely check it out-- best read after SF volume 1