Baldomá, Inmaculada; Capiński, Maciej J.; Guardia, Marcel; Seara, Tere M. Breakdown of heteroclinic connections in the analytic Hopf-zero singularity: rigorous computation of the Stokes constant. (English) Zbl 1510.37079 J. Nonlinear Sci. 33, No. 2, Paper No. 28, 47 p. (2023). MSC: 37G10 37G20 34C23 37C75 37M20 37M21 37D10 65G20 PDFBibTeX XMLCite \textit{I. Baldomá} et al., J. Nonlinear Sci. 33, No. 2, Paper No. 28, 47 p. (2023; Zbl 1510.37079) Full Text: DOI arXiv
Beck, Margaret; Jaquette, Jonathan Validated spectral stability via conjugate points. (English) Zbl 1494.37046 SIAM J. Appl. Dyn. Syst. 21, No. 1, 366-404 (2022). Reviewer: Svetlin Georgiev (Sofia) MSC: 37L15 35K57 35B35 34B24 37M20 37M21 65G20 PDFBibTeX XMLCite \textit{M. Beck} and \textit{J. Jaquette}, SIAM J. Appl. Dyn. Syst. 21, No. 1, 366--404 (2022; Zbl 1494.37046) Full Text: DOI arXiv
Galias, Zbigniew On rigorous integration of continuous piecewise linear systems. (English) Zbl 1490.37102 Commun. Nonlinear Sci. Numer. Simul. 107, Article ID 106109, 14 p. (2022). MSC: 37M22 37M20 65P20 65P40 37D45 34A36 94C05 PDFBibTeX XMLCite \textit{Z. Galias}, Commun. Nonlinear Sci. Numer. Simul. 107, Article ID 106109, 14 p. (2022; Zbl 1490.37102) Full Text: DOI
Kalita, Piotr; Zgliczyński, Piotr Rigorous FEM for one-dimensional Burgers equation. (English) Zbl 1528.65072 SIAM J. Appl. Dyn. Syst. 20, No. 2, 853-907 (2021). MSC: 65M60 35B10 37L05 37M15 35Q53 68V15 PDFBibTeX XMLCite \textit{P. Kalita} and \textit{P. Zgliczyński}, SIAM J. Appl. Dyn. Syst. 20, No. 2, 853--907 (2021; Zbl 1528.65072) Full Text: DOI arXiv
Kapela, Tomasz; Mrozek, Marian; Wilczak, Daniel; Zgliczyński, Piotr CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems. (English) Zbl 1473.37004 Commun. Nonlinear Sci. Numer. Simul. 101, Article ID 105578, 26 p. (2021). MSC: 37-04 37Mxx 65Pxx PDFBibTeX XMLCite \textit{T. Kapela} et al., Commun. Nonlinear Sci. Numer. Simul. 101, Article ID 105578, 26 p. (2021; Zbl 1473.37004) Full Text: DOI arXiv
Galatolo, Stefano; Monge, Maurizio; Nisoli, Isaia Existence of noise induced order, a computer aided proof. (English) Zbl 07327536 Nonlinearity 33, No. 9, 4237-4276 (2020). MSC: 37H10 37M05 37M25 65G30 92E20 PDFBibTeX XMLCite \textit{S. Galatolo} et al., Nonlinearity 33, No. 9, 4237--4276 (2020; Zbl 07327536) Full Text: DOI arXiv
Castro, Angel; Córdoba, Diego; Gómez-Serrano, Javier Global smooth solutions for the inviscid SQG equation. (English) Zbl 1444.35003 Memoirs of the American Mathematical Society 1292. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4214-9/pbk; 978-1-4704-6247-5/ebook). v, 89 p. (2020). MSC: 35-02 35Q35 35B32 65G30 76B03 86A05 86A10 PDFBibTeX XMLCite \textit{A. Castro} et al., Global smooth solutions for the inviscid SQG equation. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 1444.35003) Full Text: DOI arXiv
Watanabe, Yoshitaka; Kinoshita, Takehiko; Nakao, Mitsuhiro T. An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space. (English) Zbl 07094577 Japan J. Ind. Appl. Math. 36, No. 2, 407-420 (2019). MSC: 65G20 47F05 35P15 PDFBibTeX XMLCite \textit{Y. Watanabe} et al., Japan J. Ind. Appl. Math. 36, No. 2, 407--420 (2019; Zbl 07094577) Full Text: DOI
Castelli, Roberto; Lessard, Jean-Philippe; Mireles James, Jason D. Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds. (English) Zbl 1419.37020 J. Dyn. Differ. Equations 30, No. 4, 1525-1581 (2018). MSC: 37C27 37M99 37D10 65P40 PDFBibTeX XMLCite \textit{R. Castelli} et al., J. Dyn. Differ. Equations 30, No. 4, 1525--1581 (2018; Zbl 1419.37020) Full Text: DOI
Capiński, Maciej J.; Zgliczyński, Piotr Beyond the Melnikov method. II: Multidimensional setting. (English) Zbl 1400.37031 J. Differ. Equations 265, No. 9, 3988-4015 (2018). MSC: 37D10 37C29 65G20 PDFBibTeX XMLCite \textit{M. J. Capiński} and \textit{P. Zgliczyński}, J. Differ. Equations 265, No. 9, 3988--4015 (2018; Zbl 1400.37031) Full Text: DOI arXiv
Lessard, Jean-Philippe; Sander, Evelyn; Wanner, Thomas Rigorous continuation of bifurcation points in the diblock copolymer equation. (English) Zbl 1404.35030 J. Comput. Dyn. 4, No. 1-2, 71-118 (2017). MSC: 35B32 35B40 65G20 65P30 35B41 35K55 65G30 65N35 74N99 58E09 35K35 PDFBibTeX XMLCite \textit{J.-P. Lessard} et al., J. Comput. Dyn. 4, No. 1--2, 71--118 (2017; Zbl 1404.35030) Full Text: DOI
Mireles-James, J. D. Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds. (English) Zbl 1383.37066 Found. Comput. Math. 17, No. 6, 1467-1523 (2017). MSC: 37L65 37C05 34C45 37D10 65P40 PDFBibTeX XMLCite \textit{J. D. Mireles-James}, Found. Comput. Math. 17, No. 6, 1467--1523 (2017; Zbl 1383.37066) Full Text: DOI
Figueras, J.-Ll.; Haro, A.; Luque, A. Rigorous computer-assisted application of KAM theory: a modern approach. (English) Zbl 1383.37047 Found. Comput. Math. 17, No. 5, 1123-1193 (2017). Reviewer: Vladislav Nikolaevich Dumachev (Voronezh) MSC: 37J40 37J10 65G20 65G40 65T50 PDFBibTeX XMLCite \textit{J. Ll. Figueras} et al., Found. Comput. Math. 17, No. 5, 1123--1193 (2017; Zbl 1383.37047) Full Text: DOI arXiv
Capiński, Maciej J.; Mireles James, J. D. Validated computation of heteroclinic sets. (English) Zbl 1418.37125 SIAM J. Appl. Dyn. Syst. 16, No. 1, 375-409 (2017). MSC: 37M25 37C29 34C45 34C05 65L12 65L70 PDFBibTeX XMLCite \textit{M. J. Capiński} and \textit{J. D. Mireles James}, SIAM J. Appl. Dyn. Syst. 16, No. 1, 375--409 (2017; Zbl 1418.37125) Full Text: DOI arXiv
Tanaka, Kazuaki; Sekine, Kouta; Mizuguchi, Makoto; Oishi, Shin’ichi Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain. (English) Zbl 1382.65149 J. Comput. Appl. Math. 311, 306-313 (2017). MSC: 65J05 35P15 35A23 35J20 35J91 PDFBibTeX XMLCite \textit{K. Tanaka} et al., J. Comput. Appl. Math. 311, 306--313 (2017; Zbl 1382.65149) Full Text: DOI arXiv
Capiński, Maciej J.; Zgliczyński, Piotr Beyond the Melnikov method: A computer assisted approach. (English) Zbl 1368.37035 J. Differ. Equations 262, No. 1, 365-417 (2017). MSC: 37D10 65G20 37M99 70H33 65P40 PDFBibTeX XMLCite \textit{M. J. Capiński} and \textit{P. Zgliczyński}, J. Differ. Equations 262, No. 1, 365--417 (2017; Zbl 1368.37035) Full Text: DOI arXiv
Barker, Blake; Zumbrun, Kevin Numerical proof of stability of viscous shock profiles. (English) Zbl 1356.35170 Math. Models Methods Appl. Sci. 26, No. 13, 2451-2469 (2016). MSC: 35Q35 65G30 76N15 35C07 35B35 76L05 68T15 PDFBibTeX XMLCite \textit{B. Barker} and \textit{K. Zumbrun}, Math. Models Methods Appl. Sci. 26, No. 13, 2451--2469 (2016; Zbl 1356.35170) Full Text: DOI arXiv
de la Llave, R.; Mireles James, J. D. Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence. (English) Zbl 1343.37078 SIAM J. Appl. Dyn. Syst. 15, No. 2, 1268-1323 (2016). MSC: 37L25 37M99 65P99 65G20 PDFBibTeX XMLCite \textit{R. de la Llave} and \textit{J. D. Mireles James}, SIAM J. Appl. Dyn. Syst. 15, No. 2, 1268--1323 (2016; Zbl 1343.37078) Full Text: DOI
Watanabe, Yoshitaka An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid. (English) Zbl 1334.35213 J. Comput. Appl. Math. 302, 157-170 (2016). MSC: 35Q30 65N15 76D03 PDFBibTeX XMLCite \textit{Y. Watanabe}, J. Comput. Appl. Math. 302, 157--170 (2016; Zbl 1334.35213) Full Text: DOI
Wilczak, Daniel; Serrano, Sergio; Barrio, Roberto Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof. (English) Zbl 1359.37144 SIAM J. Appl. Dyn. Syst. 15, No. 1, 356-390 (2016). MSC: 37M25 37C29 37C70 37B10 65P20 PDFBibTeX XMLCite \textit{D. Wilczak} et al., SIAM J. Appl. Dyn. Syst. 15, No. 1, 356--390 (2016; Zbl 1359.37144) Full Text: DOI
Barrio, Roberto; Dena, Angeles; Tucker, Warwick A database of rigorous and high-precision periodic orbits of the Lorenz model. (English) Zbl 1344.37002 Comput. Phys. Commun. 194, 76-83 (2015). MSC: 37-04 37J45 37D45 65Y20 PDFBibTeX XMLCite \textit{R. Barrio} et al., Comput. Phys. Commun. 194, 76--83 (2015; Zbl 1344.37002) Full Text: DOI
Carneiro, Mario Arithmetic in Metamath, Case Study: Bertrand’s Postulate. arXiv:1503.02349 Preprint, arXiv:1503.02349 [math.LO] (2015). MSC: 65Y04 03B35 03F03 11A51 BibTeX Cite \textit{M. Carneiro}, ``Arithmetic in Metamath, Case Study: Bertrand's Postulate'', Preprint, arXiv:1503.02349 [math.LO] (2015) Full Text: arXiv OA License
Ochs, Peter; Chen, Yunjin; Brox, Thomas; Pock, Thomas iPiano: inertial proximal algorithm for nonconvex optimization. (English) Zbl 1296.90094 SIAM J. Imaging Sci. 7, No. 2, 1388-1419 (2014). MSC: 90C26 65K10 90C53 90C06 90C30 94A08 68T10 PDFBibTeX XMLCite \textit{P. Ochs} et al., SIAM J. Imaging Sci. 7, No. 2, 1388--1419 (2014; Zbl 1296.90094) Full Text: DOI arXiv
Bánhelyi, Balázs; Csendes, Tibor; Krisztin, Tibor; Neumaier, Arnold Global attractivity of the zero solution for Wright’s equation. (English) Zbl 1301.34094 SIAM J. Appl. Dyn. Syst. 13, No. 1, 537-563 (2014). MSC: 34K25 34K13 34K20 65G20 65L03 PDFBibTeX XMLCite \textit{B. Bánhelyi} et al., SIAM J. Appl. Dyn. Syst. 13, No. 1, 537--563 (2014; Zbl 1301.34094) Full Text: DOI Link
Lessard, Jean-Philippe; Mireles James, Jason D.; Reinhardt, Christian Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields. (English) Zbl 1351.37107 J. Dyn. Differ. Equations 26, No. 2, 267-313 (2014). MSC: 37D10 65P40 37C10 37G25 PDFBibTeX XMLCite \textit{J.-P. Lessard} et al., J. Dyn. Differ. Equations 26, No. 2, 267--313 (2014; Zbl 1351.37107) Full Text: DOI Link
Mireles James, J. D.; Mischaikow, Konstantin Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps. (English) Zbl 1330.37029 SIAM J. Appl. Dyn. Syst. 12, No. 2, 957-1006 (2013). MSC: 37D10 37C29 65G20 65P20 PDFBibTeX XMLCite \textit{J. D. Mireles James} and \textit{K. Mischaikow}, SIAM J. Appl. Dyn. Syst. 12, No. 2, 957--1006 (2013; Zbl 1330.37029) Full Text: DOI
Schrock, Christopher R.; Wood, Aihua W. Convergence of a distributional Monte Carlo method for the Boltzmann equation. (English) Zbl 1262.82020 Adv. Appl. Math. Mech. 4, No. 1, 102-121 (2012). MSC: 82B40 76P05 65C35 82C80 PDFBibTeX XMLCite \textit{C. R. Schrock} and \textit{A. W. Wood}, Adv. Appl. Math. Mech. 4, No. 1, 102--121 (2012; Zbl 1262.82020) Full Text: DOI
Kreinovich, Vladik Designing, understanding, and analyzing unconventional computation: the important role of logic and constructive mathematics. (English) Zbl 1250.68110 Appl. Math. Sci., Ruse 6, No. 13-16, 629-644 (2012). Reviewer: Cristian S. Calude (Auckland) MSC: 68Q05 03A05 03F60 03F65 65G20 03F03 PDFBibTeX XMLCite \textit{V. Kreinovich}, Appl. Math. Sci., Ruse 6, No. 13--16, 629--644 (2012; Zbl 1250.68110) Full Text: Link
Plum, Michael Computer-assisted proofs for semilinear elliptic boundary value problems. (English) Zbl 1186.35073 Japan J. Ind. Appl. Math. 26, No. 2-3, 419-442 (2009). MSC: 35J61 35J25 47N20 65N35 68T15 PDFBibTeX XMLCite \textit{M. Plum}, Japan J. Ind. Appl. Math. 26, No. 2--3, 419--442 (2009; Zbl 1186.35073) Full Text: DOI Euclid
Behnke, H.; Brown, M.; Hoang, V.; Plum, M. A computer-assisted band-gap proof for 3D photonic crystals. (English) Zbl 1183.35259 Simos, Theodore E. (ed.) et al., Numerical analysis and applied mathematics. International conference on numerical analysis and applied mathematics, Rethymno, Crete, Greece, September 18–22, 2009. Vol. 2. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0708-4/hbk; 978-0-7354-0709-1/set). AIP Conference Proceedings 1168, 2, 930-931 (2009). MSC: 35Q60 35P15 47B25 65N30 65N25 65N15 68T15 82D25 PDFBibTeX XMLCite \textit{H. Behnke} et al., AIP Conf. Proc. 1168, 930--931 (2009; Zbl 1183.35259) Full Text: DOI Link
Alouges, François A new finite element scheme for Landau-Lifschitz equations. (English) Zbl 1152.35304 Discrete Contin. Dyn. Syst., Ser. S 1, No. 2, 187-196 (2008). MSC: 35A35 35K55 65M60 35Q60 PDFBibTeX XMLCite \textit{F. Alouges}, Discrete Contin. Dyn. Syst., Ser. S 1, No. 2, 187--196 (2008; Zbl 1152.35304) Full Text: DOI
Delanoue, Nicolas; Jaulin, Luc; Cottenceau, Bertrand Using interval arithmetic to prove that a set is path-connected. (English) Zbl 1087.68068 Theor. Comput. Sci. 351, No. 1, 119-128 (2006). MSC: 68R10 65G40 PDFBibTeX XMLCite \textit{N. Delanoue} et al., Theor. Comput. Sci. 351, No. 1, 119--128 (2006; Zbl 1087.68068) Full Text: DOI
Baker, Anthony W.; Dellnitz, Michael; Junge, Oliver A topological method for rigorously computing periodic orbits using Fourier modes. (English) Zbl 1100.37007 Discrete Contin. Dyn. Syst. 13, No. 4, 901-920 (2005). MSC: 37B30 34C25 37M99 37C25 65P40 PDFBibTeX XMLCite \textit{A. W. Baker} et al., Discrete Contin. Dyn. Syst. 13, No. 4, 901--920 (2005; Zbl 1100.37007) Full Text: DOI
Boldo, Sylvie; Daumas, Marc A simple test qualifying the accuracy of Horner’s rule for polynomials. (English) Zbl 1077.65020 Numer. Algorithms 37, No. 1-4, 45-60 (2004). Reviewer: Aurelian Bejancu (Safat) MSC: 65D20 65G50 03B35 12Y05 68T15 12-04 PDFBibTeX XMLCite \textit{S. Boldo} and \textit{M. Daumas}, Numer. Algorithms 37, No. 1--4, 45--60 (2004; Zbl 1077.65020) Full Text: DOI
Kohlenbach, Ulrich; Lambov, Branimir Bounds on iterations of asymptotically quasi-nonexpansive mappings. (English) Zbl 1089.47053 García-Falset, Jesús (ed.) et al., Proceedings of the international conference on fixed-point theory and its applications, Valencia, Spain, July 13–19, 2003. Yokohama: Yokohama Publishers (ISBN 4-946552-13-8/hbk). 143-172 (2004). Reviewer: Vasile Berinde (Baia Mare) MSC: 47J25 47H10 03F10 03F60 65J15 47H09 PDFBibTeX XMLCite \textit{U. Kohlenbach} and \textit{B. Lambov}, in: Proceedings of the international conference on fixed-point theory and its applications, Valencia, Spain, July 13--19, 2003. Yokohama: Yokohama Publishers. 143--172 (2004; Zbl 1089.47053)
Goldreich, Oded Foundations of cryptography. Vol. 1. Basic tools. (English) Zbl 1007.94016 Cambridge: Cambridge University Press. xx, 372 p. (2001). Reviewer: Tao Renji (Beijing) MSC: 94A60 94-01 68P25 65C10 PDFBibTeX XMLCite \textit{O. Goldreich}, Foundations of cryptography. Vol. 1. Basic tools. Cambridge: Cambridge University Press (2001; Zbl 1007.94016) Full Text: DOI
Zgliczyński, Piotr; Mischaikow, Konstantin Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation. (English) Zbl 0984.65101 Found. Comput. Math. 1, No. 3, 255-288 (2001). Reviewer: J.Vaníček (Praha) MSC: 65M60 37B30 68T15 37L65 35Q35 PDFBibTeX XMLCite \textit{P. Zgliczyński} and \textit{K. Mischaikow}, Found. Comput. Math. 1, No. 3, 255--288 (2001; Zbl 0984.65101) Full Text: arXiv
Goldreich, Oded Modern cryptography, probabilistic proofs and pseudo-randomness. (English) Zbl 0907.94002 Algorithms and Combinatorics. 17. Berlin: Springer. xv, 182 p. (1999). Reviewer: Ian F.Blake (Palo Alto) MSC: 94-01 94A60 68-01 68P25 65C10 PDFBibTeX XMLCite \textit{O. Goldreich}, Modern cryptography, probabilistic proofs and pseudo-randomness. Berlin: Springer (1999; Zbl 0907.94002)
Mischaikow, Konstantin; Mrozek, Marian Chaos in the Lorenz equations: A computer assisted proof. II: Details. (English) Zbl 0913.58038 Math. Comput. 67, No. 223, 1023-1046 (1998). Reviewer: Iuliana Oprea (Tempe) MSC: 37D45 65L99 34-04 PDFBibTeX XMLCite \textit{K. Mischaikow} and \textit{M. Mrozek}, Math. Comput. 67, No. 223, 1023--1046 (1998; Zbl 0913.58038) Full Text: DOI
Mrozek, Marian From the theorem of Ważewski to computer assisted proofs in dynamics. (English) Zbl 0848.34032 Jakubczyk, Bronisław (ed.) et al., Panoramas of mathematics. Colloquia 93-94. Lectures delivered at the Banach Center colloquium in Warsaw, Poland in the academic years 1992/93 and 1993/94. Warszawa: Polish Academy of Sciences, Inst. of Mathematics, Banach Cent. Publ. 34, 105-120 (1995). Reviewer: R.Srzednicki (Kraków) MSC: 37D45 54H20 37G99 37C10 65L99 65G30 PDFBibTeX XMLCite \textit{M. Mrozek}, Banach Cent. Publ. 34, 105--120 (1995; Zbl 0848.34032)
Stirnemann, Andreas Existence of the Siegel disc renormalization fixed point. (English) Zbl 0803.47056 Nonlinearity 7, No. 3, 959-974 (1994). Reviewer: Ding Tongren (Beijing) MSC: 47H10 37C75 37C55 65G30 PDFBibTeX XMLCite \textit{A. Stirnemann}, Nonlinearity 7, No. 3, 959--974 (1994; Zbl 0803.47056) Full Text: DOI
Chaum, David; Damgård, Ivan B.; van de Graaf, Jeroen Multiparty computations ensuring privacy of each party’s input and correctness of the result. (English) Zbl 0672.94004 Advances in cryptology, Proc. Conf. CRYPTO, Santa Barbara/Calif. 1987, Lect. Notes Comput. Sci. 293, 87-119 (1988). Reviewer: L.State MSC: 94A60 65Y05 94-04 68Q05 PDFBibTeX XML
Feijoo, B.; Meyer, R. R. Piecewise-linear approximation methods for nonseparable convex optimization. (English) Zbl 0648.90059 Manage. Sci. 34, No. 3, 411-419 (1988). Reviewer: A.Shapiro MSC: 90C25 91A99 65K05 PDFBibTeX XMLCite \textit{B. Feijoo} and \textit{R. R. Meyer}, Manage. Sci. 34, No. 3, 411--419 (1988; Zbl 0648.90059) Full Text: DOI Link
Lanford, Oscar E. III Computer-assisted proofs in analysis. (English) Zbl 0676.65039 Proc. Int. Congr. Math., Berkeley/Calif. 1986, Vol. 2, 1385-1394 (1987). Reviewer: G.Schröder MSC: 65G30 03F99 PDFBibTeX XML
Motta, Santo; Russo, Giovanni; Moock, Hardy; Wick, Joachim A number-theoretical convergence proof of a point approximation of a space-homogeneous transport equation. (English) Zbl 0673.65100 Matematiche 41, No. 1-2, 161-178 (1986). MSC: 65R20 11K06 45K05 82C70 PDFBibTeX XMLCite \textit{S. Motta} et al., Matematiche 41, No. 1--2, 161--178 (1986; Zbl 0673.65100)
Virk, G. S. A strong variational algorithm for delay systems. (English) Zbl 0535.49024 J. Optimization Theory Appl. 45, 295-312 (1985). MSC: 49M15 34K35 65K10 93C10 93B40 PDFBibTeX XMLCite \textit{G. S. Virk}, J. Optim. Theory Appl. 45, 295--312 (1985; Zbl 0535.49024) Full Text: DOI
Kuo, Penyu A difference scheme for solving an initial value problem from semiconductor device theory. (English) Zbl 0555.65084 J. Comput. Math. 2, 287-296 (1984). Reviewer: E.Schechter MSC: 65Z05 65N12 78A55 35K60 35Q99 PDFBibTeX XMLCite \textit{P. Kuo}, J. Comput. Math. 2, 287--296 (1984; Zbl 0555.65084)
Panwalkar, S. S.; Smith, M. L.; Seidmann, A. Common due date assignment to minimize total penalty for the one machine scheduling problem. (English) Zbl 0481.90042 Oper. Res. 30, 391-399 (1982). MSC: 90B35 65K05 PDFBibTeX XMLCite \textit{S. S. Panwalkar} et al., Oper. Res. 30, 391--399 (1982; Zbl 0481.90042) Full Text: DOI
McLaughlin, H. W.; Zacharski, J. J. Segmented approximation. (English) Zbl 0483.65011 Approximation theory III, Proc. Conf. Hon. G.G. Lorentz, Austin/ Tex. 1980, 647-654 (1980). MSC: 65D15 41A65 PDFBibTeX XML
Scott, C. H.; Jefferson, T. R. On the analysis of an information theoretic model of spatial interaction. (English) Zbl 0474.90069 Inf. Sci. 20, 1-12 (1980). MSC: 90C25 94A17 91B76 90C90 49N15 65K05 90B99 PDFBibTeX XMLCite \textit{C. H. Scott} and \textit{T. R. Jefferson}, Inf. Sci. 20, 1--12 (1980; Zbl 0474.90069) Full Text: DOI
Kovacs, Margit A continuous method for the nonlinear programming problem with equality constraints. (English) Zbl 0443.90092 Numerical methods, Keszthely 1977, Colloq. Math. Soc. Janos Bolyai 22, 423-429 (1980). MSC: 90C30 65K05 93D05 PDFBibTeX XML
Pták, Vlastimil A rate of convergence. (English) Zbl 0441.46010 Numer. Funct. Anal. Optim. 1, 255-271 (1979). MSC: 46A99 46A19 47H10 47J05 65J15 46A30 54H05 03E99 03F99 PDFBibTeX XMLCite \textit{V. Pták}, Numer. Funct. Anal. Optim. 1, 255--271 (1979; Zbl 0441.46010) Full Text: DOI
Pták, Vlastimil A modification of Newton’s method. (English) Zbl 0328.46013 Čas. Pěst. Mat. 101, 188-194 (1976). MSC: 46A99 47H10 46B99 03F99 65D15 PDFBibTeX XMLCite \textit{V. Pták}, Čas. Pěstování Mat. 101, 188--194 (1976; Zbl 0328.46013) Full Text: EuDML
Hauck, Jürgen Iterationsverfahren in der konstruktiven Analysis. (German) Zbl 0327.02031 Wiss. Z. Humboldt-Univ. Berlin, Math.-naturw. R. 24, 799-800 (1975). MSC: 03F99 03D60 65D99 PDFBibTeX XMLCite \textit{J. Hauck}, Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturw. R. 24, 799--800 (1975; Zbl 0327.02031)
Haber, Seymour Adaptive integration and improper integrals. (English) Zbl 0308.65016 Math. Comput. 29, 806-809 (1975). MSC: 65D30 03F99 41A55 26A42 PDFBibTeX XMLCite \textit{S. Haber}, Math. Comput. 29, 806--809 (1975; Zbl 0308.65016) Full Text: DOI
Mann, Irwin Probabilistic recursive functions. (English) Zbl 0267.02030 Trans. Am. Math. Soc. 177, 447-467 (1973). MSC: 03D60 03F99 60B05 03D55 68W99 60G30 65C05 PDFBibTeX XMLCite \textit{I. Mann}, Trans. Am. Math. Soc. 177, 447--467 (1973; Zbl 0267.02030) Full Text: DOI
Igel, B. Some theorems and proofs for the theory of resultant. (Einige Sätze und Beweise zur Theorie der Resultante.) (German) JFM 09.0094.04 Wien. Ber. LXXV, 145-168 (1877). Reviewer: Lüroth, Prof. (Carlsruhe) MSC: 12E12 12D10 15A15 65H10 12-02 PDFBibTeX XMLCite \textit{B. Igel}, Wien. Ber. 75, 145--168 (1877; JFM 09.0094.04)
Zeuthen, H. G. A remark on the proofs of the main theorem of elimination between two algebraic equations. (En Bemaerkning om Beviserne for Hovedsatingen om Elimination mellem to algebraiske Ligninger.) (Danish) JFM 06.0082.02 Zeuthen Tidsskr. (3) IV, 165-171 (1874). Reviewer: Gram, (Kopenhagen) MSC: 12E12 65H10 03F03 15A15 03B05 12D10 PDFBibTeX XMLCite \textit{H. G. Zeuthen}, Zeuthen Tidsskr. (3) 4, 165--171 (1874; JFM 06.0082.02)