Ωmega: Towards a mathematical assistant C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ... International Conference on Automated Deduction, 252-255, 1997 | 222 | 1997 |

Proof Development with Ωmega J Siekmann, C Benzmüller, V Brezhnev, L Cheikhrouhou, A Fiedler, ... International Conference on Automated Deduction, 144-149, 2002 | 109 | 2002 |

Agent-oriented integration of distributed mathematical services A Franke, SM Hess, CG Jung, M Kohlhase, V Sorge Journal of Universal Computer Science 5 (3), 156-187, 1999 | 83 | 1999 |

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

OANTS–an open approach at combining interactive and automated theorem proving C Benzmüller, V Sorge Symbolic Computation and Automated Reasoning, 81-97, 2001 | 64 | 2001 |

LΩUI: Lovely ΩMEGA user interface J Siekmann, S Hess, C Benzmüller, L Cheikhrouhou, A Fiedler, ... Formal Aspects of Computing 11 (3), 326-342, 1999 | 54 | 1999 |

PDS—A three-dimensional data structure for proof plans L Cheikhrouhou, V Sorge Proceedings of the International Conference on Artificial and Computational …, 2000 | 38 | 2000 |

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

Integrating tps and omega C Benzmüller, M Bishop, V Sorge Journal of Universal Computer Science 5 (3), 188-207, 1999 | 35 | 1999 |

A linear grammar approach to mathematical formula recognition from PDF JB Baker, AP Sexton, V Sorge International Conference on Intelligent Computer Mathematics, 201-216, 2009 | 34 | 2009 |

Non-trivial symbolic computations in proof planning V Sorge International Workshop on Frontiers of Combining Systems, 121-135, 2000 | 34 | 2000 |

Comparing approaches to the exploration of the domain of residue classes A Meier, M Pollet, V Sorge Journal of Symbolic Computation 34 (4), 287-306, 2002 | 33 | 2002 |

A blackboard architecture for guiding interactive proofs C Benzmüller, V Sorge International Conference on Artificial Intelligence: Methodology, Systems …, 1998 | 33 | 1998 |

Automatic generation of classification theorems for finite algebras S Colton, A Meier, V Sorge, R McCasland International Joint Conference on Automated Reasoning, 400-414, 2004 | 32 | 2004 |

Integrating computer algebra with proof planning M Kerber, M Kohlhase, V Sorge International Symposium on Design and Implementation of Symbolic Computation …, 1996 | 28 | 1996 |

Adaptive course generation and presentation J Siekmann, C Benzmuller, A Fiedler, A Franke, G Goguadze, H Horacek, ... Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based …, 2000 | 27 | 2000 |

AIMSS: An architecture for data driven simulations in the social sciences C Kennedy, G Theodoropoulos, V Sorge, E Ferrari, P Lee, C Skelcher International Conference on Computational Science, 1098-1105, 2007 | 26 | 2007 |

A predictive method of calculating the dosimetric effect of 1-D motion on narrow multileaf collimated segments A Kelly, M Williams, P Metcalfe Australasian Physics & Engineering Sciences in Medicine 32 (1), 1, 2009 | 25 | 2009 |

Towards making mathematics a first class citizen in general screen readers V Sorge, C Chen, TV Raman, D Tseng Proceedings of the 11th Web for All Conference, 40, 2014 | 24 | 2014 |

Automatic construction and verification of isotopy invariants V Sorge, A Meier, R McCasland, S Colton Journal of Automated Reasoning 40 (2-3), 221-243, 2008 | 24 | 2008 |