Proof Step Analysis for Proof Tutoring - A Learning Approach to Granularity

Teaching Mathematics and Computer Science
doi 10.5485/tmcs.2008.0183
Full Text
Abstract

Available in full text

Date
Authors
Publisher

University of Debrecen/ Debreceni Egyetem

Related search

Automatic Learning of Proof Methods in Proof Planning

Logic Journal of the IGPL
Philosophy
2003English

Another Approach to Proof: Arguments From Physics

Zentralblatt für Didaktik der Mathematik
2002English

Correction To: Formal and Natural Proof: A Phenomenological Approach

2019English

From Mathematical Axioms to Mathematical Rules of Proof: Recent Developments in Proof Analysis

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

Learning Proof Heuristics by Adapting Parameters

1995English

A Formal Proof of the Expressiveness of Deep Learning

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Proof Theory and Computational Analysis

BRICS Report Series
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy