Edit Profile (opens in new tab) Steinbach, Jonathan M. Co-Author Distance Author ID: steinbach.jonathan-m Published as: Steinbach, Jonathan M. Documents Indexed: 4 Publications since 1988 Co-Authors: 6 Co-Authors with 1 Joint Publication 55 Co-Co-Authors all top 5 Co-Authors 2 single-authored 1 Avenhaus, Jürgen 1 Broadbery, Peter A. 1 Dooley, Samuel S. 1 Gramlich, Bernhard 1 Iglio, Pietro 1 Madlener, Klaus E. 1 Morrison, Scott C. 1 Sutor, Robert S. 1 Watt, Stephen Michael Serials 1 Numerical Functional Analysis and Optimization Fields 2 Partial differential equations (35-XX) 2 Computer science (68-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ A first report on the \(\mathbb{A}^\#\) compiler. Zbl 0945.68511 Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S. 4 1994 TRSPEC: A term rewriting based system for algebraic specifications. Zbl 0667.68032 Avenhaus, J.; Göbel, R.; Gramlich, B.; Madlener, K.; Steinbach, J. 2 1988 A first report on the \(\mathbb{A}^\#\) compiler. Zbl 0945.68511 Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S. 4 1994 TRSPEC: A term rewriting based system for algebraic specifications. Zbl 0667.68032 Avenhaus, J.; Göbel, R.; Gramlich, B.; Madlener, K.; Steinbach, J. 2 1988 all top 5 Cited by 6 Authors 2 Watt, Stephen Michael 1 Dragan, Laurentiu 1 Kaltofen, Erich L. 1 Mulders, Thom 1 Rabe, Florian 1 Storjohann, Arne Cited in 1 Serial 2 Journal of Symbolic Computation Cited in 3 Fields 3 Computer science (68-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Numerical analysis (65-XX) Citations by Year