×

zbMATH — the first resource for mathematics

Siekmann, Jörg H.

Compute Distance To:
Author ID: siekmann.jorg-h Recent zbMATH articles by "Siekmann, Jörg H."
Published as: Siekmann, J.; Siekmann, J. H.; Siekmann, J.-H.; Siekmann, Joerg H.; Siekmann, Jörg; Siekmann, Jörg H.
Documents Indexed: 66 Publications since 1963, including 10 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 267 times in 201 Documents Cited by Year
Unification theory. Zbl 0678.68098
Siekmann, Jörg H.
51
1989
Universal unification. Zbl 0547.03011
Siekmann, Jörg H.
28
1984
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
Siekmann, Jörg (ed.); Wrightson, Graham (ed.)
20
1983
Introduction to unification theory. Zbl 0704.68096
Siekmann, J. H.
19
1990
Unification in abelian semigroups. Zbl 0637.68106
Herold, Alexander; Siekmann, Jörg H.
18
1987
Universal unification. Zbl 0584.68050
Siekmann, J.; Szabó, P.
14
1982
A Noetherian and confluent rewrite system for idempotent semigroups. Zbl 0493.68087
Siekmann, J.; Szabo, P.
13
1982
An order-sorted logic for knowledge representation systems. Zbl 0768.68196
Beierle, C.; Hedtstück, U.; Pletat, U.; Schmitt, P. H.; Siekmann, J.
11
1992
Proof development with \(\Omega\)MEGA: the irrationality of \(\sqrt 2\). Zbl 1063.68093
Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas; Normann, Immanuel; Pollet, Martin
8
2003
Computer supported mathematics with \(\Omega\)MEGA. Zbl 1107.68101
Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge
7
2006
The undecidability of the \(D_ A\)-unification problem. Zbl 0701.03020
Siekmann, J.; Szabó, P.
7
1989
Theoretical studies of sea animal locomotion. II. Zbl 0112.40802
Siekmann, J.
7
1963
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
6
2002
Knowledge-based proof planning. Zbl 0939.68822
Melis, E.; Siekmann, J.
6
1999
Handbook of logic in artificial intelligence and logic programming. Vol. 1: Logical foundations. Zbl 0808.68027
Gabbay, Dov M. (ed.); Hogger, C. J. (ed.); Robinson, J. A. (ed.); Siekmann, J. (ed.)
6
1993
Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational. Zbl 1023.68660
Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.
5
2002
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
Siekmann, Jörg (ed.); Wrightson, Graham (ed.)
4
1983
ActiveMath: an intelligent tutoring system for mathematics. Zbl 1058.97500
Melis, Erica; Siekmann, Jörg
3
2004
Planning diagonalization proofs. Zbl 0929.03020
Cheikhrouhou, Lassaad; Siekmann, Jörg
3
1998
Partial unification for graph based equational reasoning. Zbl 0656.68102
Bläsius, Karl Hans; Siekmann, Jörg H.
3
1988
On unification: Equational theories are not bounded. Zbl 0629.68037
Book, R. V.; Siekmann, J. H.
3
1986
Paramodulated connection graphs. Zbl 0407.05070
Siekmann, Jörg; Wrightson, Graham
3
1980
Proof planning with multiple strategies. Zbl 1182.68259
Melis, Erica; Meier, Andreas; Siekmann, Jörg
2
2008
Numerical study of the oscillations of axially excited liquid annuli with rotational symmetry enclosed in revolving circular cylindrical containers. Zbl 0849.76092
Ehmann, M.; Siekmann, J.
2
1995
Numerical analysis of the thermocapillary migration of a fluid particle under zero-gravity. Zbl 0785.76046
Ehmann, M.; Wozniak, G.; Siekmann, J.
2
1992
Numerical studies of fluid oscillation problems by boundary integral techniques. Zbl 0629.76115
Dürr, H. M.; Siekmann, J.
2
1987
Dynamic behavior of distensible fluid lines carrying a pulsating incompressible liquid. Zbl 0446.76099
Bauer, H. F.; Metten, St.; Siekmann, J.
2
1980
Completeness and soundness of the connection graph proof procedure. Zbl 0399.68088
Stephan, W.; Siekmann, J.
2
1979
On the dynamics of liquids in a cylindrical tank with a flexible bottom. Zbl 0159.57301
Siekmann, J.; Chang, S.-C.
2
1968
On the swimming of a flexible palte of arbitrary finite thickness. Zbl 0125.42803
Uldrick, J. P.; Siekmann, J.
2
1964
\(\Omega\)MEGA: Computer supported mathematics. Zbl 1132.68682
Siekmann, Jörg; Benzmüller, Christoph
1
2004
Formal software development in the verification support environment (VSE). Zbl 1010.68026
Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland
1
2000
\(\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
Über Flüssigkeitsschwingungen in einem horizontalen Kreiszylinder. (About fluid oscillations in a horizontal circular cylinder). Zbl 0645.76016
Bartkowiak, K.; Gampert, B.; Siekmann, J.
1
1986
On the unification hierarchy. Zbl 0615.03003
Book, R.; Siekmann, J. H.
1
1986
Analysis of ring aerofoils of elliptic cross section. I: General theory. Zbl 0123.20502
Siekmann, J.
1
1964
Proof planning with multiple strategies. Zbl 1182.68259
Melis, Erica; Meier, Andreas; Siekmann, Jörg
2
2008
Computer supported mathematics with \(\Omega\)MEGA. Zbl 1107.68101
Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge
7
2006
ActiveMath: an intelligent tutoring system for mathematics. Zbl 1058.97500
Melis, Erica; Siekmann, Jörg
3
2004
\(\Omega\)MEGA: Computer supported mathematics. Zbl 1132.68682
Siekmann, Jörg; Benzmüller, Christoph
1
2004
Proof development with \(\Omega\)MEGA: the irrationality of \(\sqrt 2\). Zbl 1063.68093
Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin; Meier, Andreas; Normann, Immanuel; Pollet, Martin
8
2003
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
6
2002
Proof development with \(\Omega\)MEGA: \(\sqrt{2}\) is irrational. Zbl 1023.68660
Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.
5
2002
Formal software development in the verification support environment (VSE). Zbl 1010.68026
Hutter, Dieter; Langenstein, Bruno; Rock, Georg; Siekmann, Jörg H.; Stephan, Werner; Vogt, Roland
1
2000
Knowledge-based proof planning. Zbl 0939.68822
Melis, E.; Siekmann, J.
6
1999
Planning diagonalization proofs. Zbl 0929.03020
Cheikhrouhou, Lassaad; Siekmann, Jörg
3
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
Numerical study of the oscillations of axially excited liquid annuli with rotational symmetry enclosed in revolving circular cylindrical containers. Zbl 0849.76092
Ehmann, M.; Siekmann, J.
2
1995
Handbook of logic in artificial intelligence and logic programming. Vol. 1: Logical foundations. Zbl 0808.68027
Gabbay, Dov M. (ed.); Hogger, C. J. (ed.); Robinson, J. A. (ed.); Siekmann, J. (ed.)
6
1993
An order-sorted logic for knowledge representation systems. Zbl 0768.68196
Beierle, C.; Hedtstück, U.; Pletat, U.; Schmitt, P. H.; Siekmann, J.
11
1992
Numerical analysis of the thermocapillary migration of a fluid particle under zero-gravity. Zbl 0785.76046
Ehmann, M.; Wozniak, G.; Siekmann, J.
2
1992
Introduction to unification theory. Zbl 0704.68096
Siekmann, J. H.
19
1990
Unification theory. Zbl 0678.68098
Siekmann, Jörg H.
51
1989
The undecidability of the \(D_ A\)-unification problem. Zbl 0701.03020
Siekmann, J.; Szabó, P.
7
1989
Partial unification for graph based equational reasoning. Zbl 0656.68102
Bläsius, Karl Hans; Siekmann, Jörg H.
3
1988
Unification in abelian semigroups. Zbl 0637.68106
Herold, Alexander; Siekmann, Jörg H.
18
1987
Numerical studies of fluid oscillation problems by boundary integral techniques. Zbl 0629.76115
Dürr, H. M.; Siekmann, J.
2
1987
On unification: Equational theories are not bounded. Zbl 0629.68037
Book, R. V.; Siekmann, J. H.
3
1986
Über Flüssigkeitsschwingungen in einem horizontalen Kreiszylinder. (About fluid oscillations in a horizontal circular cylinder). Zbl 0645.76016
Bartkowiak, K.; Gampert, B.; Siekmann, J.
1
1986
On the unification hierarchy. Zbl 0615.03003
Book, R.; Siekmann, J. H.
1
1986
Universal unification. Zbl 0547.03011
Siekmann, Jörg H.
28
1984
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
Siekmann, Jörg (ed.); Wrightson, Graham (ed.)
20
1983
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
Siekmann, Jörg (ed.); Wrightson, Graham (ed.)
4
1983
Universal unification. Zbl 0584.68050
Siekmann, J.; Szabó, P.
14
1982
A Noetherian and confluent rewrite system for idempotent semigroups. Zbl 0493.68087
Siekmann, J.; Szabo, P.
13
1982
Paramodulated connection graphs. Zbl 0407.05070
Siekmann, Jörg; Wrightson, Graham
3
1980
Dynamic behavior of distensible fluid lines carrying a pulsating incompressible liquid. Zbl 0446.76099
Bauer, H. F.; Metten, St.; Siekmann, J.
2
1980
Completeness and soundness of the connection graph proof procedure. Zbl 0399.68088
Stephan, W.; Siekmann, J.
2
1979
On the dynamics of liquids in a cylindrical tank with a flexible bottom. Zbl 0159.57301
Siekmann, J.; Chang, S.-C.
2
1968
On the swimming of a flexible palte of arbitrary finite thickness. Zbl 0125.42803
Uldrick, J. P.; Siekmann, J.
2
1964
Analysis of ring aerofoils of elliptic cross section. I: General theory. Zbl 0123.20502
Siekmann, J.
1
1964
Theoretical studies of sea animal locomotion. II. Zbl 0112.40802
Siekmann, J.
7
1963
all top 5

Cited by 284 Authors

11 Siekmann, Jörg H.
6 Alpuente, María
6 Baader, Franz
6 Meseguer Guaita, José
5 Benzmüller, Christoph Ewald
5 Paulson, Lawrence Charles
5 Schmidt-Schauß, Manfred
4 Bürckert, Hans Jürgen
4 Escobar, Santiago
4 Giunchiglia, Enrico
4 Maratea, Marco
4 Urquhart, Alasdair
3 Büttner, Wolfram
3 Fages, François
3 Farmer, William M.
3 Hermann, Miki
3 Kaneiwa, Ken
3 Kolaitis, Phokion G.
3 Melis, Erica
3 Omodeo, Eugenio Giovanni
3 Petrich, Mario
3 Rittri, Mikael
3 You, Jia-Huai
2 Ahmadi, Ali R.
2 Autexier, Serge
2 Bauer, Helmut F.
2 Baumgartner, Peter
2 Blanchette, Jasmin Christian
2 Böhme, Sascha
2 Buchberger, Bruno
2 Burris, Stanley N.
2 Buss, Samuel R.
2 Cao, Tru Hoang
2 Contejean, Evelyne
2 Eisinger, Norbert
2 Evans, P. L.
2 Falaschi, Moreno
2 Fortenbacher, Albrecht
2 Gerhard, J. A.
2 Ghilardi, Silvio
2 Hoche, Michael
2 Klíma, Ondřej
2 Kutsia, Temur
2 Latch, Dana May
2 Meier, Andreas
2 Meng, Jia
2 Narendran, Paliath
2 Nipkow, Tobias
2 Ohlbach, Hans Jürgen
2 Ojeda, Pedro
2 Pichler, Reinhard
2 Polák, Libor
2 Policriti, Alberto
2 Roy, R. Valéry
2 Schwartz, Leonard W.
2 Smolka, Gert
2 Sutcliffe, Geoff
2 Szabó, Péter Gábor
2 Theiss, Frank
2 Uldrick, J. P.
2 Weidenbach, Christoph
2 Widnall, Sheila E.
2 Wirth, Claus-Peter
1 Adi, Mohamed
1 Aït-Kaci, Hassan
1 Ajili, Farid
1 Albert, Luc
1 Albert, Michael Henry
1 Anantharaman, Siva
1 Antonsen, Roger
1 Armando, Alessandro
1 Arnborg, Stefan
1 Artemov, Sergei
1 Aspinall, David
1 Ayala-Rincón, Mauricio
1 Balasubramaniam, Ramesh
1 Baldan, Paolo
1 Barceló-Aspeitia, Axel Arturo
1 Barsotti, Damián
1 Becker, Eberhard
1 Beierle, Christoph
1 Bibel, Wolfgang
1 Blanqui, Frédéric
1 Book, Ronald Vernon
1 Bracciali, Andrea
1 Bradley, Elizabeth
1 Brink, Chris
1 Brown, Chad Edward
1 Brown, Frank Markham
1 Bruni, Roberto
1 Bry, François
1 Burghardt, Jochen
1 Burke, Edmund Kieran
1 Buss, Sam
1 Calude, Cristian S.
1 Cantone, Domenico
1 Casas, Rafael
1 Caselles Costa, Vicent
1 Castellini, Claudio
1 Cerna, David M.
...and 184 more Authors
all top 5

Cited in 51 Serials

31 Journal of Symbolic Computation
23 Journal of Automated Reasoning
22 Theoretical Computer Science
12 Artificial Intelligence
8 Journal of Fluid Mechanics
6 Annals of Pure and Applied Logic
6 Journal of Applied Logic
5 Information and Computation
5 Annals of Mathematics and Artificial Intelligence
4 Information Processing Letters
3 Computers & Mathematics with Applications
3 Journal of Computer and System Sciences
3 New Generation Computing
3 Physics of Fluids
2 Semigroup Forum
2 Journal of Computer Science and Technology
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 RAIRO. Informatique Théorique et Applications
2 Mathematics in Computer Science
1 Acta Informatica
1 Acta Mechanica
1 Communications in Algebra
1 Computers and Fluids
1 Communications on Pure and Applied Mathematics
1 Ingenieur-Archiv
1 International Journal of General Systems
1 International Journal for Numerical Methods in Fluids
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
1 Algebra Universalis
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Glasgow Mathematical Journal
1 Journal of Algebra
1 Journal of Pure and Applied Algebra
1 Notre Dame Journal of Formal Logic
1 Studia Logica
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Applied Mathematical Modelling
1 Cybernetics and Systems Analysis
1 Journal of Applied Non-Classical Logics
1 Journal of Functional Programming
1 Constraints
1 Erkenntnis
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Theory and Practice of Logic Programming
1 Logical Methods in Computer Science
1 Algebra
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year