Jorgensen, Palle E. T.; Song, Myung-Sin; Tian, James Infinite-dimensional stochastic transforms and reproducing kernel Hilbert space. (English) Zbl 07739023 Sampl. Theory Signal Process. Data Anal. 21, No. 1, Paper No. 12, 27 p. (2023). MSC: 47B32 41A15 41A65 42A82 42C15 46E22 47A05 47N10 60G15 62H25 68T07 81S05 90C20 94A08 94A12 94A20 PDFBibTeX XMLCite \textit{P. E. T. Jorgensen} et al., Sampl. Theory Signal Process. Data Anal. 21, No. 1, Paper No. 12, 27 p. (2023; Zbl 07739023) Full Text: DOI arXiv
Naumann, Uwe A Matrix-Free Newton Method. arXiv:2305.01669 Preprint, arXiv:2305.01669 [math.NA] (2023). MSC: 49M15 47A05 68N99 BibTeX Cite \textit{U. Naumann}, ``A Matrix-Free Newton Method'', Preprint, arXiv:2305.01669 [math.NA] (2023) Full Text: arXiv OA License
Nakasho, Kazuhisa; Futa, Yuichi Inverse function theorem. I. (English) Zbl 1473.68210 Formaliz. Math. 29, No. 1, 9-19 (2021). MSC: 68V20 26B10 47A05 47J07 PDFBibTeX XMLCite \textit{K. Nakasho} and \textit{Y. Futa}, Formaliz. Math. 29, No. 1, 9--19 (2021; Zbl 1473.68210) Full Text: DOI
Cvetković-Ilić, Dragana S.; Hofstadler, Clemens; Hossein Poor, Jamal; Milošević, Jovana; Raab, Clemens G.; Regensburger, Georg Algebraic proof methods for identities of matrices and operators: improvements of Hartwig’s triple reverse order law. (English) Zbl 1510.15028 Appl. Math. Comput. 409, Article ID 126357, 10 p. (2021). MSC: 15A24 15A09 47A05 47A50 68W30 68V15 PDFBibTeX XMLCite \textit{D. S. Cvetković-Ilić} et al., Appl. Math. Comput. 409, Article ID 126357, 10 p. (2021; Zbl 1510.15028) Full Text: DOI arXiv
Jorgensen, Palle E. T.; Song, Myung-Sin; Tian, James Positive Definite Kernels, Algorithms, Frames, and Approximations. arXiv:2104.11807 Preprint, arXiv:2104.11807 [math.FA] (2021). MSC: 47B32 41A15 41A65 42A82 42C15 46E22 47A05 47N10 60G15 62H25 68T07 90C20 94A08 94A12 94A20 BibTeX Cite \textit{P. E. T. Jorgensen} et al., ``Positive Definite Kernels, Algorithms, Frames, and Approximations'', Preprint, arXiv:2104.11807 [math.FA] (2021) Full Text: arXiv OA License
Nakasho, Kazuhisa Invertible operators on Banach spaces. (English) Zbl 1432.68540 Formaliz. Math. 27, No. 2, 107-115 (2019). MSC: 68V20 47A05 47J07 PDFBibTeX XMLCite \textit{K. Nakasho}, Formaliz. Math. 27, No. 2, 107--115 (2019; Zbl 1432.68540) Full Text: DOI
Hückelheim, J. C.; Hovland, P. D.; Strout, M. M.; Müller, J.-D. Parallelizable adjoint stencil computations using transposed forward-mode algorithmic differentiation. (English) Zbl 1401.65163 Optim. Methods Softw. 33, No. 4-6, 672-693 (2018). MSC: 65Y05 68N20 PDFBibTeX XMLCite \textit{J. C. Hückelheim} et al., Optim. Methods Softw. 33, No. 4--6, 672--693 (2018; Zbl 1401.65163) Full Text: DOI Link
Duits, Remco; Janssen, Bart; Becciu, Alessandro; Van Assen, Hans A variational approach to cardiac motion estimation based on covariant derivatives and multi-scale Helmholtz decomposition. (English) Zbl 1261.49008 Q. Appl. Math. 71, No. 1, 1-36 (2013). MSC: 49M25 49M27 47A05 47A10 68U10 92C55 PDFBibTeX XMLCite \textit{R. Duits} et al., Q. Appl. Math. 71, No. 1, 1--36 (2013; Zbl 1261.49008) Full Text: DOI
Holfeld, Denise; Stumm, Philipp; Walther, Andrea Structure exploiting adjoints for finite element discretizations. (English) Zbl 1356.49057 Leugering, Günter (ed.) et al., Constrained optimization and optimal control for partial differential equations. Basel: Birkhäuser (ISBN 978-3-0348-0132-4/hbk; 978-3-0348-0133-1/ebook). ISNM. International Series of Numerical Mathematics 160, 183-196 (2012). MSC: 49M30 65Y20 90C30 49N90 68W40 PDFBibTeX XMLCite \textit{D. Holfeld} et al., ISNM, Int. Ser. Numer. Math. 160, 183--196 (2012; Zbl 1356.49057) Full Text: DOI
Brooksbank, Peter A.; Wilson, James B. Intersecting two classical groups. (English) Zbl 1259.20057 J. Algebra 353, No. 1, 286-297 (2012). Reviewer: Wilberd van der Kallen (Utrecht) MSC: 20G40 20-04 68W30 68Q17 PDFBibTeX XMLCite \textit{P. A. Brooksbank} and \textit{J. B. Wilson}, J. Algebra 353, No. 1, 286--297 (2012; Zbl 1259.20057) Full Text: DOI
Stumm, Philipp; Walther, Andrea New algorithms for optimal online checkpointing. (English) Zbl 1214.65038 SIAM J. Sci. Comput. 32, No. 2, 836-854 (2010). Reviewer: Ludwig Kohaupt (Berlin) MSC: 65K10 65Y20 90C30 49N90 68W40 PDFBibTeX XMLCite \textit{P. Stumm} and \textit{A. Walther}, SIAM J. Sci. Comput. 32, No. 2, 836--854 (2010; Zbl 1214.65038) Full Text: DOI
Faroughi, Mohammad Hasan; Ahmadi, Reza Some properties of \(C\)-fusion frames. (English) Zbl 1201.42021 Turk. J. Math. 34, No. 3, 393-416 (2010). Reviewer: Paşc Găvruţă (Timişoara) MSC: 42C15 44A99 46C50 47A05 94A12 68M10 PDFBibTeX XMLCite \textit{M. H. Faroughi} and \textit{R. Ahmadi}, Turk. J. Math. 34, No. 3, 393--416 (2010; Zbl 1201.42021)
Schicho, Josef Rational parametrization of surfaces. (English) Zbl 0924.14027 J. Symb. Comput. 26, No. 1, 1-29 (1998). Reviewer: N.M.Glazunov (Kiev) MSC: 14Q10 68W10 68W30 PDFBibTeX XMLCite \textit{J. Schicho}, J. Symb. Comput. 26, No. 1, 1--29 (1998; Zbl 0924.14027) Full Text: DOI
Volcheck, Emil J. Computing in the Jacobian of a plane algebraic curve. (Extended abstract). (English) Zbl 0826.14040 Adleman, Leonard M. (ed.) et al., Algorithmic number theory. 1st international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 877, 221-233 (1994). MSC: 14Q05 14H40 68U05 14H20 PDFBibTeX XMLCite \textit{E. J. Volcheck}, Lect. Notes Comput. Sci. 877, 221--233 (1994; Zbl 0826.14040)
Hodges, Wilfrid The meaning of specifications. II: Set-theoretic specification. (English) Zbl 0798.03055 Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 43-68 (1993). Reviewer: W.Hodges MSC: 03E47 68Q55 18A40 68Q65 PDFBibTeX XMLCite \textit{W. Hodges}, Algebra Log. Appl. 5, 43--68 (1993; Zbl 0798.03055)