Embedded Intelligence

Page 1 of 1.

1. Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz

   Formal Management of CAD/CAM Processes

   In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, …

2. Dominik Dietrich; Ewaryst Schulz

   Crystal: Integrating Structured Queries into a Tactic Language

   In: Journal of Automated Reasoning (JAR), Vol. 43, No. 3, Pages 1-32, Springer, 2009.

3. Dominik Dietrich; Ewaryst Schulz

   CRStL: A Declarative Language for the Encoding of Proof Techniques

   In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, …

4. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

   Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

   In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …

• 1