%0 Generic %1 Kieffer2012 %A Kieffer, Steven A. %D 2012 %K flowchart proof reasoners %T ProofFlow: Flow Diagrams for Proofs %U http://arxiv.org/pdf/1202.0567v1 %X We present a light formalism for proofs that encodes their inferential structure, along with a system that transforms these representations into flow-chart diagrams. Such diagrams should improve the comprehensibility of proofs. We discuss language syntax, diagram semantics, and our goal of building a repository of diagrammatic representations of proofs from canonical mathematical literature. The repository will be available online in the form of a wiki at proofflow.org, where the flow chart drawing software will be deployable through the wiki editor. We also consider the possibility of a semantic tagging of the assertions in a proof, to permit data mining.

@misc{Kieffer2012, abstract = { We present a light formalism for proofs that encodes their inferential structure, along with a system that transforms these representations into flow-chart diagrams. Such diagrams should improve the comprehensibility of proofs. We discuss language syntax, diagram semantics, and our goal of building a repository of diagrammatic representations of proofs from canonical mathematical literature. The repository will be available online in the form of a wiki at proofflow.org, where the flow chart drawing software will be deployable through the wiki editor. We also consider the possibility of a semantic tagging of the assertions in a proof, to permit data mining. }, added-at = {2012-02-06T11:44:01.000+0100}, author = {Kieffer, Steven A.}, biburl = {https://www.bibsonomy.org/bibtex/230d6914c12430f5903c968962620fc4e/maxirichter}, description = {ProofFlow: Flow Diagrams for Proofs}, interhash = {9b2ff9029273e9ca8b650b45150749d1}, intrahash = {30d6914c12430f5903c968962620fc4e}, keywords = {flowchart proof reasoners}, note = {cite arxiv:1202.0567Comment: 15 pages, 2 figures}, timestamp = {2012-02-06T11:44:01.000+0100}, title = {ProofFlow: Flow Diagrams for Proofs}, url = {http://arxiv.org/pdf/1202.0567v1}, year = 2012 }