University of Birmingham

Proof development with Ωmega (2002) Kohlhase M, Siekmann J, Benzmüller C, Franke A, Melis E, Normann I, Sorge V Conference contribution, Original article The tumour suppressor protein VHL targets hypoxia-inducible factors for oxygen-dependent proteolysis (1999) Maxwell PH, Wiesener MS, Chang GW, Clifford SC, Vaux EC, Cockman ME, Wykoff CC, et al. Journal article, Letter Palaeobotryllus and friends: Cambro-Ordovician record of probable ascidian tunicates (1999) Lehnert O, Miller JF, Cochrane K Journal article, Original article Agent-oriented integration of distributed mathematical services (1999) Franke A, Kohlhase M, Sorge V Journal article, Original article Integrating Computer Algebra into Proof Planning (1998) Kerber M, Kohlhase M, Sorge V Journal article, Original article ΩMEGA: Towards a mathematical assistant (1997) Benzmüller C, Huang X, Kohlhase M, Melis E, Siekmann J, Sorge V Conference contribution, Original article Omega MEGA: Towards a mathematical assistant (1997) Benzmüller C, Huang X, Kohlhase M, Kerber M, Melis E, Siekmann J, Sorge V Conference contribution, Original article Integrating computer algebra with proof planning (1996) Kerber M, Kohlhase M, Sorge V Conference contribution, Original article The proof development environment Ω-MKRP (1996) Huang X, Kerber M, Kohlhase M, Melis E, Richts J, Siekmann J Journal article, Original article Ω-MKRP: A proof development environment (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article