Symbolic Computation

Authors and titles for July 2018

[1] arXiv:1807.00645 [pdf, other]

Title: Fast Hermite interpolation and evaluation over finite fields of characteristic two

Nicholas Coxon (GRACE)

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)

[2] arXiv:1807.01272 [pdf, other]

Title: Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations

David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde

Comments: 39 pages, 20 protocols

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:1807.01456 [pdf, other]

Title: A Purely Functional Computer Algebra System Embedded in Haskell

Hiromi Ishii

Comments: 16 pages, Accepted to CASC 2018

Journal-ref: Computer Algebra in Scientific Computing, pp. 288-303. 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings

Subjects: Symbolic Computation (cs.SC); Programming Languages (cs.PL)

[4] arXiv:1807.07785 [pdf, other]

Title: Fast transforms over finite fields of characteristic two

Nicholas Coxon (GRACE)

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)

[5] arXiv:1807.08289 [pdf, other]

Title: What Can (and Can't) we Do with Sparse Polynomials?

Daniel S. Roche

Comments: Tutorial at ISSAC 2018, Pages 25-30 of proceedings, In Proc. 43rd International Symposium on Symbolic and Algebraic Computation, ISSAC '18. ACM, New York, NY, 2018

Subjects: Symbolic Computation (cs.SC)

[6] arXiv:1807.09675 [pdf, other]

Title: Toward an Optimal Quantum Algorithm for Polynomial Factorization over Finite Fields

Javad Doliskani

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Number Theory (math.NT); Quantum Physics (quant-ph)

[7] arXiv:1807.00328 (cross-list from math.NA) [pdf, other]

Title: A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations

Yury A. Blinkov, Vladimir P. Gerdt, Dmitry A. Lyakhov, Dominik L. Michels

Comments: 15 pages

Subjects: Numerical Analysis (math.NA); Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

[8] arXiv:1807.02991 (cross-list from math.AG) [pdf, other]

Title: Multistationarity and Bistability for Fewnomial Chemical Reaction Networks

Elisenda Feliu, Martin Helmer

Journal-ref: Bulletin of Mathematical Biology, 2018

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Dynamical Systems (math.DS); Molecular Networks (q-bio.MN); Quantitative Methods (q-bio.QM)

[9] arXiv:1807.03663 (cross-list from cs.CC) [pdf, other]

Title: Orbits of monomials and factorization into products of linear forms

Pascal Koiran (LIP), Nicolas Ressayre (ICJ)

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

[10] arXiv:1807.08015 (cross-list from cs.SE) [pdf, other]

Title: Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória

Patrícia Monteiro, João Lourenço, António Ravara

Comments: Article in Portuguese, accepted in the national informatics conference INForum (this http URL)

Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

[11] arXiv:1807.10714 (cross-list from math.AG) [pdf, other]

Title: Tropical recurrent sequences

Dima Grigoriev

Comments: it is described when the entropy is positive

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)