default search action
ISSAC 2015: Bath, UK
- Kazuhiro Yokoyama, Steve Linton, Daniel Robertz:
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015. ACM 2015, ISBN 978-1-4503-3435-8
Invited Talks
- Erika Ábrahám
:
Building Bridges between Symbolic Computation and Satisfiability Checking. 1-6 - Éric Schost:
Algorithms for Finite Field Arithmetic. 7-12 - Lihong Zhi:
Optimization Problems over Noncompact Semialgebraic Sets. 13-14
Tutorials
- Ankur Moitra:
Nonnegative Matrix Factorization: Algorithms, Complexity and Applications. 15-16 - Clément Pernet
Exact Linear Algebra Algorithmic: Theory and Practice. 17-18 - Veronika Pillwein:
An Introduction to Finite Element Methods. 19-20
Contributed Papers
- Andrew Arnold, Erich L. Kaltofen
Error-Correcting Sparse Interpolation in the Chebyshev Basis. 21-28 - Andrew Arnold, Daniel S. Roche
Output-Sensitive Algorithms for Sumset and Sparse Polynomial Multiplication. 29-36 - Ivan Bannwarth, Mohab Safey El Din:
Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets. 37-44 - Moulay A. Barkatou, Thomas Cluzeau, Achref Jalouli:
Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients. 45-52 - Moulay A. Barkatou, Suzy S. Maddah:
Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients. 53-60 - Jérémy Berthomieu
Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences. 61-68 - Alin Bostan, Xavier Caruso, Éric Schost:
A Fast Algorithm for Computing the P-curvature. 69-76 - Alin Bostan, Louis Dumont, Bruno Salvy
Algebraic Diagonals and Walks. 77-84 - Christopher W. Brown:
Open Non-uniform Cylindrical Algebraic Decompositions. 85-92 - Van Chiên Bui, Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh:
Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras. 93-100 - Xavier Caruso, David Roe
p-Adic Stability In Linear Algebra. 101-108 - Hsing-Hau Chen, Ming-Deh A. Huang:
On þ-adic Expansions of Algebraic Integers. 109-116 - Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li:
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. 117-124 - Didier Clamond, Denys Dutykh
Computer Algebra Applied to a Solitary Waves Study. 125-132 - Jesús A. De Loera, Susan Margulies, Michael Pernpeintner
Graph-Coloring Ideals: Nullstellensatz Certificates, Gröbner Bases for Chordal Graphs, and Hardness of Gröbner Bases. 133-140 - Volker Diekert, Alexei G. Myasnikov
Amenability of Schreier Graphs and Strongly Generic Algorithms for the Conjugacy Problem. 141-148 - Jean-Guillaume Dumas
Computing the Rank Profile Matrix. 149-156 - Ioannis Z. Emiris
Minkowski Decomposition and Geometric Predicates in Sparse Implicitization. 157-164 - Matthew England
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. 165-172 - Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato:
Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems. 173-180 - Christoph Fürst, Günter Landsmann:
Computation of Dimension in Filtered Free Modules by Gröbner Reduction. 181-188 - José Gómez-Torrecillas
Separable Automorphisms on Matrix Algebras over Finite Field Extensions: Applications to Ideal Codes. 189-195 - Bruno Grenet
Randomized Root Finding over Finite FFT-fields using Tangent Graeffe Transforms. 197-204 - Feng Guo, Mohab Safey El Din, Chu Wang, Lihong Zhi:
Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. 205-212 - Jonathan D. Hauenstein, Bernard Mourrain, Ágnes Szántó:
Certifying Isolated Singular Points and their Multiplicity Structure. 213-220 - Didier Henrion
Real Root Finding for Rank Defects in Linear Hankel Matrices. 221-228 - Alexander Hulpke
Constructing All Composition Series of a Finite Group. 229-234 - Erdal Imamoglu
Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions. 235-242 - Deepak Kapur, Yiming Yang:
An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm. 243-250 - Manuel Kauers, Christoph Koutschan
Integral D-Finite Functions. 251-258 - Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran:
On the Sign of a Trigonometric Expression. 259-266 - Christoph Lüders:
Implementation of the DKSS Algorithm for Multiplication of Large Numbers. 267-274 - Sébastien Maulat, Bruno Salvy
Formulas for Continued Fractions: An Automated Guess and Prove Approach. 275-282 - Ferdinando Mora:
De Nugis Groebnerialium 4: Zacharias, Spears, Möller. 283-290 - Katsusuke Nabeshima, Shinichi Tajima:
Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities. 291-298 - Adrien Poteaux, Marc Rybowicz:
Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields. 299-306 - Jose Israel Rodriguez, Xiaoxian Tang:
Data-Discriminants of Likelihood Equations. 307-314 - Markus Rosenkranz, Nitin Serwa:
Green's Functions for Stieltjes Boundary Problems. 315-321 - B. David Saunders:
Matrices with Two Nonzero Entries per Row. 323-330 - Vikram Sharma, Prashant Batra
Near Optimal Subdivision Algorithms for Real Root Isolation. 331-338 - Arne Storjohann, Shiyun Yang:
A Relaxed Algorithm for Online Matrix Inversion. 339-346 - Thomas Sturm
Subtropical Real Root Finding. 347-354 - Tristan Vaccon
Matrix-F5 Algorithms and Tropical Gröbner Bases Computation. 355-362
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: