Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Proofs of correctness in Mathematics and Industry

Barendregt, H.P.

Publication date

January 2009

Publisher

[S.l.] : Wiley

Abstract

Contains fulltext : 75959.pdf (author's version ) (Closed access

Extracted data

Related items

Learning-assisted theorem proving with millions of lemmas

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 139683.pdf (publisher's version ) (Closed access

A comparison of equality in computer algebra and correctness in mathematical pedagogy

Russell Bradford
James H. Davenport
Christopher J. Sangwin

January 2009

This version is made available in accordance with publisher policies. Please cite only the published...

Automated Theorem Proving for Quality--checkingMedical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van

January 2005

Contains fulltext : 33257.pdf (preprint version ) (Open Access)CADE'2

Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web

Kaliszyk, C.S.

January 2009

Contains fulltext : 75399.pdf (publisher's version ) (Open Access)Radboud Universi...

The quest for correctness

Barendregt, H.P.

January 1996

Contains fulltext : 13361.pdf (publisher's version ) (Open Access

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Definitions (and Concepts) in Mathematical Practice

Coumans, V.J.W.

January 2021

Contains fulltext : 239465.pdf (Publisher’s version ) (Closed access

Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science

Théry, L.
Wiedijk, F.

January 2015

Contains fulltext : 132816.pdf (publisher's version ) (Closed access

Buridan on mathematics

Thijssen, J.M.M.H.

January 1985

Contains fulltext : 357104.pdf (publisher's version ) (Closed access)24 p

A completeness theorem for open maps

Joyal, A.
Moerdijk, I.

January 1994

Contains fulltext : 129067.pdf (publisher's version ) (Open Access

Correctness proofs

James Aspnes

January 2003

A correctness proof is a formal mathematical argument that an algorithm meets its specification, whi...

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107662.pdf (author's version ) (Open Access

Coinductive Proof Techniques for Language Equivalence

Rot, J.
Bonsangue, M.
Rutten, J.

January 2013

Contains fulltext : 111304.pdf (author's version ) (Closed access

Learning-assisted theorem proving with millions of lemmas

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 139683.pdf (publisher's version ) (Closed access

A comparison of equality in computer algebra and correctness in mathematical pedagogy

Russell Bradford
James H. Davenport
Christopher J. Sangwin

January 2009

This version is made available in accordance with publisher policies. Please cite only the published...

Automated Theorem Proving for Quality--checkingMedical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van

January 2005

Contains fulltext : 33257.pdf (preprint version ) (Open Access)CADE'2

Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web

Kaliszyk, C.S.

January 2009

Contains fulltext : 75399.pdf (publisher's version ) (Open Access)Radboud Universi...

The quest for correctness

Barendregt, H.P.

January 1996

Contains fulltext : 13361.pdf (publisher's version ) (Open Access

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Definitions (and Concepts) in Mathematical Practice

Coumans, V.J.W.

January 2021

Contains fulltext : 239465.pdf (Publisher’s version ) (Closed access

Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science

Théry, L.
Wiedijk, F.

January 2015

Contains fulltext : 132816.pdf (publisher's version ) (Closed access

Buridan on mathematics

Thijssen, J.M.M.H.

January 1985

Contains fulltext : 357104.pdf (publisher's version ) (Closed access)24 p

A completeness theorem for open maps

Joyal, A.
Moerdijk, I.

January 1994

Contains fulltext : 129067.pdf (publisher's version ) (Open Access

Correctness proofs

James Aspnes

January 2003

A correctness proof is a formal mathematical argument that an algorithm meets its specification, whi...

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107662.pdf (author's version ) (Open Access

Coinductive Proof Techniques for Language Equivalence

Rot, J.
Bonsangue, M.
Rutten, J.

January 2013

Contains fulltext : 111304.pdf (author's version ) (Closed access

Learning-assisted theorem proving with millions of lemmas

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 139683.pdf (publisher's version ) (Closed access

A comparison of equality in computer algebra and correctness in mathematical pedagogy

Russell Bradford
James H. Davenport
Christopher J. Sangwin

January 2009

This version is made available in accordance with publisher policies. Please cite only the published...

Automated Theorem Proving for Quality--checkingMedical Guidelines

Hommersom, A.J.
Lucas, P.J.F.
Bommel, P. van

January 2005

Contains fulltext : 33257.pdf (preprint version ) (Open Access)CADE'2