×

zbMATH — the first resource for mathematics

Schumann, Johann M. Ph.

Compute Distance To:
Author ID: schumann.johann-m-ph Recent zbMATH articles by "Schumann, Johann M. Ph."
Published as: Schumann, J.; Schumann, Johann; Schumann, Johann M.; Schumann, Johann M. Ph.
External Links: MGP
Documents Indexed: 22 Publications since 1990, including 2 Books

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 54 times in 50 Documents Cited by Year
SETHEO: A high-performance theorem prover. Zbl 0759.68080
Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
41
1992
PARTHEO: A high-performance parallel theorem prover. Zbl 0708.68076
Schumann, J.; Letz, R.
5
1990
Using automated theorem provers to certify auto-generated aerospace software. Zbl 1126.68563
Denney, Ewen; Fischer, Bernd; Schumann, Johann
3
2004
AutoBayes: A system for generating data analysis programs from statistical models. Zbl 1037.68044
Fischer, Bernd; Schumann, Johann
2
2003
Synthesizing certified code. Zbl 1064.68541
Whalen, Michael; Schumann, Johann; Fischer, Bernd
1
2002
Generating data analysis programs from statistical models (position paper). Zbl 1044.68527
Fischer, Bernd; Schumann, Johann; Pressburger, Tom
1
2000
SiCoTHEO: simple competitive parallel theorem provers. Zbl 1412.68259
Schumann, J.
1
1996
Using automated theorem provers to certify auto-generated aerospace software. Zbl 1126.68563
Denney, Ewen; Fischer, Bernd; Schumann, Johann
3
2004
AutoBayes: A system for generating data analysis programs from statistical models. Zbl 1037.68044
Fischer, Bernd; Schumann, Johann
2
2003
Synthesizing certified code. Zbl 1064.68541
Whalen, Michael; Schumann, Johann; Fischer, Bernd
1
2002
Generating data analysis programs from statistical models (position paper). Zbl 1044.68527
Fischer, Bernd; Schumann, Johann; Pressburger, Tom
1
2000
SiCoTHEO: simple competitive parallel theorem provers. Zbl 1412.68259
Schumann, J.
1
1996
SETHEO: A high-performance theorem prover. Zbl 0759.68080
Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
41
1992
PARTHEO: A high-performance parallel theorem prover. Zbl 0708.68076
Schumann, J.; Letz, R.
5
1990
all top 5

Cited by 79 Authors

4 Bibel, Wolfgang
4 Kreitz, Christoph
4 Schumann, Johann M. Ph.
3 Baumgartner, Peter
3 Brüning, Stefan
3 Otten, Jens
3 Sutcliffe, Geoff
2 Beckert, Bernhard
2 Bonacina, Maria Paola
2 Fischer, Bernd
2 Furbach, Ulrich
2 Hähnle, Reiner
2 Letz, Reinhold
2 Loveland, Donald W.
2 Schaub, Torsten H.
2 Schmitt, Stephan
1 Ammon, Kurt
1 Balzer, Wolfgang
1 Barnes, Janet
1 Barrett, Clark W.
1 Brandt, Christoph
1 Buchberger, Bruno
1 Bushnell, David H.
1 Chapman, Roderick
1 Cook, Andrew W.
1 Crǎciun, Adrian
1 Egly, Uwe
1 Ellis, Bill J.
1 Erzberger, Heinz
1 Fronhöfer, Bertram
1 Fuchs, Marc
1 Ge, Yeting
1 German, V. N.
1 Giannakopoulou, Dimitra
1 Goller, Christoph
1 Goré, Rajeev Prabhakar
1 Harrison, John
1 Heere, Karen
1 Horton, Joseph D.
1 Hsiang, Jieh
1 Ibens, Ortrun
1 Ireland, Andrew
1 Jebelean, Tudor
1 Klingenbeck, Stefan
1 Kovács, Laura Ildikó
1 Kutsia, Temur
1 Letychevs’kyĭ, Oleksandr Adol’fovych
1 Mayr, Kathrin
1 Melis, Erica
1 Morokhovets, Marina K.
1 Nakagawa, Koji
1 Nepomnyashchy, V. A.
1 Newborn, Monty
1 Nie, Xumin
1 Pape, Christian
1 Paskevich, Andrei
1 Piroi, Florina
1 Popov, Nikolaj
1 Posegga, Joachim
1 Rath, Thomas
1 Reed, David W.
1 Robu, Judit
1 Rosenkranz, Markus
1 Roşu, Grigore
1 Sander, Jörg
1 Schumann, Jochen
1 Segre, Alberto Maria
1 Shchogoleva, N. N.
1 Shults, Benjamin
1 Siekmann, Jörg H.
1 Spencer, Bruce D.
1 Stickel, Mark E.
1 Stolzenburg, Frieder
1 Sturgill, David B.
1 Suttner, Christian B.
1 Tinelli, Cesare
1 Wang, Zongyan
1 Windsteiger, Wolfgang
1 Wolf, Andreas

Citations by Year