×

Found 2,400 Documents (Results 1–100)

\(\mathrm{MIP}^* = \mathrm{RE}\): a negative resolution to Connes’ embedding problem and Tsirelson’s problem. (English) Zbl 07821719

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4996-5025 (2023).
MSC:  46L10 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Magnitude and topological entropy of digraphs. (English) Zbl 07813633

Master, Jade (ed.) et al., Proceedings of the fifth international conference on applied category theory, ACT 2022, Glasgow, United Kingdom, July 18–22, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 254-267 (2023).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI arXiv

Teaching linear algebra in a mechanized mathematical environment. (English) Zbl 07810727

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 113-129 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Turning block-sequential automata networks into smaller parallel networks with isomorphic limit dynamics. (English) Zbl 07787583

Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 214-228 (2023).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Detecting arrays for effects of single factors. (English) Zbl 1526.05029

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 693-718 (2023).
PDFBibTeX XMLCite
Full Text: DOI

A characterization of perfect strategies for mirror games. (English) Zbl 07760801

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 545-554 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Elimination ideal and bivariate resultant over finite fields. (English) Zbl 07760799

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 526-534 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

New characterization of the factor refinement algorithm with applications. (English) Zbl 07760795

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 490-497 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Exact computations with quasiseparable matrices. (English) Zbl 07760794

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 480-489 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

SLRA interpolation for approximate GCD of several multivariate polynomials. (English) Zbl 07760793

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 470-479 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Order bounds for \(C^2\)-finite sequences. (English) Zbl 07760784

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 389-397 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Flip graphs for matrix multiplication. (English) Zbl 07760783

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 381-388 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards practical fast matrix multiplication based on trilinear aggregation. (English) Zbl 07760773

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 289-297 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Beating binary powering for polynomial matrices. (English) Zbl 07760749

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 70-79 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Matrix structures and matrix functions. (English) Zbl 07760743

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 24-30 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

The complexity of diagonalization. (English) Zbl 07760740

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 1-6 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complete decomposition of symmetric tensors in linear time and polylogarithmic precision. (English) Zbl 07745715

Mavronicolas, Marios (ed.), Algorithms and complexity. 13th international conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13898, 308-322 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software