Focus Windows: A new technique for proof presentation

DOI10.1007/3-540-45470-5_30MaRDI QIDQ4808732zbMATH OpenFDO

Authors Florina Piroi, Bruno Buchberger

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2385/23850337.htm

Mathematics Subject Classification ID

Structure of proofs (03F07) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1024410
• Proof by pointing
• ProofViz: an interactive visual proof explorer
• Panoptes: an exploration tool for formal proofs
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method

Cited in

(3)

• Proviola: a tool for proof re-animation
• scientific article; zbMATH DE number 1024410 (Why is no real title available?)
• Proof by pointing

Describes a project that uses

Uses Software

• Theorema

This page was built for publication: Focus Windows: A new technique for proof presentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808732)