×

zbMATH — the first resource for mathematics

Found 5,670 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Devonport, Alex; Khaled, Mahmoud; Arcak, Murat; Zamani, Majid
PIRK: scalable interval reachability analysis for high-dimensional nonlinear systems. (English) Zbl 07306428
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 556-568 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
\textit{A. Devonport} et al., Lect. Notes Comput. Sci. 12224, 556--568 (2020; Zbl 07306428)
Full Text: DOI
Mitzenmacher, Michael; Seddighin, Saeed
Dynamic algorithms for LIS and distance to monotonicity. (English) Zbl 07298279
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 671-684 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{M. Mitzenmacher} and \textit{S. Seddighin}, in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 671--684 (2020; Zbl 07298279)
Full Text: DOI
Khachatryan, Khachatur Agavardovich; Petrosyan, Aĭkanush Sabelovna
On alternating and bounded solutions of one class of integral equations on the entire axis with monotonic nonlinearity. (Russian. English summary) Zbl 07294558
Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 24, No. 4, 644-662 (2020).
MSC:  45G05
PDF BibTeX XML Cite
\textit{K. A. Khachatryan} and \textit{A. S. Petrosyan}, Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 24, No. 4, 644--662 (2020; Zbl 07294558)
Full Text: DOI MNR
Vedel, Ya. I.; Sandrakov, G. V.; Semenov, V. V.
An adaptive two-stage proximal algorithm for equilibrium problems in Hadamard spaces. (English. Russian original) Zbl 07285432
Cybern. Syst. Anal. 56, No. 6, 978-989 (2020); translation from Kibern. Sist. Anal. 2020, No. 6, 136-148 (2020).
MSC:  65J22 49J40 49J45
PDF BibTeX XML Cite
\textit{Ya. I. Vedel} et al., Cybern. Syst. Anal. 56, No. 6, 978--989 (2020; Zbl 07285432); translation from Kibern. Sist. Anal. 2020, No. 6, 136--148 (2020)
Full Text: DOI
Vedel, Ya. I.; Sandrakov, G. V.; Semenov, V. V.; Chabak, L. M.
Convergence of a two-stage proximal algorithm for the equilibrium problem in Hadamard spaces. (English. Russian original) Zbl 1454.90100
Cybern. Syst. Anal. 56, No. 5, 784-792 (2020); translation from Kibern. Sist. Anal. 2020, No. 5, 115-125 (2020).
MSC:  90C33 90C48
PDF BibTeX XML Cite
\textit{Ya. I. Vedel} et al., Cybern. Syst. Anal. 56, No. 5, 784--792 (2020; Zbl 1454.90100); translation from Kibern. Sist. Anal. 2020, No. 5, 115--125 (2020)
Full Text: DOI
Khachatryan, Kh. A.; Petrosyan, H. S.
On a class of integral equations with convex nonlinearity on semiaxis. (English. Russian original) Zbl 07269803
J. Contemp. Math. Anal., Armen. Acad. Sci. 55, No. 1, 42-53 (2020); translation from Izv. Nats. Akad. Nauk Armen., Mat. 55, No. 1, 57-71 (2020).
MSC:  45G05
PDF BibTeX XML Cite
\textit{Kh. A. Khachatryan} and \textit{H. S. Petrosyan}, J. Contemp. Math. Anal., Armen. Acad. Sci. 55, No. 1, 42--53 (2020; Zbl 07269803); translation from Izv. Nats. Akad. Nauk Armen., Mat. 55, No. 1, 57--71 (2020)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software