Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:A Proof-Centric Approach to mathematical assistants
Authors: Lucas Dixon ; Jacques Fleuriot
Date: 2005
Publication Title:Journal of Applied Logic
Publication Type:Other
Volume No:4 (4) Page Nos:505-532
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof planner. We argue that this synergy provides a flexible environment for the exploration, certification, and presentation of mathematical proof.
Links To Paper
Personal Page
Bibtex format
author = { Lucas Dixon and Jacques Fleuriot },
title = {A Proof-Centric Approach to mathematical assistants},
year = 2005,
volume = {4 (4)},
pages = {505-532},
doi = {10.1016/j.jal.2005.10.007},
url = {},
note = {Journal of Applied Logic},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh