Günther, Christian; Hofmeister, Benedikt; Hübler, Clemens; Jonscher, Clemens; Ragnitz, Jasper; Schubert, Jenny; Steinbach, Marc C. Damage Location in Mechanical Structures by Multi-Objective Pattern Search. arXiv:2404.01896 Preprint, arXiv:2404.01896 [math.OC] (2024). MSC: 70J10 74R99 90C26 90C29 90C59 BibTeX Cite \textit{C. Günther} et al., ``Damage Location in Mechanical Structures by Multi-Objective Pattern Search'', Preprint, arXiv:2404.01896 [math.OC] (2024) Full Text: arXiv OA License
Schubert, Jenny; Steinbach, Marc C.; Hente, Christian; Märtins, David; Schuster, Daniel Accelerating Aeroelastic UVLM Simulations by Inexact Newton Algorithms. arXiv:2403.15286 Preprint, arXiv:2403.15286 [math.NA] (2024). MSC: 49M15 90C53 74F10 76B47 BibTeX Cite \textit{J. Schubert} et al., ``Accelerating Aeroelastic UVLM Simulations by Inexact Newton Algorithms'', Preprint, arXiv:2403.15286 [math.NA] (2024) Full Text: arXiv OA License
Gebhardt, Cristian G.; Schubert, Jenny; Steinbach, Marc C. Long-time principal geodesic analysis in director-based dynamics of hybrid mechanical systems. (English) Zbl 1512.70033 Commun. Nonlinear Sci. Numer. Simul. 122, Article ID 107240, 28 p. (2023). MSC: 70K99 65D15 74H40 74K10 74K25 PDFBibTeX XMLCite \textit{C. G. Gebhardt} et al., Commun. Nonlinear Sci. Numer. Simul. 122, Article ID 107240, 28 p. (2023; Zbl 1512.70033) Full Text: DOI arXiv OA License
Khimin, Denis; Lankeit, Johannes; Steinbach, Marc C.; Wick, Thomas Analysis of a space-time phase-field fracture complementarity model and its optimal control formulation. arXiv:2310.03168 Preprint, arXiv:2310.03168 [math.OC] (2023). MSC: 49J50 49K20 74R10 49J40 BibTeX Cite \textit{D. Khimin} et al., ``Analysis of a space-time phase-field fracture complementarity model and its optimal control formulation'', Preprint, arXiv:2310.03168 [math.OC] (2023) Full Text: arXiv OA License
Sarhil, Mohammad; Shchyglo, Oleg; Brands, Dominik; Schröder, Jörg; Steinbach, Ingo Modeling martensitic transformation in shape memory alloys using multi-phase-field elasticity models based on partial rank-one energy relaxation on pairwise interfaces. arXiv:2304.02406 Preprint, arXiv:2304.02406 [math.NA] (2023). BibTeX Cite \textit{M. Sarhil} et al., ``Modeling martensitic transformation in shape memory alloys using multi-phase-field elasticity models based on partial rank-one energy relaxation on pairwise interfaces'', Preprint, arXiv:2304.02406 [math.NA] (2023) Full Text: arXiv OA License
Douthett, Jack; Steinbach, Peter; Peck, Robert; Krantz, Richard Partitions, their classes, and multicolour evenness. (English) Zbl 1535.00026 J. Math. Music 16, No. 3, 303-345 (2022). MSC: 00A65 05A17 11B73 PDFBibTeX XMLCite \textit{J. Douthett} et al., J. Math. Music 16, No. 3, 303--345 (2022; Zbl 1535.00026) Full Text: DOI
Schmidt, Martin; Hiller, Benjamin; Koch, Thorsten; Pfetsch, Marc E.; Geissler, Björn; Henrion, René; Joormann, Imke; Martin, Alexander; Morsi, Antonio; Römisch, Werner; Schewe, Lars; Schultz, Rüdiger; Steinbach, Marc C. Capacity evaluation for large-scale gas networks. (English) Zbl 1495.00073 Bock, Hans Georg (ed.) et al., German success stories in industrial mathematics. Cham: Springer. Math. Ind. 35, 23-28 (2021). MSC: 00A69 PDFBibTeX XMLCite \textit{M. Schmidt} et al., Math. Ind. 35, 23--28 (2021; Zbl 1495.00073) Full Text: DOI
Dohr, Stefan; Merta, Michal; Of, Günther; Steinbach, Olaf; Zapletal, Jan A parallel solver for a preconditioned space-time boundary element method for the heat equation. (English) Zbl 1509.65092 Haynes, Ronald (ed.) et al., Domain decomposition methods in science and engineering XXV. Selected papers based on the presentations at the 25th international conference on domain decomposition methods, Memorial University of Newfoundland, in St. John’s, Newfoundland and Labrador, Canada, July 23–27, 2018. Cham: Springer. Lect. Notes Comput. Sci. Eng. 138, 108-116 (2020). MSC: 65M55 65M38 65M60 65F08 65Y05 PDFBibTeX XMLCite \textit{S. Dohr} et al., Lect. Notes Comput. Sci. Eng. 138, 108--116 (2020; Zbl 1509.65092) Full Text: DOI arXiv
Hübner, Jens; Schmidt, Martin; Steinbach, Marc C. Optimization techniques for tree-structured nonlinear problems. (English) Zbl 07304217 Comput. Manag. Sci. 17, No. 3, 409-436 (2020). MSC: 90Bxx 90-08 90C06 90C15 90C30 90C51 PDFBibTeX XMLCite \textit{J. Hübner} et al., Comput. Manag. Sci. 17, No. 3, 409--436 (2020; Zbl 07304217) Full Text: DOI OA License
Hübner, Jens; Schmidt, Martin; Steinbach, Marc C. A distributed interior-point KKT solver for multistage stochastic optimization. (English) Zbl 1528.90281 INFORMS J. Comput. 29, No. 4, 612-630 (2017). MSC: 90C51 90C15 PDFBibTeX XMLCite \textit{J. Hübner} et al., INFORMS J. Comput. 29, No. 4, 612--630 (2017; Zbl 1528.90281) Full Text: DOI Link
John, L.; Pustějovská, P.; Steinbach, O. On the influence of the wall shear stress vector form on hemodynamic indicators. (English) Zbl 1391.76892 Comput. Vis. Sci. 18, No. 4-5, 113-122 (2017). MSC: 76Z05 92C35 76M25 PDFBibTeX XMLCite \textit{L. John} et al., Comput. Vis. Sci. 18, No. 4--5, 113--122 (2017; Zbl 1391.76892) Full Text: DOI
Bandara, Kosala; Cirak, Fehmi; Of, Günther; Steinbach, Olaf; Zapletal, Jan Boundary element based multiresolution shape optimisation in electrostatics. (English) Zbl 1349.78081 J. Comput. Phys. 297, 584-598 (2015). MSC: 78M15 65N38 PDFBibTeX XMLCite \textit{K. Bandara} et al., J. Comput. Phys. 297, 584--598 (2015; Zbl 1349.78081) Full Text: DOI OA License
Pfetsch, Marc E.; Fügenschuh, Armin; Geißler, Björn; Geißler, Nina; Gollmer, Ralf; Hiller, Benjamin; Humpola, Jesco; Koch, Thorsten; Lehmann, Thomas; Martin, Alexander; Morsi, Antonio; Rövekamp, Jessica; Schewe, Lars; Schmidt, Martin; Schultz, Rüdiger; Schwarz, Robert; Schweiger, Jonas; Stangl, Claudia; Steinbach, Marc C.; Vigerske, Stefan; Willert, Bernhard M. Validation of nominations in gas network optimization: models, methods, and solutions. (English) Zbl 1325.90019 Optim. Methods Softw. 30, No. 1, 15-53 (2015). MSC: 90B15 90B10 90C90 90C11 90B90 PDFBibTeX XMLCite \textit{M. E. Pfetsch} et al., Optim. Methods Softw. 30, No. 1, 15--53 (2015; Zbl 1325.90019) Full Text: DOI
Helber, Stefan (ed.); Breitner, Michael (ed.); Rösch, Daniel (ed.); Schön, Cornelia (ed.); Graf von der Schulenburg, Johann-Matthias (ed.); Sibbertsen, Philipp (ed.); Steinbach, Marc (ed.); Weber, Stefan (ed.); Wolter, Anja (ed.) Operations research proceedings 2012. Selected papers of the international annual conference of the German Operations Research Society (GOR), Leibniz University of Hannover, Germany, September 5–7, 2012. (English) Zbl 1279.90005 Operations Research Proceedings. Cham: Springer (ISBN 978-3-319-00794-6/pbk; 978-3-319-00795-3/ebook). xvi, 599 p. (2014). MSC: 90-06 90Bxx 90C10 90C15 90C27 90C90 00B25 PDFBibTeX XMLCite \textit{S. Helber} (ed.) et al., Operations research proceedings 2012. Selected papers of the international annual conference of the German Operations Research Society (GOR), Leibniz University of Hannover, Germany, September 5--7, 2012. Cham: Springer (2014; Zbl 1279.90005) Full Text: DOI
Kawale, Jaya; Liess, Stefan; Kumar, Arjun; Steinbach, Michael; Snyder, Peter; Kumar, Vipin; Ganguly, Auroop R.; Samatova, Nagiza F.; Semazzi, Fredrick A graph-based approach to find teleconnections in climate data. (English) Zbl 07260359 Stat. Anal. Data Min. 6, No. 3, 158-179 (2013). MSC: 62-XX 68-XX PDFBibTeX XMLCite \textit{J. Kawale} et al., Stat. Anal. Data Min. 6, No. 3, 158--179 (2013; Zbl 07260359) Full Text: DOI
Gatica, Gabriel N. (ed.); Cook, L. Pamela (ed.); Jordan, Kirk E. (ed.); Nigam, Nilima (ed.); Steinbach, Olaf (ed.); Xu, Liwei (ed.) Preface. (English) Zbl 1315.00096 Appl. Numer. Math. 62, No. 6, 665-666 (2012). MSC: 00B25 65-06 00B30 PDFBibTeX XMLCite \textit{G. N. Gatica} (ed.) et al., Appl. Numer. Math. 62, No. 6, 665--666 (2012; Zbl 1315.00096) Full Text: DOI
Alabi, Tolu; Blanchard, Jeffrey D.; Gordon, Bradley; Steinbach, Russel Fast \(k\)-selection algorithms for graphics processing units. (English) Zbl 1284.68637 ACM J. Exp. Algorithm. 17, Spec. Iss. 3, Article No. 4.2, 29 p. (2012). MSC: 68W10 68P10 68W40 68M20 PDFBibTeX XMLCite \textit{T. Alabi} et al., ACM J. Exp. Algorithm. 17, Article No. 4.2, 29 p. (2012; Zbl 1284.68637) Full Text: DOI
Of, G.; Rodin, G. J.; Steinbach, O.; Taus, M. Coupling of discontinuous Galerkin finite element and boundary element methods. (English) Zbl 1246.65219 SIAM J. Sci. Comput. 34, No. 3, A1659-A1677 (2012). MSC: 65N30 65N38 65N12 PDFBibTeX XMLCite \textit{G. Of} et al., SIAM J. Sci. Comput. 34, No. 3, A1659--A1677 (2012; Zbl 1246.65219) Full Text: DOI
Brunner, Dominik; Of, Günther; Junge, Michael; Steinbach, Olaf; Gaul, Lothar A fast BE-FE coupling scheme for partly immersed bodies. (English) Zbl 1183.76824 Int. J. Numer. Methods Eng. 81, No. 1, 28-47 (2010). MSC: 76M15 74S05 74F10 76Q05 PDFBibTeX XMLCite \textit{D. Brunner} et al., Int. J. Numer. Methods Eng. 81, No. 1, 28--47 (2010; Zbl 1183.76824) Full Text: DOI
Burgschweiger, Jens; Gnädig, Bernd; Steinbach, Marc C. Nonlinear programming techniques for operative planning in large drinking water networks. (English) Zbl 1322.90013 Open Appl. Math. J. 3, 14-28 (2009). MSC: 90B10 90C90 90C30 PDFBibTeX XMLCite \textit{J. Burgschweiger} et al., Open Appl. Math. J. 3, 14--28 (2009; Zbl 1322.90013) Full Text: DOI
Burgschweiger, Jens; Gnädig, Bernd; Steinbach, Marc C. Optimization models for operative planning in drinking water networks. (English) Zbl 1273.76072 Optim. Eng. 10, No. 1, 43-73 (2009). MSC: 76B75 90C30 PDFBibTeX XMLCite \textit{J. Burgschweiger} et al., Optim. Eng. 10, No. 1, 43--73 (2009; Zbl 1273.76072) Full Text: DOI
Burkard, Rainer; Geroldinger, Alfred; Haase, Gundolf; Kunisch, Karl; Peichl, Gunther; Ring, Wolfgang; Stadlober, Ernst; Steinbach, Olaf; Wallner, Johannes; Woess, Wolfgang Mathematics in Graz. (Mathematik in Graz.) (German) Zbl 1169.01328 Int. Math. Nachr., Wien 211, 43-62 (2009). MSC: 01A73 PDFBibTeX XMLCite \textit{R. Burkard} et al., Int. Math. Nachr., Wien 211, 43--62 (2009; Zbl 1169.01328)
Steinbach, Marc C.; Vollbrecht, Hans-Joachim Efficient stochastic programming techniques for electricity swing options. (English) Zbl 1160.90615 Kallrath, Josef (ed.) et al., Optimization in the energy industry. Berlin: Springer (ISBN 978-3-540-88964-9/hbk; 978-3-540-88965-6/ebook). Energy Systems, 485-506 (2009). MSC: 90C15 90B30 91B28 PDFBibTeX XMLCite \textit{M. C. Steinbach} and \textit{H.-J. Vollbrecht}, in: Optimization in the energy industry. Berlin: Springer. 485--506 (2009; Zbl 1160.90615) Full Text: DOI
Tu, Wei; Chakareski, Jacob; Steinbach, Eckehard Rate-distortion optimized frame dropping and scheduling for multi-user conversational and streaming video. (English) Zbl 1116.68357 J. Zhejiang Univ., Sci. A 7, No. 5, 864-872 (2006). MSC: 68M10 68M20 68P30 PDFBibTeX XMLCite \textit{W. Tu} et al., J. Zhejiang Univ., Sci. A 7, No. 5, 864--872 (2006; Zbl 1116.68357) Full Text: DOI
Steinbach, Anja; Van Maldeghem, Hendrik Regular embeddings of generalized hexagons. (English) Zbl 1072.51006 Can. J. Math. 56, No. 5, 1068-1093 (2004). Reviewer: Guglielmo Lunardon (Naples) MSC: 51E12 51A45 PDFBibTeX XMLCite \textit{A. Steinbach} and \textit{H. Van Maldeghem}, Can. J. Math. 56, No. 5, 1068--1093 (2004; Zbl 1072.51006) Full Text: DOI
Rodin, G. J.; Steinbach, O. Boundary element preconditioners for problems defined on slender domains. (English) Zbl 1040.31001 SIAM J. Sci. Comput. 24, No. 4, 1450-1464 (2003). Reviewer: Gunther Schmidt (Berlin) MSC: 31A10 45C05 65N38 PDFBibTeX XMLCite \textit{G. J. Rodin} and \textit{O. Steinbach}, SIAM J. Sci. Comput. 24, No. 4, 1450--1464 (2003; Zbl 1040.31001) Full Text: DOI
Kumar, Vipin; Joshi, Mahesh V.; Han, Eui-Hong; Tan, Pang-Ning; Steinbach, Michael High performance data mining. (English) Zbl 1027.68529 Palma, José M. L. M. (ed.) et al., High performance computing for computational science - VECPAR 2002. 5th international conference, Porto, Portugal, June 26-28, 2002. Selected papers and invited talks. Berlin: Springer. Lect. Notes Comput. Sci. 2565, 111-125 (2003). MSC: 68P15 68W10 68P20 68T05 PDFBibTeX XMLCite \textit{V. Kumar} et al., Lect. Notes Comput. Sci. 2565, 111--125 (2003; Zbl 1027.68529) Full Text: Link
Steinbach, Jörg A variational inequality approach to free boundary problems with applications in mould filling. (English) Zbl 1011.35001 ISNM. International Series of Numerical Mathematics. 136. Basel: Birkhäuser. x, 294 p. (2002). Reviewer: J.Lovíšek (Bratislava) MSC: 35-02 35R35 76D27 76D05 76M10 76M12 PDFBibTeX XMLCite \textit{J. Steinbach}, A variational inequality approach to free boundary problems with applications in mould filling. Basel: Birkhäuser (2002; Zbl 1011.35001)
Jung, M.; Steinbach, O. A finite element-boundary element algorithm for inhomogeneous boundary value problems. (English) Zbl 1007.65090 Computing 68, No. 1, 1-17 (2002). Reviewer: Muhammad Aslam Noor (Sharjah) MSC: 65N30 65N38 65N15 35J25 PDFBibTeX XMLCite \textit{M. Jung} and \textit{O. Steinbach}, Computing 68, No. 1, 1--17 (2002; Zbl 1007.65090) Full Text: DOI
Bramble, James H.; Pasciak, Joseph E.; Steinbach, Olaf On the stability of the \(L^2\) projection in \(H^1(\omega)\). (English) Zbl 0989.65122 Math. Comput. 71, No. 237, 147-156 (2002). Reviewer: Michael Jung (Dresden) MSC: 65N12 65N50 35J25 PDFBibTeX XMLCite \textit{J. H. Bramble} et al., Math. Comput. 71, No. 237, 147--156 (2002; Zbl 0989.65122) Full Text: DOI
Steinbach, Anja; Van Maldeghem, Hendrik Generalized quadrangles weakly embedded of degree 2 in projective space. (English) Zbl 1009.51002 Pac. J. Math. 193, No. 1, 227-248 (2000). Reviewer: A.Steinbach (Gießen) MSC: 51E12 PDFBibTeX XMLCite \textit{A. Steinbach} and \textit{H. Van Maldeghem}, Pac. J. Math. 193, No. 1, 227--248 (2000; Zbl 1009.51002) Full Text: DOI
Beckermann, C.; Diepers, H.-J.; Steinbach, I.; Karma, A.; Tong, X. Modeling melt convection in phase-field simulations of solidification. (English) Zbl 0960.82015 J. Comput. Phys. 154, No. 2, 468-496 (1999). MSC: 82B80 82D99 PDFBibTeX XMLCite \textit{C. Beckermann} et al., J. Comput. Phys. 154, No. 2, 468--496 (1999; Zbl 0960.82015) Full Text: DOI
Steinbach, Anja; Van Maldeghem, Hendrik Generalized quadrangles weakly embedded of degree \(>2\) in projective space. (English) Zbl 0935.51003 Forum Math. 11, No. 2, 139-176 (1999). Reviewer: Theo Grundhöfer (Würzburg) MSC: 51E12 51E24 51A45 51A50 PDFBibTeX XMLCite \textit{A. Steinbach} and \textit{H. Van Maldeghem}, Forum Math. 11, No. 2, 139--176 (1999; Zbl 0935.51003) Full Text: DOI
Tiaden, J.; Nestler, B.; Diepers, H. J.; Steinbach, I. The mutliphase-field model with an integrated concept for modelling solute diffusion. (English) Zbl 0956.74038 Physica D 115, No. 1-2, 73-86 (1998). MSC: 74N25 82B24 PDFBibTeX XMLCite \textit{J. Tiaden} et al., Physica D 115, No. 1--2, 73--86 (1998; Zbl 0956.74038) Full Text: DOI
Steinbach, Jörg On a variational inequality containing a memory term with an application in electro-chemical machining. (English) Zbl 0908.49011 J. Convex Anal. 5, No. 1, 63-80 (1998). MSC: 49J40 35J85 35R35 35D05 35D10 PDFBibTeX XMLCite \textit{J. Steinbach}, J. Convex Anal. 5, No. 1, 63--80 (1998; Zbl 0908.49011) Full Text: EuDML EMIS
Steinbach, Jörg Evolutionary obstacle problems arising in non-isothermal Hele-Shaw flows. (English) Zbl 0914.35157 Adv. Math. Sci. Appl. 8, No. 1, 327-341 (1998). Reviewer: A.Fasano (Firenze) MSC: 35R35 49J40 80A20 PDFBibTeX XMLCite \textit{J. Steinbach}, Adv. Math. Sci. Appl. 8, No. 1, 327--341 (1998; Zbl 0914.35157)
Bock, H. G.; Schlöder, J. P.; Steinbach, M. C.; Wörn, H. High speed robots on assembly lines: Mathematical trajectory optimization in practice. (Schnelle Roboter am Fließband: Mathematische Bahnoptimierung in der Praxis.) (German) Zbl 0875.93318 Hoffmann, Karl-Heinz (ed.) et al., Mathematik: Schlüsseltechnologie für die Zukunft. Verbundprojekte zwischen Universität und Industrie. Berlin: Springer. 539-550 (1997). MSC: 93C85 PDFBibTeX XMLCite \textit{H. G. Bock} et al., in: Mathematik: Schlüsseltechnologie für die Zukunft. Verbundprojekte zwischen Universität und Industrie. Berlin: Springer. 539--550 (1997; Zbl 0875.93318)
Steinbach, J. On box schemes for elliptic variational inequalities. (English) Zbl 0905.35007 Numer. Funct. Anal. Optimization 18, No. 9-10, 1041-1066 (1997). Reviewer: Laura-Iulia Aniţa (Iaşi) MSC: 65M99 65N99 65N30 65N12 35J85 35J60 PDFBibTeX XMLCite \textit{J. Steinbach}, Numer. Funct. Anal. Optim. 18, No. 9--10, 1041--1066 (1997; Zbl 0905.35007) Full Text: DOI
Steinbach, Jörg A generalized temperature-dependent, non-Newtonian Hele-Shaw flow in injection and compression moulding. (English) Zbl 0886.76006 Math. Methods Appl. Sci. 20, No. 14, 1199-1222 (1997). MSC: 76A05 76M10 82D60 80A20 PDFBibTeX XMLCite \textit{J. Steinbach}, Math. Methods Appl. Sci. 20, No. 14, 1199--1222 (1997; Zbl 0886.76006) Full Text: DOI
Steinbach, Jörg Comparison of finite element and finite volume schemes for variational inequalities. (English) Zbl 0868.65037 East-West J. Numer. Math. 4, No. 3, 207-235 (1996). Reviewer: H.Benker (Merseburg) MSC: 65K10 49J40 49M15 PDFBibTeX XMLCite \textit{J. Steinbach}, East-West J. Numer. Math. 4, No. 3, 207--235 (1996; Zbl 0868.65037)
Steinbach, J. Simulation of the mould filling process by means of a temperature-dependent, viscous flow. (English) Zbl 0868.35143 Niezgódka, Marek (ed.) et al., Free boundary problems, theory and applications. Lectures presented at the congress, Zakopane, Poland, June 11–18, 1995. Harlow: Longman. Pitman Res. Notes Math. Ser. 363, 344-356 (1996). MSC: 35R35 35Q35 82D60 PDFBibTeX XMLCite \textit{J. Steinbach}, Pitman Res. Notes Math. Ser. 363, 344--356 (1996; Zbl 0868.35143)
Neises, Jürgen; Steinbach, Ingo Finite element integration for the control volume method. (English) Zbl 0864.65070 Commun. Numer. Methods Eng. 12, No. 9, 543-555 (1996). Reviewer: P.Burda (Praha) MSC: 65N30 76M10 76D05 PDFBibTeX XMLCite \textit{J. Neises} and \textit{I. Steinbach}, Commun. Numer. Methods Eng. 12, No. 9, 543--555 (1996; Zbl 0864.65070) Full Text: DOI
Steinbach, I.; Pezzolla, F.; Nestler, B.; Seeßelberg, M.; Prieler, R.; Schmitz, G. J.; Rezende, J. L. L. A phase field concept for multiphase systems. (English) Zbl 0885.35148 Physica D 94, No. 3, 135-147 (1996). MSC: 35R35 80A22 82B26 PDFBibTeX XMLCite \textit{I. Steinbach} et al., Physica D 94, No. 3, 135--147 (1996; Zbl 0885.35148) Full Text: DOI
Steinbach, Joachim Simplification orderings: History of results. (English) Zbl 0839.68049 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 24, No. 1-2, 47-87 (1995). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Steinbach}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 24, No. 1--2, 47--87 (1995; Zbl 0839.68049)
Steinbach, Joachim Automatic termination proofs with transformation orderings. (English) Zbl 1503.68157 Hsiang, Jieh (ed.), Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5–7, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 914, 11-25 (1995). MSC: 68Q42 68P10 91A99 PDFBibTeX XMLCite \textit{J. Steinbach}, Lect. Notes Comput. Sci. 914, 11--25 (1995; Zbl 1503.68157) Full Text: DOI
Steinbach, Joachim A formalism for representing orderings. (English) Zbl 0810.68086 Bull. EATCS 53, 264-267 (1994). MSC: 68Q42 68N20 PDFBibTeX XMLCite \textit{J. Steinbach}, Bull. EATCS 53, 264--267 (1994; Zbl 0810.68086)
Steinbach, Joachim Generating polynomial orderings. (English) Zbl 0791.68092 Inf. Process. Lett. 49, No. 2, 85-93 (1994). Reviewer: Joachim Steinbach MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Steinbach}, Inf. Process. Lett. 49, No. 2, 85--93 (1994; Zbl 0791.68092) Full Text: DOI
Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S. A first report on the \(\mathbb{A}^\#\) compiler. (English) Zbl 0945.68511 Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 25-31 (1994). MSC: 68N20 68W30 PDFBibTeX XMLCite \textit{S. M. Watt} et al., in: ISSAC '94. Proceedings of the international symposium on Symbolic and algebraic computation, Oxford, GB, July 20--22, 1994. Baltimore, MD: ACM Press. 25--31 (1994; Zbl 0945.68511)
Loria-Saenz, Carlos; Steinbach, Joachim Termination of combined (rewrite and \(\lambda \)-calculus) systems. (English) Zbl 1508.68165 Rusinowitch, Michaël (ed.) et al., Conditional term rewriting systems. 3rd international workshop, CTRS-92, Pont-a-Mousson, France, July 8–10, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 656, 143-147 (1993). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{C. Loria-Saenz} and \textit{J. Steinbach}, Lect. Notes Comput. Sci. 656, 143--147 (1993; Zbl 1508.68165) Full Text: DOI
Steinbach, Joachim Simplification orderings: Putting them to the test. (English) Zbl 0788.68081 J. Autom. Reasoning 10, No. 3, 389-397 (1993). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Steinbach}, J. Autom. Reasoning 10, No. 3, 389--397 (1993; Zbl 0788.68081) Full Text: DOI
Steinbach, Jörg; Weinelt, Wilfried Mathematical modelling of the injection moulding process. (English) Zbl 0761.35118 Adv. Math. Sci. Appl. 1, No. 1, 137-156 (1992). Reviewer: S.Lenhart (Knoxville) MSC: 35R35 35J85 65K10 74C99 PDFBibTeX XMLCite \textit{J. Steinbach} and \textit{W. Weinelt}, Adv. Math. Sci. Appl. 1, No. 1, 137--156 (1992; Zbl 0761.35118)
Steinbach, Jörg Evolutionary variational inequalities with a Volterra term. (English) Zbl 0724.49006 Numer. Funct. Anal. Optimization (to appear). Reviewer: J.Steinbach MSC: 49J40 35D05 35D10 PDFBibTeX XML
Steinbach, Joachim Proving polynomials positive. (English) Zbl 0925.68267 Shyamasundar, R. (ed.), Foundations of software technology and theoretical computer science. 12th conference, New Delhi, India, December 18–20, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 652, 191-202 (1992). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Steinbach}, Lect. Notes Comput. Sci. 652, 191--202 (1992; Zbl 0925.68267)
Steinbach, Jörg FDM approximation of variational inequalities with an application to injection moulding. (English) Zbl 0733.76056 Numerical methods for free boundary problems, Proc. Conf., Jyväskylä/Finl. 1990, ISNM 99, 391-399 (1991). Reviewer: T.Tang (Burnaby) MSC: 76M20 49J40 80A22 PDFBibTeX XML
Steinbach, Jörg Evolutionary variational inequalities with a Volterra term. (English) Zbl 0749.49011 Numer. Funct. Anal. Optimization 12, No. 3-4, 395-412 (1991). MSC: 49J40 35D05 35D10 PDFBibTeX XMLCite \textit{J. Steinbach}, Numer. Funct. Anal. Optim. 12, No. 3--4, 395--412 (1991; Zbl 0749.49011) Full Text: DOI
Steinbach, Joachim Improving associative path orderings. (English) Zbl 1509.68125 Stickel, Mark E. (ed.), Automated deduction – CADE-10. 10th international conference, Kaiserslautern, Germany, July 24–27, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 449, 411-425 (1990). MSC: 68Q42 03B35 PDFBibTeX XMLCite \textit{J. Steinbach}, Lect. Notes Comput. Sci. 449, 411--425 (1990; Zbl 1509.68125) Full Text: DOI
Steinbach, Joachim AC-termination of rewrite systems: a modified Knuth-Bendix ordering. (English) Zbl 1493.68179 Kirchner, Hélène (ed.) et al., Algebraic and logic programming. Second international conference, Nancy, France, October 1–3, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 463, 372-386 (1990). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Steinbach}, Lect. Notes Comput. Sci. 463, 372--386 (1990; Zbl 1493.68179) Full Text: DOI
Steinbach, Jörg Numerische Lösung elliptischer und evolutionärer Variationsungleichungen mittels Differenzverfahren. (Numerical solution of elliptic and evolutionary variational inequalities by means of difference methods). (German) Zbl 0717.65042 Chemnitz (Karl-Marx-Stadt): TU Chemnitz (Karl-Marx-Stadt), Fak. f. Math. u. Naturwiss., Diss. A. 113 S. (1990). MSC: 65K10 49M25 35J85 35K85 49J40 PDFBibTeX XMLCite \textit{J. Steinbach}, Numerische Lösung elliptischer und evolutionärer Variationsungleichungen mittels Differenzverfahren. (Numerical solution of elliptic and evolutionary variational inequalities by means of difference methods). Karl-Marx-Stadt: TU Karl-Marx-Stadt, Fak. f. Math. u. Naturwiss. (1990; Zbl 0717.65042)
Steinbach, Joachim Extensions and comparison of simplification orderings. (English) Zbl 1522.68256 Dershowitz, Nachum (ed.), Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3–5, 1989. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 355, 434-448 (1989). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Steinbach}, Lect. Notes Comput. Sci. 355, 434--448 (1989; Zbl 1522.68256) Full Text: DOI
Steinbach, Jörg Untersuchungen zu evolutionären Variationsungleichungen. (Investigations on evolutionary variational inequalities). (German) Zbl 0691.49008 Wiss. Z. Tech. Univ. Karl-Marx-Stadt 31, No. 2, 257-264 (1989). Reviewer: J.Steinbach MSC: 49J40 49M30 49M25 PDFBibTeX XMLCite \textit{J. Steinbach}, Wiss. Z. Tech. Univ. Karl-Marx-Stadt 31, No. 2, 257--264 (1989; Zbl 0691.49008)
Avenhaus, J.; Göbel, R.; Gramlich, B.; Madlener, K.; Steinbach, J. TRSPEC: A term rewriting based system for algebraic specifications. (English) Zbl 0667.68032 Conditional term rewriting systems, 1st. Int. Workshop, Orsay/France 1987, Lect. Notes Comput. Sci. 308, 245-248 (1988). Reviewer: T.Tammet MSC: 68N25 68P05 68T15 PDFBibTeX XML
Steinbach, Jörg Eine Differenzenapproximation von nichtlinearen Variationsgleichungen. (A difference approximation of nonlinear variational inequalities). (German) Zbl 0633.65058 Wiss. Z. Tech. Univ. Karl-Marx-Stadt 29, 236-241 (1987). Reviewer: M.Brokate MSC: 65K10 49J40 PDFBibTeX XMLCite \textit{J. Steinbach}, Wiss. Z. Tech. Univ. Karl-Marx-Stadt 29, 236--241 (1987; Zbl 0633.65058)
Steinbach, Jörg Der Modul SCHEMA zur numerischen Lösung von elliptischen und parabolischen Randwertaufgaben mittels Differenzenverfahren. (The SCHEMA module for the numerical solution of elliptic and parabolic boundary value problems by means of difference methods). (German) Zbl 0631.65097 Prepr., Sekt. Math., TH Karl-Marx-Stadt 54, 16 S. (1987). MSC: 65N22 35-04 35K20 35J25 PDFBibTeX XML
Hartwig, Karl-Heinz; Liebermann, Horst; Steinbach, Jörg; Weinelt, Wilfried Numerisches Experiment zum Spritzgießen. I. (Numerical experiment for injection molding). (German) Zbl 0623.76021 Wiss. Z. Tech. Univ. Karl-Marx-Stadt 29, 204-208 (1987). MSC: 76D08 76M99 35Q30 PDFBibTeX XMLCite \textit{K.-H. Hartwig} et al., Wiss. Z. Tech. Univ. Karl-Marx-Stadt 29, 204--208 (1987; Zbl 0623.76021)
Müller, Jürgen; Steinbach, Joachim Topologische Multisetordnungen. (German) Zbl 0609.68070 GWAI-86 und 2. Österr. Artificial-Intelligence-Tag., Ottenstein/Österr. 1986, Inf.-Fachber. 124, 254-264 (1986). MSC: 68T99 PDFBibTeX XML
Hartwig, Karl-Heinz; Steinbach, Jörg; Weinelt, Wilfried Zur Realisierung der PTM-Iteration für elliptische Randwertaufgaben. (German) Zbl 0578.65105 Wiss. Z. Tech. Hochsch. Karl-Marx-Stadt 27, 57-61 (1985). MSC: 65N22 65F10 35J05 PDFBibTeX XMLCite \textit{K.-H. Hartwig} et al., Wiss. Z. Tech. Hochsch. Karl-Marx-Stadt 27, 57--61 (1985; Zbl 0578.65105)