skip to content
Archive of formal proofs. Preview this item
ClosePreview this item
Checking...

Archive of formal proofs.

Publisher: [Mountain View, Calif.] : SourceForge
Edition/Format:   eJournal/eMagazine : Document : Periodical : English
Database:WorldCat
Summary:
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover 'Isabelle.' Isabelle allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Mathematical formulae
Formulae
Material Type: Document, Periodical, Internet resource
Document Type: Internet Resource, Computer File, Journal / Magazine / Newspaper
ISSN:2150-914X
OCLC Number: 435420096
Other Titles: Archive of formal proofs

Abstract:

A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover 'Isabelle.' Isabelle allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/435420096> # Archive of formal proofs.
    a schema:Periodical, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "435420096" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/321711386#Place/mountain_view_calif> ; # Mountain View, Calif.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    schema:about <http://dewey.info/class/510/a14/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/321711386#Topic/mathematics> ; # Mathematics
    schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
    schema:datePublished "2004/9999" ;
    schema:description "A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover 'Isabelle.' Isabelle allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/321711386> ;
    schema:genre "Mathematical formulae"@en ;
    schema:inLanguage "en" ;
    schema:name "Archive of formal proofs."@en ;
    schema:productID "435420096" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/435420096#PublicationEvent/mountain_view_calif_sourceforge> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/321711386#Agent/sourceforge> ; # SourceForge
    schema:url <http://afp.sourceforge.net/index.shtml> ;
    schema:workExample <http://worldcat.org/issn/2150-914X> ; # Archive of formal proofs.
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/435420096> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/321711386#Place/mountain_view_calif> # Mountain View, Calif.
    a schema:Place ;
    schema:name "Mountain View, Calif." ;
    .

<http://id.worldcat.org/fast/1012163> # Mathematics
    a schema:Intangible ;
    schema:name "Mathematics"@en ;
    .

<http://worldcat.org/issn/2150-914X> # Archive of formal proofs.
    a schema:Periodical ;
    schema:issn "2150-914X" ;
    schema:name "Archive of formal proofs."@en ;
    umbel:isLike <http://worldcat.org/entity/work/id/321711386> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.