×

zbMATH — the first resource for mathematics

Kerber, Manfred

Compute Distance To:
Author ID: kerber.manfred Recent zbMATH articles by "Kerber, Manfred"
Published as: Kerber, Manfred
Documents Indexed: 41 Publications since 1991, including 4 Books
Reviewing Activity: 17 Reviews

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 58 times in 47 Documents Cited by Year
Integrating computer algebra into proof planning. Zbl 0916.68144
Kerber, Manfred; Kohlhase, Michael; Sorge, Volker
8
1998
How to prove higher order theorems in first order logic. Zbl 0746.68081
Kerber, Manfred
5
1991
Sufficient conditions for unique stable sets in three agent pillage games. Zbl 1291.91018
Rowat, Colin; Kerber, Manfred
4
2014
A Ramsey bound on stable sets in Jordan pillage games. Zbl 1231.91014
Kerber, Manfred; Rowat, Colin
4
2011
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
4
2013
Combined reasoning by automated cooperation. Zbl 1162.68646
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
4
2008
Can a higher-order and a first-order theorem prover cooperate? Zbl 1108.68570
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
3
2005
Automatic learning of proof methods in proof planning. Zbl 1042.03012
Jamnik, Mateja; Kerber, Manfred; Pollet, Martin; Benzmüller, Christoph
3
2003
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
Kerber, Manfred (ed.); Carette, Jacques (ed.); Kaliszyk, Cezary (ed.); Rabe, Florian (ed.); Sorge, Volker (ed.)
2
2015
Pillage games with multiple stable sets. Zbl 1388.91029
MacKenzie, Simon; Kerber, Manfred; Rowat, Colin
2
2015
Experiments with an agent-oriented reasoning system. Zbl 1007.68710
Benzmüller, Christoph; Jamnik, Mateja; Kerber, Manfred; Sorge, Volker
2
2001
A tableau claculus for partial functions. Zbl 0851.03004
Kerber, Manfred; Kohlhase, Michael
2
1996
Intuitive and formal representations: The case of matrices. Zbl 1108.68600
Pollet, Martin; Sorge, Volker; Kerber, Manfred
2
2004
A tough nut for mathematical knowledge management. Zbl 1151.68665
Kerber, Manfred; Pollet, Martin
2
2006
Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Zbl 1119.68011
Kauers, Manuel (ed.); Kerber, Manfred (ed.); Miner, Robert (ed.); Windsteiger, Wolfgang (ed.)
2
2007
An introduction to mechanized reasoning. Zbl 1368.68289
Kerber, Manfred; Lange, Christoph; Rowat, Colin
2
2016
Using tactics to reformulate formulae for resolution theorem proving. Zbl 0891.68094
Kerber, Manfred; Präcklein, Axel
1
1996
Using Theorema in the formalization of theoretical economics. Zbl 1335.68231
Kerber, Manfred; Rowat, Colin; Windsteiger, Wolfgang
1
2011
The ForMaRE project – formal mathematical reasoning in economics. Zbl 1390.68578
Lange, Christoph; Rowat, Colin; Kerber, Manfred
1
2013
Learn\(\Omega\)matic: System description. Zbl 1072.68579
Jamnik, Mateja; Kerber, Manfred; Pollet, Martin
1
2002
On the design of mathematical concepts. Zbl 1032.68743
Kerber, Manfred; Pollet, Martin
1
2002
A mechanization of strong Kleene logic for partial functions. Zbl 1433.03024
Kerber, Manfred; Kohlhase, Michael
1
1994
\(\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
1
1997
An introduction to mechanized reasoning. Zbl 1368.68289
Kerber, Manfred; Lange, Christoph; Rowat, Colin
2
2016
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
Kerber, Manfred; Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker
2
2015
Pillage games with multiple stable sets. Zbl 1388.91029
MacKenzie, Simon; Kerber, Manfred; Rowat, Colin
2
2015
Sufficient conditions for unique stable sets in three agent pillage games. Zbl 1291.91018
Rowat, Colin; Kerber, Manfred
4
2014
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
4
2013
The ForMaRE project – formal mathematical reasoning in economics. Zbl 1390.68578
Lange, Christoph; Rowat, Colin; Kerber, Manfred
1
2013
A Ramsey bound on stable sets in Jordan pillage games. Zbl 1231.91014
Kerber, Manfred; Rowat, Colin
4
2011
Using Theorema in the formalization of theoretical economics. Zbl 1335.68231
Kerber, Manfred; Rowat, Colin; Windsteiger, Wolfgang
1
2011
Combined reasoning by automated cooperation. Zbl 1162.68646
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
4
2008
Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Zbl 1119.68011
Kauers, Manuel; Kerber, Manfred; Miner, Robert; Windsteiger, Wolfgang
2
2007
A tough nut for mathematical knowledge management. Zbl 1151.68665
Kerber, Manfred; Pollet, Martin
2
2006
Can a higher-order and a first-order theorem prover cooperate? Zbl 1108.68570
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
3
2005
Intuitive and formal representations: The case of matrices. Zbl 1108.68600
Pollet, Martin; Sorge, Volker; Kerber, Manfred
2
2004
Automatic learning of proof methods in proof planning. Zbl 1042.03012
Jamnik, Mateja; Kerber, Manfred; Pollet, Martin; Benzmüller, Christoph
3
2003
Learn\(\Omega\)matic: System description. Zbl 1072.68579
Jamnik, Mateja; Kerber, Manfred; Pollet, Martin
1
2002
On the design of mathematical concepts. Zbl 1032.68743
Kerber, Manfred; Pollet, Martin
1
2002
Experiments with an agent-oriented reasoning system. Zbl 1007.68710
Benzmüller, Christoph; Jamnik, Mateja; Kerber, Manfred; Sorge, Volker
2
2001
Integrating computer algebra into proof planning. Zbl 0916.68144
Kerber, Manfred; Kohlhase, Michael; Sorge, Volker
8
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
1
1997
A tableau claculus for partial functions. Zbl 0851.03004
Kerber, Manfred; Kohlhase, Michael
2
1996
Using tactics to reformulate formulae for resolution theorem proving. Zbl 0891.68094
Kerber, Manfred; Präcklein, Axel
1
1996
A mechanization of strong Kleene logic for partial functions. Zbl 1433.03024
Kerber, Manfred; Kohlhase, Michael
1
1994
How to prove higher order theorems in first order logic. Zbl 0746.68081
Kerber, Manfred
5
1991
all top 5

Cited by 104 Authors

8 Kerber, Manfred
6 Benzmüller, Christoph Ewald
6 Rowat, Colin
4 Kohlhase, Michael
3 Siekmann, Jörg H.
3 Sorge, Volker
2 Farmer, William M.
2 Gransden, Thomas
2 Jamnik, Mateja
2 Lange, Christoph
2 Meier, Andreas
2 Melis, Erica
2 Naumowicz, Adam
2 Paulson, Lawrence Charles
2 Raman, Rajeev
2 Sutcliffe, Geoff
2 Theiss, Frank
2 Walkinshaw, Neil
1 Anai, Hirokazu
1 Arai, Noriko H.
1 Archer, Myla M.
1 Autexier, Serge
1 Bancerek, Grzegorz
1 Barthe, Gilles
1 Beardon, Alan Frank
1 Bentkamp, Alexander
1 Blanchette, Jasmin Christian
1 Bledsoe, Woodrow W.
1 Brown, Chad Edward
1 Brucker, Achim D.
1 Bundy, Alan
1 Byliński, Czesław
1 Cairns, Paul
1 Caminati, Marco Bright
1 Caprotti, Olga
1 Carette, Jacques
1 Cheikhrouhou, Lassaad
1 Chen, Xiaoyu
1 Cruanes, Simon
1 Degtyarev, Anatoli Ivanovich
1 Dixon, Lucas
1 Duncan, Ross
1 Fehrer, Detlef
1 Feng, Guohui
1 Fiedler, Armin
1 Franke, Andreas
1 Fukasaku, Ryoya
1 Gaboardi, Marco
1 Gallego Arias, Emilio Jesús
1 Gauthier, Thibault
1 Gow, Jeremy
1 Grabowski, Adam
1 Grov, Gudmund
1 Heras, Jónathan
1 Hsu, Justin
1 Huang, Xiaorong
1 Iwane, Hidenao
1 Janičić, Predrag
1 Kaliszyk, Cezary
1 Kamareddine, Fairouz D.
1 Kapitonova, Yu. V.
1 Kawasaki, Ryo
1 Kobayashi, Munehiro
1 Kohlhase, Andrea
1 Komendantskaya, Ekaterina
1 Konrad, Karsten
1 Korniłowicz, Artur
1 Kudo, Jumma
1 Kulpa, Zenon
1 Kumar, Ramana
1 Lamar, Robert
1 Lim, Hongping
1 MacKenzie, Simon
1 Maletzky, Alexander
1 Matsuzaki, Takuya
1 Matuszewski, Roman
1 Meng, Jia
1 Miyakawa, Toshiji
1 Morokhovets, Marina K.
1 Muto, Shigeo
1 Norrish, Michael
1 Oostdijk, Martijn Diederik
1 Pąk, Karol
1 Pease, Alison
1 Petrukhin, Yaroslav Igorevich
1 Piliszek, Radosław
1 Pollet, Martin
1 Raggi, Daniel
1 Roth, Aaron Leon
1 Schaarschmidt, Wolf
1 Shangin, Vasily
1 Steen, Alexander
1 Strub, Pierre-Yves
1 Sultana, Nik
1 Takemura, Ryo
1 Urban, Josef
1 Wako, Jun
1 Waldmann, Uwe
1 Wang, Dongming
1 Wells, Joe B.
...and 4 more Authors

Citations by Year