A Web Interface for Isabelle: The Next Generation

机译：Isabelle的Web界面：下一代

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present Clide, a web interface for the interactive theorem prover Isabelle. Clide uses latest web technology and the Isabelle/PIDE framework to implement a web-based interface for asynchronous proof document management that competes with, and in some aspects even surpasses, conventional user interfaces for Isabelle such as Proof General or Isabelle/jEdit.

机译：我们介绍了Clide，这是交互式定理证明者Isabelle的Web界面。 Clide使用最新的Web技术和Isabelle / PIDE框架为异步证明文档管理实现基于Web的界面，该界面与Isabelle的常规用户界面（例如Proof General或Isabelle / jEdit）相抗衡，甚至在某些方面甚至超过了。

著录项

来源
《Intelligent computer mathematics》|2013年|326-329|共4页
会议地点 Bath(GB)
作者
Christoph Lueth; Martin Ring;
展开▼
作者单位

Deutsches Forschungszentrum fuer Kuenstliche Intelligenz Bremen, Germany;

Deutsches Forschungszentrum fuer Kuenstliche Intelligenz Bremen, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. VARIANT: Command Line, Web service and Web interface for fast and accurate functional characterization of variants found by Next-Generation Sequencing [J] . Alejandro De Maria, Cristina Y. Gonzalez, Francisco Salavert, Nucleic acids research . 2012,第W1期

机译：变量：命令行，Web服务和Web界面，用于快速准确地表征下一代测序发现的变体
2. WebEAV: automatic metadata-driven generation of web interfaces to entity-attribute-value databases. [J] . Nadkarni PM, Brandt CM, Marenco L Journal of the American Medical Informatics Association : . 2000,第4期

机译：WebEAV：自动元数据驱动的Web界面到实体属性值数据库的生成。
3. WebEAV: automatic metadata-driven generation of web interfaces to entity-attribute-value databases. [J] . Nadkarni PM, Brandt CM, Marenco L Journal of the American Medical Informatics Association : . 2000,第4期

机译：WebEAV：自动元数据驱动的Web界面到实体属性值数据库的生成。
4. A Web Interface for Isabelle: The Next Generation [C] . Christoph Luth, Martin Ring Symposium on the Integration of Symbolic Computation and Mechanized Reasoning . 2013

机译：isabelle的Web界面：下一代
5. Satisfaction with web-based meetings for idea generation and selection: The role of instrumentality, enjoyment, and interface design [D] . Ivanov, Alexander 2009

机译：对基于Web的会议进行想法生成和选择的满意度：工具，娱乐和界面设计的作用
6. VARIANT: Command Line Web service and Web interface for fast and accurate functional characterization of variants found by Next-Generation Sequencing [O] . Ignacio Medina, Alejandro De Maria, Marta Bleda, 2012

机译：变量：命令行Web服务和Web界面用于快速准确地表征下一代测序发现的变体
7. Web-based User Interface Modeling and Automatic Mobile Web App Generation Tool [O] . Kibong Choi, Saehwa Kim 2016

机译：基于Web的用户界面建模和自动移动Web应用程序生成工具
8. Xlsabelle: A Graphical User Interface to the Isabelle Theorem Prover [R] . Cant, A., Ozols, M. A. 1995

机译：Xlsabelle：Isabelle定理证明器的图形用户界面

A Web Interface for Isabelle: The Next Generation

摘要

著录项

相似文献

相关主题

期刊订阅