Mathematics and Computation

A blog about mathematics for computers

Specifications via Realizability (Dagstuhl)

With Chris Stone.

Presented at: Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl Seminar 06021.

Abstract: see “Specifications via Realizability (CLASE)”.

Talk notes: rz-dagstuhl.pdf (handwritten notes of the talk with examples of how RZ works)

Posting comments: At present comments are disabled because the relevant script died. You are welcome to contact me directly.