scientific article; zbMATH DE number 1696759

MaRDI QIDQ2767009zbMATH OpenFDO

Authors Thomas Hallgren, Aarne Ranta

Publication date 22 July 2002

Mathematics Subject Classification ID

Natural language processing (68T50) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1952711
• scientific article; zbMATH DE number 1129259
• scientific article; zbMATH DE number 1104364
• scientific article; zbMATH DE number 1140678
• Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

Cited in

(16)

• The Isabelle/Naproche natural language proof assistant
• Validation of proofs using PhoX
• Programmed strategies for program verification
• \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
• Grammars as software libraries
• scientific article; zbMATH DE number 1952711 (Why is no real title available?)
• scientific article; zbMATH DE number 1904895 (Why is no real title available?)
• A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)
• A user-friendly interface for a lightweight verification system
• Translating between language and logic: what is easy and what is difficult
• Machine Translation and Type Theory
• Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
• Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
• The Alf proof editor and its proof engine
• Proofs-as-programs as a framework for the design of an analogy-based ML editor
• Supporting the formal verification of mathematical texts

Describes a project that uses

Uses Software

• GF

This page was built for publication:

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