Rizzi, Peter; Sander, Evelyn; Wanner, Thomas Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model. (English) Zbl 07789742 Discrete Contin. Dyn. Syst., Ser. B 29, No. 2, 666-701 (2024). MSC: 37G40 37M20 65G20 65P30 37C81 65G30 74G60 74N15 PDFBibTeX XMLCite \textit{P. Rizzi} et al., Discrete Contin. Dyn. Syst., Ser. B 29, No. 2, 666--701 (2024; Zbl 07789742) Full Text: DOI arXiv
Varin, V. P. Approximation of differential operators with boundary conditions. (English. Russian original) Zbl 1525.65019 Comput. Math. Math. Phys. 63, No. 8, 1381-1400 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 8, 1251-1271 (2023). MSC: 65D32 47N40 65L60 PDFBibTeX XMLCite \textit{V. P. Varin}, Comput. Math. Math. Phys. 63, No. 8, 1381--1400 (2023; Zbl 1525.65019); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 8, 1251--1271 (2023) Full Text: DOI
Holst, Michael; Maxwell, David; Mazzeo, Rafe Conformal fields and the structure of the space of solutions of the Einstein constraint equations. (English) Zbl 1520.83009 Adv. Theor. Math. Phys. 26, No. 5, 1157-1201 (2022). MSC: 83C05 70H45 03F20 65E10 35J93 46B04 PDFBibTeX XMLCite \textit{M. Holst} et al., Adv. Theor. Math. Phys. 26, No. 5, 1157--1201 (2022; Zbl 1520.83009) Full Text: DOI arXiv
Varin, V. P. Sequence transformations in proofs of irrationality of some fundamental constants. (English. Russian original) Zbl 07606596 Comput. Math. Math. Phys. 62, No. 10, 1559-1585 (2022); translation from Zh. Vychisl. Mat. Mat. Fiz. 62, No. 10, 1587-1614 (2022). MSC: 65-XX 11-XX PDFBibTeX XMLCite \textit{V. P. Varin}, Comput. Math. Math. Phys. 62, No. 10, 1559--1585 (2022; Zbl 07606596); translation from Zh. Vychisl. Mat. Mat. Fiz. 62, No. 10, 1587--1614 (2022) Full Text: DOI
van den Berg, Jan Bouwe; Groothedde, Chris; Lessard, Jean-Philippe A general method for computer-assisted proofs of periodic solutions in delay differential problems. (English) Zbl 1504.34191 J. Dyn. Differ. Equations 34, No. 2, 853-896 (2022). Reviewer: Ábel Garab (Klagenfurt) MSC: 34K13 65G99 47N20 PDFBibTeX XMLCite \textit{J. B. van den Berg} et al., J. Dyn. Differ. Equations 34, No. 2, 853--896 (2022; Zbl 1504.34191) Full Text: DOI
Immler, Fabian; Traut, Christoph The flow of ODEs: formalization of variational equation and Poincaré map. (English) Zbl 1468.68325 J. Autom. Reasoning 62, No. 2, 215-236 (2019). MSC: 68V20 03B35 34A12 34A26 37C10 65L05 65P99 PDFBibTeX XMLCite \textit{F. Immler} and \textit{C. Traut}, J. Autom. Reasoning 62, No. 2, 215--236 (2019; Zbl 1468.68325) Full Text: DOI
Aaronson, Scott \(\mathrm P \overset {?} {=} \mathrm{NP}\). (English) Zbl 1358.68106 Nash, John Forbes jun. (ed.) et al., Open problems in mathematics. Cham: Springer (ISBN 978-3-319-32160-8/hbk; 978-3-319-32162-2/ebook). 1-122 (2016). Reviewer: Gregory Loren McColm (Tampa) MSC: 68Q15 03D15 11Y16 65F30 68Q17 68Q25 PDFBibTeX XMLCite \textit{S. Aaronson}, in: Open problems in mathematics. Cham: Springer. 1--122 (2016; Zbl 1358.68106) 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
Wilczak, Daniel; Zgliczyński, Piotr Topological method for symmetric periodic orbits for maps with a reversing symmetry. (English) Zbl 1124.37015 Discrete Contin. Dyn. Syst. 17, No. 3, 629-652 (2007). Reviewer: Boris V. Loginov (Ul’yanovsk) MSC: 37C80 37C25 65G20 PDFBibTeX XMLCite \textit{D. Wilczak} and \textit{P. Zgliczyński}, Discrete Contin. Dyn. Syst. 17, No. 3, 629--652 (2007; Zbl 1124.37015) Full Text: DOI arXiv
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
Wilczak, Daniel Computer assisted proof of chaotic dynamics in the Rössler map. (English) Zbl 1002.65137 Topol. Methods Nonlinear Anal. 18, No. 1, 183-190 (2001). Reviewer: Manuel Calvo (Zaragoza) MSC: 65P20 37C25 37M99 34C28 37B40 37D45 PDFBibTeX XMLCite \textit{D. Wilczak}, Topol. Methods Nonlinear Anal. 18, No. 1, 183--190 (2001; Zbl 1002.65137) Full Text: DOI
Mrozek, Marian Topological invariants, multivalued maps and computer assisted proofs in dynamics. (English) Zbl 0861.58027 Comput. Math. Appl. 32, No. 4, 83-104 (1996). MSC: 37D45 65L99 PDFBibTeX XMLCite \textit{M. Mrozek}, Comput. Math. Appl. 32, No. 4, 83--104 (1996; Zbl 0861.58027) Full Text: DOI
Plum, M. Computer-assisted existence proofs for two-point boundary value problems. (English) Zbl 0782.65107 Computing 46, No. 1, 19-34 (1991). Reviewer: T.Mitsui (Chikusa-ku / Nagoya) MSC: 65L10 65L70 68T15 34B15 34C23 PDFBibTeX XMLCite \textit{M. Plum}, Computing 46, No. 1, 19--34 (1991; Zbl 0782.65107) Full Text: DOI
De la Llave, R. Computer assisted proofs of stability of matter. (English) Zbl 0793.65096 Computer aided proofs in analysis, Proc. IMA Participating Inst. Conf., Cincinnati/OH (USA), IMA Vol. Math. Appl. 28, 116-126 (1991). MSC: 65Z05 65G30 65N25 35Q55 35P25 68T15 81Q05 PDFBibTeX XMLCite \textit{R. De la Llave}, IMA Vol. Math. Appl. 28, 116--126 (1991; Zbl 0793.65096)
Chandy, K. Mani; Misra, J. Systolic algorithms as programs. (English) Zbl 0609.68024 Distrib. Comput. 1, 177-183 (1986). MSC: 68N25 65F30 68W99 PDFBibTeX XMLCite \textit{K. M. Chandy} and \textit{J. Misra}, Distrib. Comput. 1, 177--183 (1986; Zbl 0609.68024) Full Text: DOI
Kallberg, J. G.; Ziemba, W. T. An extended Frank-Wolfe algorithm with application to portfolio selection problems. (English) Zbl 0446.90064 Recent results in stochastic programming, Proc., Oberwolfach 1979, Lect. Notes Econ. Math. Syst. 179, 139-162 (1980). MSC: 90C15 65K05 91G10 PDFBibTeX XML
Chaitin, Gregory J.; Schwartz, Jacob T. A note on Monte Carlo primality tests and algorithmic information theory. (English) Zbl 0401.94008 Commun. Pure Appl. Math. 31, 521-527 (1978). Reviewer: Giuseppe Longo (Trieste) MSC: 94A15 11Y11 65C05 62B10 03D15 PDFBibTeX XMLCite \textit{G. J. Chaitin} and \textit{J. T. Schwartz}, Commun. Pure Appl. Math. 31, 521--527 (1978; Zbl 0401.94008) Full Text: DOI
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)