Serge Autexier

Available identifiers

zbMath Open autexier.sergeMaRDI QIDQ841685

List of research outcomes

Publication	Date of Publication	Type
SHIP - A Logic-Based Language and Tool to Program Smart Environments	2016-02-05	Paper
Structure Formation in Large Theories	2015-11-20	Paper
Formal Modelling for Cooking Assistance	2015-06-22	Paper
Recent developments in mega's proof search programming language	2015-02-26	Paper
\textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems	2013-12-20	Paper
Assertion-level proof representation with under-specification	2013-09-09	Paper
Towards proof planning for \(\mathcal{M}_{\omega}^+\)	2013-08-19	Paper
A pragmatic approach to reuse in tactical theorem proving	2013-07-24	Paper
A proof-planning framework with explicit abstractions based on indexed formulas	2013-07-24	Paper
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics	2011-07-29	Paper
Change Management for Heterogeneous Development Graphs	2010-11-22	Paper
A Tactic Language for Declarative Proofs	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3408129	2010-02-24	Paper
Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega	2009-09-18	Paper
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems	2007-11-28	Paper
A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus	2007-09-05	Paper
Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge	2007-09-05	Paper
Computer supported mathematics with \(\Omega\)MEGA	2007-02-20	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Development graphs -- proof management for structured specifications	2006-04-28	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4737121	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4428290	2003-09-15	Paper
VSE: Formal methods meet industrial needs	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2764131	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2722016	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4247095	1999-06-16	Paper

Research outcomes over time

This page was built for person: Serge Autexier