Erica Melis

Available identifiers

zbMath Open melis.ericaMaRDI QIDQ1188507

List of research outcomes

Publication	Date of Publication	Type
Ωmega: Towards a mathematical assistant	2019-10-01	Paper
Two kinds of non-monotonic analogical inference	2019-04-29	Paper
Internal analogy in theorem proving	2019-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q2848045	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3012544	2011-07-06	Paper
Methods to Access and Retrieve Mathematical Content in ActiveMath	2010-09-14	Paper
Proof planning with multiple strategies	2009-07-17	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Mathematical Knowledge Management	2005-08-26	Paper
Constraint solving for proof planning	2005-05-17	Paper
Artificial Intelligence and Soft Computing - ICAISC 2004	2005-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q3046177	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809051	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4413883	2003-07-21	Paper
Knowledge representation and management in ACTIVEMATH	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4530469	2003-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q2767093	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4518862	2001-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4499154	2001-03-06	Paper
Knowledge-based proof planning	2000-06-04	Paper
Analogy in inductive theorem proving	2000-01-12	Paper
The Heine-Borel challenge problem. In honor of Woody Bledsoe	1998-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q3773396	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5617628	1972-01-01	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: Erica Melis