Search Sciweavers | Sciweavers

1411 search results - page 10 / 283

» Interactive Coding for Interactive Proofs

click to vote

ARTS
1999
Springer

221views Distributed And Parallel Com...» more ARTS 1999»

Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover

14 years 2 months ago

Download people.nas.nasa.gov

This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...

Paul Z. Kolano

claim paper

Read More »

click to vote

ICS
2010
Tsinghua U.

129views Distributed And Parallel Com...» more ICS 2010»

Interactive Proofs For Quantum Computations

14 years 7 months ago

Download www.cs.huji.ac.il

Dorit Aharonov, Michael Ben-Or, Elad Eban

claim paper

Read More »

click to vote

MKM
2007
Springer

83views Information Technology» more MKM 2007»

A Framework for Interactive Proof

14 years 4 months ago

Download www.informatik.uni-bremen.de

David Aspinall, Christoph Lüth, Daniel Winter...

claim paper

Read More »

click to vote

MKM
2005
Springer

105views Information Technology» more MKM 2005»

An Interactive Algebra Course with Formalised Proofs and Definitions

14 years 3 months ago

Download www.cs.ru.nl

Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel ...

claim paper

Read More »

click to vote

TPHOL
2003
IEEE

114views Automated Reasoning» more TPHOL 2003»

Click'n Prove: Interactive Proofs within Set Theory

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers