\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker |
|
1997
|
Proof planning with multiple strategies. Zbl 0983.68531
Melis, Erica; Meier, Andreas |
|
2000
|
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen |
|
2002
|
Knowledge-based proof planning. Zbl 0939.68822
Melis, E.; Siekmann, J. |
|
1999
|
Analogy in inductive theorem proving. Zbl 0929.03019
Melis, Erica; Whittle, Jon |
|
1999
|
Methods to access and retrieve mathematical content in ActiveMath. Zbl 1283.68319
Libbrecht, Paul; Melis, Erica |
|
2006
|
Authoring presentation for OpenMath. Zbl 1151.68669
Manzoor, Shahid; Libbrecht, Paul; Ullrich, Carsten; Melis, Erica |
|
2006
|
ActiveMath: an intelligent tutoring system for mathematics. Zbl 1058.97500
Melis, Erica; Siekmann, Jörg |
|
2004
|
Knowledge representation and management in ACTIVEMATH. Zbl 1025.68083
Melis, Erica; Büdenbender, Jochen; Goguadze, George; Libbrecht, Paul; Ullrich, Carsten |
|
2003
|
Proof planning with multiple strategies. Zbl 1182.68259
Melis, Erica; Meier, Andreas; Siekmann, Jörg |
|
2008
|
System description: Multi. A multi-strategy proof planner. Zbl 1135.68557
Meier, Andreas; Melis, Erica |
|
2005
|
Employing external reasoners in proof planning. Zbl 0958.68152
Melis, Erica; Sorge, Volker |
|
1999
|
The Heine-Borel challenge problem. In honor of Woody Bledsoe. Zbl 0893.68136
Melis, Erica |
|
1998
|
Constraint solving for proof planning. Zbl 1071.68093
Zimmer, Jürgen; Melis, Erica |
|
2004
|
Integrating constraint solving into proof planning. Zbl 0962.68151
Melis, Erica; Zimmer, Jürgen; Müller, Tobias |
|
2000
|
Impasse-driven reasoning in proof planning. Zbl 1151.68636
Meier, Andreas; Melis, Erica |
|
2006
|
Internal analogy in theorem proving. Zbl 1412.68245
Melis, Erica; Whittle, Jon |
|
1996
|
Proof planning with multiple strategies. Zbl 1182.68259
Melis, Erica; Meier, Andreas; Siekmann, Jörg |
|
2008
|
Methods to access and retrieve mathematical content in ActiveMath. Zbl 1283.68319
Libbrecht, Paul; Melis, Erica |
|
2006
|
Authoring presentation for OpenMath. Zbl 1151.68669
Manzoor, Shahid; Libbrecht, Paul; Ullrich, Carsten; Melis, Erica |
|
2006
|
Impasse-driven reasoning in proof planning. Zbl 1151.68636
Meier, Andreas; Melis, Erica |
|
2006
|
System description: Multi. A multi-strategy proof planner. Zbl 1135.68557
Meier, Andreas; Melis, Erica |
|
2005
|
ActiveMath: an intelligent tutoring system for mathematics. Zbl 1058.97500
Melis, Erica; Siekmann, Jörg |
|
2004
|
Constraint solving for proof planning. Zbl 1071.68093
Zimmer, Jürgen; Melis, Erica |
|
2004
|
Knowledge representation and management in ACTIVEMATH. Zbl 1025.68083
Melis, Erica; Büdenbender, Jochen; Goguadze, George; Libbrecht, Paul; Ullrich, Carsten |
|
2003
|
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen |
|
2002
|
Proof planning with multiple strategies. Zbl 0983.68531
Melis, Erica; Meier, Andreas |
|
2000
|
Integrating constraint solving into proof planning. Zbl 0962.68151
Melis, Erica; Zimmer, Jürgen; Müller, Tobias |
|
2000
|
Knowledge-based proof planning. Zbl 0939.68822
Melis, E.; Siekmann, J. |
|
1999
|
Analogy in inductive theorem proving. Zbl 0929.03019
Melis, Erica; Whittle, Jon |
|
1999
|
Employing external reasoners in proof planning. Zbl 0958.68152
Melis, Erica; Sorge, Volker |
|
1999
|
The Heine-Borel challenge problem. In honor of Woody Bledsoe. Zbl 0893.68136
Melis, Erica |
|
1998
|
\(\Omega\)mega: towards a mathematical assistant. Zbl 1430.68393
Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef; Fiedler, Armin; Huang, Xiaorong; Kerber, Manfred; Kohlhase, Michael; Konrad, Karsten; Meier, Andreas; Melis, Erica; Schaarschmidt, Wolf; Siekmann, Jörg; Sorge, Volker |
|
1997
|
Internal analogy in theorem proving. Zbl 1412.68245
Melis, Erica; Whittle, Jon |
|
1996
|