×

zbMATH — the first resource for mathematics

Found 4,682 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Sutherland, Andrew V.
Counting points on superelliptic curves in average polynomial time. (English) Zbl 07319980
Galbraith, Steven D. (ed.), ANTS XIV. Proceedings of the fourteenth algorithmic number theory symposium, Auckland, New Zealand, virtual event, June 29 – July 4, 2020. Berkeley, CA: Mathematical Sciences Publishers (MSP) (ISBN 978-1-935107-07-1/print; 978-1-935107-08-8/ebook). The Open Book Series 4, 403-422 (2020).
MSC:  11Y16 11G20 11M38 14G10
PDF BibTeX XML Cite
\textit{A. V. Sutherland}, Open Book Ser. 4, 403--422 (2020; Zbl 07319980)
Full Text: DOI
Costa, Edgar; Kedlaya, Kiran S.; Roe, David
Hypergeometric \(L\)-functions in average polynomial time. (English) Zbl 07319965
Galbraith, Steven D. (ed.), ANTS XIV. Proceedings of the fourteenth algorithmic number theory symposium, Auckland, New Zealand, virtual event, June 29 – July 4, 2020. Berkeley, CA: Mathematical Sciences Publishers (MSP) (ISBN 978-1-935107-07-1/print; 978-1-935107-08-8/ebook). The Open Book Series 4, 143-159 (2020).
MSC:  11Y16 33C20 11G09 11M38 11T24
PDF BibTeX XML Cite
\textit{E. Costa} et al., Open Book Ser. 4, 143--159 (2020; Zbl 07319965)
Full Text: DOI
Katsamaki, Christina; Rouillier, Fabrice; Tsigaridas, Elias; Zafeirakopoulos, Zafeirakis
On the geometry and the topology of parametric curves. (English) Zbl 07300082
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 281-288 (2020).
MSC:  68W30
PDF BibTeX XML Cite
\textit{C. Katsamaki} et al., in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 281--288 (2020; Zbl 07300082)
Full Text: DOI
Impagliazzo, Russell; Mouli, Sasank; Pitassi, Toniann
The surprising power of constant depth algebraic proofs. (English) Zbl 07299498
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). 591-603 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{R. Impagliazzo} 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). 591--603 (2020; Zbl 07299498)
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
Lushchakova, I. N.
Geometric algorithms for finding a point in the intersection of balls. (English. Russian original) Zbl 07294456
Autom. Remote Control 81, No. 5, 869-882 (2020); translation from Avtom. Telemekh. 2020, No. 5, 139-155 (2020).
Reviewer: Frank Plastria (Brussels)
MSC:  65D18 51M04 51N20 68Q25 68U05
PDF BibTeX XML Cite
\textit{I. N. Lushchakova}, Autom. Remote Control 81, No. 5, 869--882 (2020; Zbl 07294456); translation from Avtom. Telemekh. 2020, No. 5, 139--155 (2020)
Full Text: DOI
Evtushenko, Yu. G.; Tret’yakov, A. A.
Locally polynomial method for solving systems of linear inequalities. (English. Russian original) Zbl 1450.65041
Comput. Math. Math. Phys. 60, No. 2, 222-226 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 2, 216-220 (2020).
MSC:  65F99 15A39
PDF BibTeX XML Cite
\textit{Yu. G. Evtushenko} and \textit{A. A. Tret'yakov}, Comput. Math. Math. Phys. 60, No. 2, 222--226 (2020; Zbl 1450.65041); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 2, 216--220 (2020)
Full Text: DOI
Chistov, A. L.
Systems with parameters, or efficiently solving systems of polynomial equations: 33 years later. III. (English. Russian original) Zbl 1448.13048
J. Math. Sci., New York 247, No. 5, 738-757 (2020); translation from Zap. Nauchn. Semin. POMI 481, 146-177 (2019).
MSC:  13P15 13-03 01A60 01A61 12-08 14Q20 68W30
PDF BibTeX XML Cite
\textit{A. L. Chistov}, J. Math. Sci., New York 247, No. 5, 738--757 (2020; Zbl 1448.13048); translation from Zap. Nauchn. Semin. POMI 481, 146--177 (2019)
Full Text: DOI
Hoang, Duc A.; Suzuki, Akira; Yagita, Tsuyoshi
Reconfiguring \(k\)-path vertex covers. (English) Zbl 07224279
Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 14th international conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39880-4/pbk; 978-3-030-39881-1/ebook). Lecture Notes in Computer Science 12049, 133-145 (2020).
MSC:  68Wxx
PDF BibTeX XML Cite
\textit{D. A. Hoang} et al., Lect. Notes Comput. Sci. 12049, 133--145 (2020; Zbl 07224279)
Full Text: DOI
Paouris, Grigoris; Phillipson, Kaitlyn; Rojas, J. Maurice
A faster solution to Smale’s 17th problem. I: Real binomial systems. (English) Zbl 07246263
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 323-330 (2019).
MSC:  68W30
PDF BibTeX XML Cite
\textit{G. Paouris} et al., in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 323--330 (2019; Zbl 07246263)
Full Text: DOI
Beyersdorff, Olaf; Chew, Leroy; Clymo, Judith; Mahajan, Meena
Short proofs in QBF expansion. (English) Zbl 1441.68085
Janota, Mikoláš (ed.) et al., Theory and applications of satisfiability testing – SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11628, 19-35 (2019).
MSC:  68Q25 03F20 68R07 68T20
PDF BibTeX XML Cite
\textit{O. Beyersdorff} et al., Lect. Notes Comput. Sci. 11628, 19--35 (2019; Zbl 1441.68085)
Full Text: DOI
Golovachev, Mikhail; Pyatkin, Artem V.
Routing open shop with two nodes, unit processing times and equal number of jobs and machines. (English) Zbl 1439.90033
Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 264-276 (2019).
MSC:  90B35 90C35
PDF BibTeX XML Cite
\textit{M. Golovachev} and \textit{A. V. Pyatkin}, Lect. Notes Comput. Sci. 11548, 264--276 (2019; Zbl 1439.90033)
Full Text: DOI
Nip, Kameng; Wang, Zhenbo; Shi, Tianning
Some graph optimization problems with weights satisfying linear constraints. (English) Zbl 1443.90324
Li, Yingshu (ed.) et al., Combinatorial optimization and applications. 13th international conference, COCOA 2019, Xiamen, China, December 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11949, 412-424 (2019).
MSC:  90C35
PDF BibTeX XML Cite
\textit{K. Nip} et al., Lect. Notes Comput. Sci. 11949, 412--424 (2019; Zbl 1443.90324)
Full Text: DOI
Krasikov, V. A.
Analytic complexity of hypergeometric functions satisfying systems with holonomic rank two. (English) Zbl 1437.33023
England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11661, 330-342 (2019).
MSC:  33F05 33C05 33C20
PDF BibTeX XML Cite
\textit{V. A. Krasikov}, Lect. Notes Comput. Sci. 11661, 330--342 (2019; Zbl 1437.33023)
Full Text: DOI
Chistov, A. L.
Systems with parameters, or efficiently solving systems of polynomial equations 33 years later. II. (English. Russian original) Zbl 1445.13025
J. Math. Sci., New York 240, No. 5, 594-616 (2019); translation from Zap. Nauchn. Semin. POMI 468, 138-176 (2018).
MSC:  13P15 13-03 01A60 01A61 12-08 14Q20
PDF BibTeX XML Cite
\textit{A. L. Chistov}, J. Math. Sci., New York 240, No. 5, 594--616 (2019; Zbl 1445.13025); translation from Zap. Nauchn. Semin. POMI 468, 138--176 (2018)
Full Text: DOI
Shpilka, Amir
Sylvester-Gallai type theorems for quadratic polynomials. (English) Zbl 1434.68162
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 1203-1214 (2019).
MSC:  68Q06 68U05 68W20 68W30
PDF BibTeX XML Cite
\textit{A. Shpilka}, in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 1203--1214 (2019; Zbl 1434.68162)
Full Text: DOI
Bringmann, Karl; Künnemann, Marvin; Węgrzycki, Karol
Approximating APSP without scaling: equivalence of approximate min-plus and exact min-max. (English) Zbl 1433.68611
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 943-954 (2019).
MSC:  68W25 68Q17 68R10 68W40
PDF BibTeX XML Cite
\textit{K. Bringmann} et al., in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 943--954 (2019; Zbl 1433.68611)
Full Text: DOI
Brakensiek, Joshua; Gopi, Sivakanth; Guruswami, Venkatesan
CSPs with global modular constraints: algorithms and hardness via polynomial representations. (English) Zbl 1433.68270
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 590-601 (2019).
MSC:  68R07 68Q17 68Q25 68W40
PDF BibTeX XML Cite
\textit{J. Brakensiek} et al., in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 590--601 (2019; Zbl 1433.68270)
Full Text: DOI
Raz, Ran; Tal, Avishay
Oracle separation of BQP and PH. (English) Zbl 1433.68152
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 13-23 (2019).
MSC:  68Q15 68Q06 68Q12
PDF BibTeX XML Cite
\textit{R. Raz} and \textit{A. Tal}, in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 13--23 (2019; Zbl 1433.68152)
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
Biographic Reference
all top 3
Software