Results 1 
8 of
8
Deep Inference for Automated Proof Tutoring? ⋆
"... Ω MEGA [7], a mathematical assistant environment comprising an interactive proof assistant, a proof planner, a structured knowledge base, a graphical user interface, access to external reasoners, etc., is being developed since the early 90’s at Saarland University. Similar to HOL4, Isabelle/HOL, Coq ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
(Show Context)
Ω MEGA [7], a mathematical assistant environment comprising an interactive proof assistant, a proof planner, a structured knowledge base, a graphical user interface, access to external reasoners, etc., is being developed since the early 90’s at Saarland University. Similar to HOL4, Isabelle/HOL, Coq, or Mizar, the overall goal of the project is to
Lesourd H.: Using TeXmacs in Math Education: An exploratory Study
 in Proceedings of the 2008 Mathematical UserInterface Workshop
, 2008
"... In order to foster the use of the standard scientific texteditor GNU TEXMACS in math education and to develop semanticbased added values during the authoring process, we conducted an exploratory study with a first year mathematics course. We developed an extension of TEXMACS to support creating, ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
In order to foster the use of the standard scientific texteditor GNU TEXMACS in math education and to develop semanticbased added values during the authoring process, we conducted an exploratory study with a first year mathematics course. We developed an extension of TEXMACS to support creating, browsing, solving and submitting exercises to an external repository. During a supervised classroom exercise we collected successive snapshots of the student solutions. We present an analysis of this corpus with respect to the edit behaviour and selected linguistic characteristics. Furthermore, we discuss how the collected information can be used to provide support services for the overall authoring process. The progress of the study is published regularly at www.imath.eu. 1
2.1.5 Planned Experiments
"... • Computer Science: automated theorem proving, mathematical knowledge management ..."
Abstract
 Add to MetaCart
(Show Context)
• Computer Science: automated theorem proving, mathematical knowledge management
Work address: FB Computerlinguistik
, 2001
"... 3.2 State of the Art at the Time of the Proposal and Original Research ..."
(Show Context)
Conditionals and PseudoConditionals in Mathematical Texts
"... Conditionals are the basic ingredient of a mathematical argument. We present an analysis of conditionals and pseudoconditional in mathematical discourse, and then propose a computational framework for the (re)construction and semantic representation of conditional dependencies. 1 ..."
Abstract
 Add to MetaCart
Conditionals are the basic ingredient of a mathematical argument. We present an analysis of conditionals and pseudoconditional in mathematical discourse, and then propose a computational framework for the (re)construction and semantic representation of conditional dependencies. 1