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
PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems	2013-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q2847390	2013-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2844813	2013-08-19	Paper
A Proof-Planning Framework with explicit Abstractions based on Indexed Formulas	2013-07-24	Paper
A Pragmatic Approach to Reuse in Tactical Theorem Proving	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Serge Autexier