Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael B. Monagan, Garrett Paluck |
Linear Hensel Lifting for Zp[x, y] for n Factors with Cubic Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 159-166, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Weifeng Shang, Chenqi Mou, Deepak Kapur |
Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 429-437, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche |
Random Primes without Primality Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 207-215, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Ferguson, Huu Phuoc Le |
Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 399-407, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Ishihara |
Modular Techniques for Intermediate Primary Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 479-487, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Péter Kutas, Mickaël Montessinos, Gergely Zábrádi, Tímea Csahók |
Finding Nontrivial Zeros of Quadratic Forms over Rational Function Fields of Characteristic 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 235-244, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Burger |
Enumerating Denumerable Sets in Polynomial Time via the Schröder-Bernstein Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 391-398, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless, George Labahn, Dan Piponi, Leili Rafiee Sevyeri |
Bohemian Matrix Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 361-370, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michela Ceria, Ferdinando Mora |
A Degroebnerization Approach to Algebraic Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 419-428, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marc Moreno Maza, Lihong Zhi (eds.) |
ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM, 978-1-4503-8688-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Giunti, Guillaume Houry, Michael Kerber |
Average Complexity of Matrix Reduction for Clique Filtrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 187-196, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Kera |
Border Basis Computation with Gradient-Weighted Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 225-234, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Koprowski |
Solving Sums of Squares in Global Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 319-324, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Levin |
Reduction with Respect to the Effective Order and a New Type of Dimension Polynomials of Difference Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 55-62, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu |
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 325-332, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Iglesias, Patricia Pascual-Ortigosa, Eduardo Sáenz-de-Cabezón |
An Algebraic Version of the Sum-of-disjoint-products Method for Multi-state System Reliability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 509-516, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Poteaux, Martin Weimann |
Local Polynomial Factorisation: Improving the Montes Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 149-157, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cheng-Chao Huang |
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 371-379, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Vincent Neiger, Mohab Safey El Din |
Faster Change of Order Algorithm for Gröbner Bases under Shape and Stability Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 409-418, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mioara Joldes |
Validated Numerics: Algorithms and Practical Applications in Aerospace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 1-2, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dingkang Wang, Jingjing Wei, Fanghui Xiao, Xiaopeng Zheng |
Rational Univariate Representation of Zero-Dimensional Ideals with Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 217-224, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nuwan Herath Mudiyanselage, Guillaume Moroz, Marc Pouget |
Fast High-Resolution Drawing of Algebraic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 449-458, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | George Labahn, Vincent Neiger, Thi Xuan Vu, Wei Zhou 0029 |
Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022, pp. 351-360, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless, Leili Rafiee Sevyeri, B. David Saunders |
Equivalences for Linearizations of Matrix Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 107-114, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng |
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 281-288, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ryoya Fukasaku |
Criteria for Hopf Bifurcations with Fixed Multiplicities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 147-154, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
Amortized Bivariate Multi-point Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 179-185, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell 0001 |
Cyclotomic Identity Testing and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 35-42, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein |
On C2-finite Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 217-224, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Vanhove |
Differential Equations for Feynman Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 21-26, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Combot |
Elementary Integration of Superelliptic Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 99-106, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eleonora Guerrini, Romain Lebreton, Ilaria Zappatore |
Polynomial Linear System Solving with Random Errors: New Bounds and Early Termination Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 171-178, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail R. Starchak |
Positive Existential Definability with Unit, Addition and Coprimeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 353-360, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Janko Böhm, Anne Frühbis-Krüger |
Massively Parallel Computations in Algebraic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 11-14, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Ruyong Feng, Pingchuan Ma 0008, Michael F. Singer |
Separability Problems in Creative Telescoping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 83-90, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Baldi, Bernard Mourrain |
Computing Real Radicals by Moment Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 43-50, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elie Eid |
Fast Computation of Hyperelliptic Curve Isogenies in Odd Characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 131-138, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David Braun, Nicolas Magaud, Pascal Schreck |
Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 59-66, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mawunyo Kofi Darkey-Mensah, Przemyslaw Koprowski, Beata Rothkegel |
The Anisotropic Part of a Quadratic Form over a Global Function Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 115-122, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Sedoglavic, Alexey V. Smirnov |
The Tensor Rank of 5x5 Matrices Multiplication is Bounded by 98 andIts Border Rank by 89. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 345-351, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Nalbach, Erika Ábrahám, Gereon Kremer |
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 313-320, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Huu Phuoc Le, Mohab Safey El Din |
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 265-272, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jianwei Li |
On the Smallest Ratio Problem of Lattice Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 289-296, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kai Hormann, Lucas Kania, Chee Yap |
Novel Range Functions via Taylor Expansions and Recursive Lagrange Interpolation with Application to Real Root Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 193-200, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron |
The Constant Trace Property in Noncommutative Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 297-304, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xiao-Shan Gao |
New Developments of Mathematics Mechanization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 9, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Lixin Du, Manuel Kauers |
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 75-82, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maria Francis, Thibaut Verron |
On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 139-146, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Levin |
Generalized Gröbner Bases and New Properties of Multivariate Difference Dimension Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 273-280, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Taihei Oki |
Computing Valuations of the Dieudonné Determinants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 321-328, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Karpman, Clément Pernet, Hippolyte Signargout, Gilles Villard |
Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 249-256, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Malbos, Isaac Ren |
Completion in Operads via Essential Syzygies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 305-312, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
Computing Higher Polynomial Discriminants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 233-239, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | J. Maurice Rojas, Yuyu Zhu |
A Complexity Chasm for Solving Univariate Sparse Polynomial Equations Over p-adic Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 337-344, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Ablinger, Carsten Schneider |
Solving Linear Difference Equations with Coefficients in Rings with Idempotent Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 27-34, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Pagès |
Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 329-336, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marc Moreno Maza |
Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 15-20, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rina Dong, Dong Lu, Chenqi Mou, Dongming Wang 0001 |
Comprehensive Characteristic Decomposition of Parametric Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 123-130, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray |
On Exact Division and Divisibility Testing for Sparse Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 163-170, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Chyzak, George Labahn (eds.) |
ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM, 978-1-4503-8382-0 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
On FGLM Algorithms with Tate Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 67-74, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Tajima, Katsusuke Nabeshima |
Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 361-368, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Johansson 0001 |
Calcium: Computing in Exact Real and Complex Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 225-232, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan |
Computer Algebra in the Service of Enumerative Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 1-8, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Jiménez-Pastor |
Simple Differentially Definable Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 209-216, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang |
Hermite Interpolation With Error Correction: Fields of Zero or Large Characteristic and Large Error Rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 241-247, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Christian Eder, Mohab Safey El Din |
msolve: A Library for Solving Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 51-58, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lairez, Mohab Safey El Din |
Computing the Dimension of Real Algebraic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 257-264, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Gleb Pogudin |
A Zero Test for σ-algebraic Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 187-192, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrey T. Cherkasov, Dmitri Piontkovski |
Wilf Classes of Non-symmetric Operads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 91-98, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Qiao-Long Huang, Éric Schost |
Sparse Multiplication of Multivariate Linear Differential Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 155-162, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Seung Gyu Hyun, Vincent Neiger, Éric Schost |
Algorithms for Linearly Recurrent Sequences of Truncated Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Virtual Event, Russia, July 18-23, 2021, pp. 201-208, 2021, ACM, 978-1-4503-8382-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Simon Abelard, Alain Couvreur, Grégoire Lecerf |
Sub-quadratic time for riemann-roch spaces: case of smooth divisors over nodal plane projective curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 14-21, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eleonora Guerrini, Romain Lebreton, Ilaria Zappatore |
On the uniqueness of simultaneous rational function reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 226-233, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lek-Heng Lim, Ke Ye |
Ubiquity of the exponent of matrix multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 8-11, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Buchacher, Manuel Kauers, Gleb Pogudin |
Separating variables in bivariate polynomial ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 54-61, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vikram Sharma 0001 |
Generalizing the davenport-mahler-mignotte bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 410-417, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alicia Dickenstein |
Positive solutions of sparse polynomial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 5-7, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Miasnikov, Andrey Nikolaev |
On parameterized complexity of the word search problem in the Baumslag-Gersten group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 360-363, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis |
Syzygies of ideals of polynomial rings over principal ideal domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 78-82, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erick Rodríguez Bazan, Evelyne Hubert |
Ideal Interpolation, H-bases and symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 402-409, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael DiPasquale, Zachary Flores, Chris Peterson 0001 |
On the apolar algebra of a product of linear forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 130-137, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simone Naldi, Vincent Neiger |
A divide-and-conquer algorithm for computing gröbner bases of syzygies in finite dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 380-387, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan |
Computing the N-th term of a q-holonomic sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 46-53, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Teresa Cortadellas, Carlos D'Andrea, M. Eulalia Montoro |
Bounds for degrees of minimal μ: bases of parametric surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 107-113, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Axel Mathieu-Mahias, Michaël Quisquater |
Fast multipoint evaluation and interpolation of polynomials in the LCH-basis over FPr. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 344-351, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dingkang Wang, Hesong Wang, Fanghui Xiao |
An extended GCD algorithm for parametric univariate polynomials and application to parametric smith normal form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 442-449, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Qiao-Long Huang, Éric Schost |
Sparse multiplication for skew polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 194-201, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray |
Essentially optimal sparse polynomial multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 202-209, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Duff, Michael Ruddy |
Numerical equality tests for rational maps and signatures of curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 154-161, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Josué Tonelli-Cueto, Elias P. Tsigaridas |
Condition numbers for the cube: i: Univariate polynomials and hypersurfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 434-441, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001 |
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 13, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Teramoto, Katsusuke Nabeshima |
Parametric standard system for mixed module and its application to singularity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 426-433, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza, Yuzhen Xie |
On the parallelization of triangular decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 22-29, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid |
Computation of free non-commutative gröbner bases over Z with Singular: Letterplace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 312-319, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anton Betten |
The orbiter ecosystem for combinatorial data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 30-37, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Igor Potapov, Pavel Semukhin |
Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 122-129, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Birmpilis, George Labahn, Arne Storjohann |
A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 38-45, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
Signature-based algorithms for Gröbner bases over tate algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 70-77, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Melquiond, Raphaël Rieu-Helft |
WhyMP, a formally verified arbitrary-precision integer library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020, pp. 352-359, 2020, ACM, 978-1-4503-7100-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|