Ωmega: Towards a mathematical assistant C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ... Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997 | 239 | 1997 |

Integrating computer algebra into proof planning M Kerber, M Kohlhase, V Sorge Journal of Automated Reasoning 21, 327-355, 1998 | 85 | 1998 |

Ω-MKRP: A proof development environment X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ... Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 82 | 1994 |

What makes a problem hard for XCS? T Kovacs, M Kerber IWLCS 1996, 80-102, 2000 | 76 | 2000 |

A mechanization of strong Kleene logic for partial functions M Kerber, M Kohlhase Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 57 | 1994 |

How to prove higher order theorems in first order logic M Kerber | 52 | 1999 |

On the Representation of Mathematical Concepts and their Translation into First-Order Logic M Kerber | 38 | 1999 |

Combined reasoning by automated cooperation C Benzmüller, V Sorge, M Jamnik, M Kerber Journal of Applied Logic 6 (3), 318-342, 2008 | 37 | 2008 |

A tableau calculus for partial functions Kurt-Gödel-Gesellschaft, M Kerber, M Kohlhase Collegium Logicum, 21-49, 1996 | 35 | 1996 |

Common syntax of the DFG-Schwerpunktprogramm deduktion version 1.5 R Hähnle, M Kerber, C Weidenbach, RA Schmidt Technical Report TR 10/96, Fakultät für Informatik, Universität Karlsruhe …, 1996 | 33 | 1996 |

Integrating computer algebra with proof planning M Kerber, M Kohlhase, V Sorge DISCO 96, 204-215, 1996 | 31 | 1996 |

Automatic learning of proof methods in proof planning M Jamnik, M Kerber, M Pollet, C Benzmüller Logic Journal of the IGPL 11 (6), 647-673, 2003 | 29 | 2003 |

Methods-the basic units for planning and verifying proofs X Huang, M Kerber, M Kohlhase | 29 | 1999 |

Keim: A toolkit for automated deduction X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ... Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994 | 28 | 1994 |

Planning mathematical proofs with methods X Huang, M Kerber, L Cheikhrouhou, J Richts, A Sehn | 27 | 1999 |

Experiments with an agent-oriented reasoning system C Benzmüller, M Kerber, M Jamnik, V Sorge KI 2001: Advances in Artificial Intelligence: Joint German/Austrian …, 2001 | 25 | 2001 |

Sound auction specification and implementation MB Caminati, M Kerber, C Lange, C Rowat Proceedings of the Sixteenth ACM Conference on Economics and Computation …, 2015 | 19 | 2015 |

Adapting methods to novel tasks in proof planning X Huang, M Kerber, M Kohlhase, J Richts KI-94: Advances in Artificial Intelligence–Proceedings of KI-94, 18th German …, 1991 | 19 | 1991 |

Some Aspects of Analogy in Mathematical Reasoning. M Kerber AII 397, 231-242, 1989 | 19 | 1989 |

A qualitative comparison of the suitability of four theorem provers for basic auction theory C Lange, MB Caminati, M Kerber, T Mossakowski, C Rowat, M Wenzel, ... Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013 | 18 | 2013 |