×

Found 1,811 Documents (Results 1–100)

100
MathJax
Newest 1st
Selivanova, Svetlana; Steinberg, Florian; Thies, Holger; Ziegler, Martin

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
\textit{S. Selivanova} et al., Lect. Notes Comput. Sci. 12865, 370--390 (2021; Zbl 07497965)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Blanks, Tamar Lichter; Miller, Stephen D.

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).
MSC:  94A60 94A62 81P94 68W30 11Y16
PDF BibTeX XML Cite
\textit{T. L. Blanks} and \textit{S. D. Miller}, Lect. Notes Comput. Sci. 12841, 319--338 (2021; Zbl 1485.94059)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Schneider, Carsten

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).
MSC:  81T18 81V05 68W30 65B10 11Y16
PDF BibTeX XML Cite
\textit{C. Schneider}, in: Anti-differentiation and the calculation of Feynman amplitudes. Selected papers based on the presentations at the conference, Zeuthen, Germany, October 2020. Cham: Springer. 423--485 (2021; Zbl 1484.81078)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Randriambololona, Hugues; Rousseau, Édouard

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).
MSC:  12-08 12E30 14Q20 68W30
PDF BibTeX XML Cite
\textit{H. Randriambololona} and \textit{É. Rousseau}, Lect. Notes Comput. Sci. 12542, 92--111 (2021; Zbl 1480.12001)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Dwivedi, Ashish; Saxena, Nitin

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).
MSC:  11S40 68Q01 68W30 11Y16 14G50
PDF BibTeX XML Cite
\textit{A. Dwivedi} and \textit{N. Saxena}, Open Book Ser. 4, 197--214 (2020; Zbl 1457.11166)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Tonelli-Cueto, Josué; Tsigaridas, Elias

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
\textit{J. Tonelli-Cueto} and \textit{E. Tsigaridas}, 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). 434--441 (2020; Zbl 1484.14110)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Oliveira, Rafael

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
\textit{R. Oliveira}, 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). 396--401 (2020; Zbl 07300097)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Miasnikov, Alexei; Nikolaev, Andrey

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
\textit{A. Miasnikov} and \textit{A. Nikolaev}, 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). 360--363 (2020; Zbl 07300092)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Katsamaki, Christina; Rouillier, Fabrice; Tsigaridas, Elias; Zafeirakopoulos, Zafeirakis

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).
MSC:  68W30 14P25 14Q05 14Q15
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 1483.68502)
Full Text: DOI arXiv HAL
  • logo of hbz
  • logo of WorldCat
Giorgi, Pascal; Grenet, Bruno; Roche, Daniel S.

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
\textit{P. Giorgi} 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). 210--217 (2020; Zbl 07300073)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Elliott, Jesse; Giesbrecht, Mark; Schost, Éric

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
\textit{J. Elliott} 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). 170--177 (2020; Zbl 07300068)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Dumas, Jean-Guillaume; Pernet, Clément; Sedoglavic, Alexandre

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
\textit{J.-G. Dumas} 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). 162--169 (2020; Zbl 07300067)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Bostan, Alin

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
\textit{A. Bostan}, 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). 46--53 (2020; Zbl 07300052)
Full Text: DOI arXiv Link
  • logo of hbz
  • logo of WorldCat
Abelard, Simon; Couvreur, Alain; Lecerf, Grégoire

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
\textit{S. Abelard} 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). 14--21 (2020; Zbl 07300048)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Lim, Lek-Heng; Ye, Ke

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
\textit{L.-H. Lim} and \textit{K. Ye}, 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). 8--11 (2020; Zbl 07300045)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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
  • logo of hbz
  • logo of WorldCat
Ivanov, S. V.

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).
MSC:  20-02 20F05 20F06 20F10 68Q25 68U05 52B05 20F65 68W30
PDF BibTeX XML Cite
\textit{S. V. Ivanov}, The bounded and precise word problems for presentations of groups. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 07213237)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Brand, Cornelius

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).
MSC:  68W05 05C15 05C50 05C85 15A75 68Q27 68R10 68W30 68W40
PDF BibTeX XML Cite
\textit{C. Brand}, LIPIcs -- Leibniz Int. Proc. Inform. 144, Article 25, 16 p. (2019; Zbl 07525462)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Zheng, Tao; Xia, Bican

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
\textit{T. Zheng} and \textit{B. Xia}, 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). 371--378 (2019; Zbl 1462.11113)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Paouris, Grigoris; Phillipson, Kaitlyn; Rojas, J. Maurice

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).
MSC:  65H05 14P05 14Q20 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 1467.65052)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat

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