×

zbMATH — the first resource for mathematics

Found 16,379 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Hrga, Timotej; Lužar, Borut; Povh, Janez; Wiegele, Angelika
BiqBin: moving boundaries for NP-hard problems by HPC. (English) Zbl 1440.90061
Dimov, Ivan (ed.) et al., Advances in high performance computing. Results of the international conference on high performance computing, Borovets, Bulgaria, September 2–6, 2019. Cham: Springer. Stud. Comput. Intell. 902, 327-339 (2021).
MSC:  90C27 65K05 65Y10 68Q17 90C57
PDF BibTeX XML Cite
\textit{T. Hrga} et al., Stud. Comput. Intell. 902, 327--339 (2021; Zbl 1440.90061)
Full Text: DOI
Panin, Artem A.; Plyasunov, Alexander V.
Stability analysis for pricing. (English) Zbl 07315672
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer (ISBN 978-3-030-58656-0/pbk; 978-3-030-58657-7/ebook). Communications in Computer and Information Science 1275, 57-69 (2020).
MSC:  91B24 91A65 91A80 68Q17
PDF BibTeX XML Cite
\textit{A. A. Panin} and \textit{A. V. Plyasunov}, Commun. Comput. Inf. Sci. 1275, 57--69 (2020; Zbl 07315672)
Full Text: DOI
Lavlinskii, Sergey; Panin, Artem; Plyasunov, Alexander
Bilevel models for investment policy in resource-rich regions. (English) Zbl 07315670
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer (ISBN 978-3-030-58656-0/pbk; 978-3-030-58657-7/ebook). Communications in Computer and Information Science 1275, 36-50 (2020).
MSC:  91B76 91A65 91A80 90C90 68Q17
PDF BibTeX XML Cite
\textit{S. Lavlinskii} et al., Commun. Comput. Inf. Sci. 1275, 36--50 (2020; Zbl 07315670)
Full Text: DOI
Fichte, Johannes K.; Hecher, Markus; Pfandler, Andreas
Lower bounds for QBFs of bounded treewidth. (English) Zbl 07299485
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 410-424 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{J. K. Fichte} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 410--424 (2020; Zbl 07299485)
Full Text: DOI
Beyersdorff, Olaf; Blinkhorn, Joshua; Mahajan, Meena
Hardness characterisations and size-width lower bounds for QBF resolution. (English) Zbl 07299470
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 209-223 (2020).
MSC:  03F20
PDF BibTeX XML Cite
\textit{O. Beyersdorff} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 209--223 (2020; Zbl 07299470)
Full Text: DOI
Assadi, Sepehr; Khandeparkar, Hrishikesh; Saxena, Raghuvansh R.; Weinberg, S. Matthew
Separating the communication complexity of truthful and non-truthful combinatorial auctions. (English) Zbl 07298311
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). 1073-1085 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{S. Assadi} et al., 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). 1073--1085 (2020; Zbl 07298311)
Full Text: DOI
Mohanty, Sidhanth; Raghavendra, Prasad; Xu, Jeff
Lifting sum-of-squares lower bounds: degree-2 to degree-4. (English) Zbl 07298292
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). 840-853 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{S. Mohanty} et al., 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). 840--853 (2020; Zbl 07298292)
Full Text: DOI
Sokolov, Dmitry
(Semi)algebraic proofs over \(\{\pm 1\}\) variables. (English) Zbl 07298232
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). 78-90 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{D. Sokolov}, 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). 78--90 (2020; Zbl 07298232)
Full Text: DOI
Campercholi, Miguel; Tellechea, Mauricio; Ventura, Pablo
Deciding quantifier-free definability in finite algebraic structures. (English) Zbl 07297790
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 348, 23-41 (2020).
MSC:  03B70 68Q17
PDF BibTeX XML Cite
\textit{M. Campercholi} et al., Electron. Notes Theor. Comput. Sci. 348, 23--41 (2020; Zbl 07297790)
Full Text: DOI
Levitina, T. V.
Computation of eigenfrequencies of an acoustic medium in a prolate spheroid by a modified Abramov method. (English. Russian original) Zbl 07282630
Comput. Math. Math. Phys. 60, No. 10, 1642-1655 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 10, 1697-1710 (2020).
Reviewer: Calin Ioan Gheorghiu (Cluj-Napoca)
MSC:  35J05 34L10 34L15 34L16 34B24 65L10
PDF BibTeX XML Cite
\textit{T. V. Levitina}, Comput. Math. Math. Phys. 60, No. 10, 1642--1655 (2020; Zbl 07282630); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 10, 1697--1710 (2020)
Full Text: DOI
Sadovnichii, V. A.; Sultanaev, Ya. T.; Valeev, N. F.
Reconstruction of nonsplitting boundary conditions of the Sturm-Liouville operator from a minimal set of eigenvalues. (English. Russian original) Zbl 07276426
Differ. Equ. 56, No. 10, 1290-1297 (2020); translation from Differ. Uravn. 56, No. 10, 1323-1330 (2020).
Reviewer: Namig Guliyev (Baku)
MSC:  34A55 34B24 34L15
PDF BibTeX XML Cite
\textit{V. A. Sadovnichii} et al., Differ. Equ. 56, No. 10, 1290--1297 (2020; Zbl 07276426); translation from Differ. Uravn. 56, No. 10, 1323--1330 (2020)
Full Text: DOI
Atakishiyeva, Mesuma K.; Atakishiyev, Natig M.; Loreto-Hernández, Juan
On the discrete Fourier transform eigenvectors and spontaneous symmetry breaking. (English) Zbl 07272027
Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer (ISBN 978-3-030-56322-6/hbk; 978-3-030-56323-3/ebook). Springer Proceedings in Mathematics & Statistics 333, 549-569 (2020).
MSC:  39A70 42A38 44A55 65T50 15A18 34L15
PDF BibTeX XML Cite
\textit{M. K. Atakishiyeva} et al., in: Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1--5, 2019. Cham: Springer. 549--569 (2020; Zbl 07272027)
Full Text: DOI
Ezhak, S.; Telnova, M.
On conditions on the potential in a Sturm-Liouville problem and an upper estimate of its first eigenvalue. (English) Zbl 07272023
Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer (ISBN 978-3-030-56322-6/hbk; 978-3-030-56323-3/ebook). Springer Proceedings in Mathematics & Statistics 333, 481-496 (2020).
Reviewer: Namig Guliyev (Baku)
MSC:  34B24 34L15
PDF BibTeX XML Cite
\textit{S. Ezhak} and \textit{M. Telnova}, in: Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1--5, 2019. Cham: Springer. 481--496 (2020; Zbl 07272023)
Full Text: DOI
Sahai, Tuhin
Dynamical systems theory and algorithms for NP-hard problems. (English) Zbl 07271598
Junge, Oliver (ed.) et al., Advances in dynamics, optimization and computation. A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-030-51263-7/hbk; 978-3-030-51264-4/ebook). Studies in Systems, Decision and Control 304, 183-206 (2020).
MSC:  68Q 68Q17 68Q25 65Y20 90C60 37N30
PDF BibTeX XML Cite
\textit{T. Sahai}, Stud. Syst. Decis. Control 304, 183--206 (2020; Zbl 07271598)
Full Text: DOI
Tanana, V. P.; Sidikova, A. I.
Solving the inverse heat conduction boundary problem for composite materials. (English) Zbl 1452.80016
Tarasyev, Alexander (ed.) et al., Stability, control and differential games. Proceedings of the international conference on stability, control and differential games (SCDG2019), Yekaterinburg, Russia, September 16–20, 2019. Cham: Springer. Lect. Notes Control Inf. Sci. – Proc., 133-143 (2020).
MSC:  80A23 65T50 34B24 34L15 65M32 35Q79
PDF BibTeX XML Cite
\textit{V. P. Tanana} and \textit{A. I. Sidikova}, in: Stability, control and differential games. Proceedings of the international conference on stability, control and differential games (SCDG2019), Yekaterinburg, Russia, September 16--20, 2019. Cham: Springer. 133--143 (2020; Zbl 1452.80016)
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