×

Found 1,811 Documents (Results 1–100)

100
MathJax

Exact real computation of solution operators for linear analytic systems of partial differential equations. (English) Zbl 07497965

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 370-390 (2021).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Generating cryptographically-strong random lattice bases and recognizing rotations of \(\mathbb{Z}^n\). (English) Zbl 1485.94059

Cheon, Jung Hee (ed.) et al., Post-quantum cryptography. 12th international workshop, PQCrypto 2021, Daejeon, South Korea, July 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12841, 319-338 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Term algebras, canonical representations and difference ring theory for symbolic summation. (English) Zbl 1484.81078

Bluemlein, Johannes (ed.) et al., Anti-differentiation and the calculation of Feynman amplitudes. Selected papers based on the presentations at the conference, Zeuthen, Germany, October 2020. Cham: Springer. Texts Monogr. Symb. Comput., 423-485 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Trisymmetric multiplication formulae in finite fields. (English) Zbl 1480.12001

Bajard, Jean Claude (ed.) et al., Arithmetic of finite fields. 8th international workshop, WAIFI 2020, Rennes, France, July 6–8, 2020. Revised selected and invited papers. Cham: Springer. Lect. Notes Comput. Sci. 12542, 92-111 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Computing Igusa’s local zeta function of univariates in deterministic polynomial-time. (English) Zbl 1457.11166

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). Open Book Ser. 4, 197-214 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Condition numbers for the cube. I: Univariate polynomials and hypersurfaces. (English) Zbl 1484.14110

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). 434-441 (2020).
MSC:  14Q65 65H14 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Conditional lower bounds on the spectrahedral representation of explicit hyperbolicity cones. (English) Zbl 07300097

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). 396-401 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

On parameterized complexity of the word search problem in the Baumslag-Gersten group. (English) Zbl 07300092

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). 360-363 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

On the geometry and the topology of parametric curves. (English) Zbl 1483.68502

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). 281-288 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv HAL

Fast in-place algorithms for polynomial operations: division, evaluation, interpolation. (English) Zbl 07300073

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). 210-217 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the bit complexity of finding points in connected components of a smooth real hypersurface. (English) Zbl 07300068

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). 170-177 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

On fast multiplication of a matrix by its transpose. (English) Zbl 07300067

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). 162-169 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Computing the N-th term of a q-holonomic sequence. (English) Zbl 07300052

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). 46-53 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Sub-quadratic time for Riemann-Roch spaces. Case of smooth divisors over nodal plane projective curves. (English) Zbl 07300048

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). 14-21 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Ubiquity of the exponent of matrix multiplication. (English) Zbl 07300045

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). 8-11 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

The bounded and precise word problems for presentations of groups. (English) Zbl 07213237

Memoirs of the American Mathematical Society 1281. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4143-2/pbk; 978-1-4704-5804-1/ebook). v, 106 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Patching colors with tensors. (English) Zbl 07525462

Bender, Michael A. (ed.) et al., 27th annual European symposium on algorithms, ESA 2019, Munich/Garching, Germany, September 9–11, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 144, Article 25, 16 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

An effective framework for constructing exponent lattice basis of nonzero algebraic numbers. (English) Zbl 1462.11113

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). 371-378 (2019).
MSC:  11Y40 11Y16 68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

A faster solution to Smale’s 17th problem. I: Real binomial systems. (English) Zbl 1467.65052

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). 323-330 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Software