Ω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 | 84 | 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 | 83 | 1994 |

What makes a problem hard for XCS? T Kovacs, M Kerber International Workshop on Learning Classifier Systems, 80-99, 2000 | 76 | 2000 |

A mechanization of strong Kleene logic for partial functions M Kerber, M Kohlhase International Conference on Automated Deduction, 371-385, 1994 | 57 | 1994 |

How to prove higher order theorems in first order logic M Kerber Saarländische Universitäts-und Landesbibliothek, 1990 | 52 | 1990 |

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 |

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

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 | 34 | 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 |

Integrating computer algebra with proof planning M Kerber, M Kohlhase, V Sorge Design and Implementation of Symbolic Computation Systems: International …, 1996 | 29 | 1996 |

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 | 26 | 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 | 21 | 2015 |

Adapting methods to novel tasks in proof planning X Huang, M Kerber, M Kohlhase, J Richts KI-94: Advances in Artificial Intelligence: 18th German Annual Conference on …, 1994 | 19 | 1994 |

Some aspects of analogy in mathematical reasoning M Kerber Analogical and Inductive Inference: International Workshop All'89 …, 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, ... International Conference on Intelligent Computer Mathematics, 200-215, 2013 | 18 | 2013 |