Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi |
A Characterization of Perfect Strategies for Mirror Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 545-554, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Burr, Michael Byrd |
Certified simultaneous isotopic approximation of pairs of curves via subdivision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 116-125, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Irina A. Kogan |
Invariants: Computation and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 31-40, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Dahan |
Chinese Remainder Theorem for bivariate lexicographic Gröbner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 208-217, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din |
Fast Algorithms for Discrete Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 80-89, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Koprowski, Victor Magron, Tristan Vaccon |
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 425-433, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Vaccon, Thibaut Verron |
Universal Analytic Gröbner Bases and Tropical Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 517-525, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Schneider |
Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 498-507, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, Thi Xuan Vu |
Faster real root decision algorithm for symmetric polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 452-460, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tian Chen, Michael B. Monagan |
A New Black Box Factorization Algorithm - the Non-monic Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 173-181, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Srivastava |
The Complexity of Diagonalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 1-6, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Invernizzi, Daniele Taufer |
Multiplication polynomials for elliptic curves over finite local rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 335-344, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Burr, Kisun Lee, Anton Leykin |
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 126-134, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Lixin Du, Manuel Kauers |
Hermite Reduction for D-finite Functions via Integral Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 155-163, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács |
Algebra-Based Loop Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 41-42, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell 0001 |
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 407-416, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din |
A Direttissimo Algorithm for Equidimensional Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 260-269, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bo Huang |
Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 307-314, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Michael Watt |
Efficient Generic Quotients Using Exact Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 535-544, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Cluzeau, Camille Pinto, Alban Quadrat |
Further results on the computation of the annihilators of integro-differential operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 182-190, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka |
SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 470-479, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gorav Jindal, Louis Gaillard |
On the Order of Power Series and the Sum of Square Roots Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 354-362, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sander Gribling, Sven C. Polak, Lucas Slot |
A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 280-288, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Combot |
Hyperelliptic Integrals to Elliptic Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 191-198, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jose Divasón, Fatemeh Mohammadi, Eduardo Sáenz-de-Cabezón, Henry P. Wynn |
Sensitivity analysis of discrete preference functions using Koszul simplicial complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 227-235, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Florent Bréhard, Adrien Poteaux, Léo Soudant |
Validated Root Enclosures for Interval Polynomials with Multiplicities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 90-99, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tor Hadas, Oded Schwartz |
Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 289-297, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Saúl A. Blanco, Daniel E. Skora |
An Algorithm to Enumerate Grid Signed Permutation Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 61-69, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Duff, Viktor Korotynskiy, Tomás Pajdla, Margaret H. Regan |
Using monodromy to recover symmetries of polynomial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 251-259, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless |
Blendstrings: an environment for computing with smooth functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 199-207, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frank Vallentin, Philippe Moustrou |
Least distortion Euclidean embeddings of flat tori. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 13-23, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Ruyong Feng, Zewang Guo, Wei Lu |
Stability Problems on D-finite Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 164-172, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu |
Lazard-style CAD and Equational Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 218-226, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bürgisser |
Real zeros of mixed random fewnomial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 107-115, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yulia Alexandr, Joe Kileel 0001, Bernd Sturmfels |
Moment Varieties for Mixtures of Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 53-60, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din |
Refined F5 Algorithms for Ideals of Minors of Square Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 270-279, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Éric Schost, Catherine St-Pierre |
p-adic algorithm for bivariate Gröbner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 508-516, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Koprowski |
Factorization and root-finding for polynomials over division quaternion algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 417-424, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Ravi, Ilya Volkovich |
New Characterization of the Factor Refinement Algorithm with Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 490-497, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Villard |
Elimination ideal and bivariate resultant over finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 526-534, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet |
Algorithm for Connectivity Queries on Real Algebraic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 345-353, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hao Du 0001, Yiman Gao, Jing Guo, Ziming Li 0002 |
Computing Logarithmic Parts by Evaluation Homomorphisms✱. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 242-250, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo (eds.) |
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Imbach, Guillaume Moroz |
Fast evaluation and root finding for polynomials with floating-point coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 325-334, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ruiwen Dong 0001 |
Termination of linear loops under commutative updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 236-241, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Qiao-Long Huang, Xiao-Shan Gao |
New Sparse Multivariate Polynomial Factorization Algorithms over Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 315-324, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rekha R. Thomas |
Two Views of ℙ3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 7-12, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sayak Chakrabarti, Nitin Saxena 0001 |
An effective description of the roots of bivariates mod pk and the related Igusa's local zeta function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 135-144, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yossef Musleh, Éric Schost |
Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 461-469, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Christoph Koutschan, Thibaut Verron |
Transcendence Certificates for D-finite Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 372-380, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Clément Pernet, Hippolyte Signargout, Gilles Villard |
Exact computations with quasiseparable matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 480-489, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Philipp Nuspl, Veronika Pillwein |
Order bounds for C2-finite sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 389-397, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marianne Akian, Antoine Béreau, Stéphane Gaubert |
The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 43-52, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Vincent Neiger, Sergey Yurkevich |
Beating binary powering for polynomial matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 70-79, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Bunnett, Michael Joswig, Julian Pfeifle |
Generalised cone complexes and tropical moduli in polymake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 100-106, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam Kurpisz, Elias Samuel Wirth |
Sum of Squares Bounds for the Empty Integral Hull Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 443-451, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | George Kenison, Laura Kovács, Anton Varonka |
From Polynomial Invariants to Linear Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 398-406, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Hofstadler, Thibaut Verron |
Signature Gröbner bases in free algebras over rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 298-306, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paola Boito |
Matrix Structures and Matrix Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 24-30, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Koutschan, Ali Kemal Uncu, Elaine Wong |
A Unified Approach to Unimodality of Gaussian Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 434-442, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rizeng Chen, Bican Xia |
Deciding first-order formulas involving univariate mixed trigonometric-polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 145-154, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Jakob Moosbauer |
Flip Graphs for Matrix Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 381-388, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christina Katsamaki, Fabrice Rouillier |
On Isolating Roots in a Multiple Field Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023, pp. 363-371, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
The GKR Protocol Revisited: Nearly Optimal Prover-Complexity for Polynomial-Time Wiring Algorithms and for Primality Testing in n1/2+o(1) Rounds. ![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. 177-186, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Verdière, Sébastien Orange |
Applications of Computer Algebra to Parameter Analysis of Dynamical Systems. ![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. 33-38, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Christoph Koutschan |
Guessing with Little Data. ![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. 83-90, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | André Galligo |
Modeling Complex Root Motion of Real Random Polynomials under Differentiation. ![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. 245-253, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thi Xuan Vu |
Computing Critical Points for Algebraic Systems Defined by Hyperoctahedral Invariant Polynomials. ![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. 167-175, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Falkensteiner |
Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs. ![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. 63-71, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko |
On Linear Dependence of Rows and Columns in Matrices over Non-commutative Domains. ![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. 39-43, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yi Zhou, Mark van Hoeij |
Desingularization and p-Curvature of Recurrence Operators. ![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. 111-118, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
On Polynomial Ideals and Overconvergence in Tate Algebras. ![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. 489-497, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen |
Stability Problems in Symbolic Integration. ![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. 517-524, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
Sparse Polynomial Hermite Interpolation. ![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. 469-478, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Haomin Li, Arne Storjohann |
Computing a Basis for an Integer Lattice: A Special Case. ![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. 303-310, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | François Morain |
Implementing the Thull-Yap Algorithm for Computing Euclidean Remainder Sequences. ![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. 197-205, 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 |
Sparse Polynomial Interpolation and Division in Soft-linear Time. ![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. 459-468, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Nuspl, Veronika Pillwein |
Simple C2-finite Sequences: a Computable Generalization of C-finite Sequences. ![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. 45-53, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Evangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos |
Bounding the Number of Roots of Multi-Homogeneous Systems. ![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. 255-262, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba |
Symbolic-Numeric Factorization of Differential Operators. ![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. 73-82, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Figelius, Markus Lohrey |
Exponent Equations in HNN-extensions. ![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. 293-301, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Apostolos Chalkis, Christina Katsamaki, Josué Tonelli-Cueto |
On the Error of Random Sampling: Uniformly Distributed Random Points on Parametric 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. 273-282, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dong Lu, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng |
A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix Factorizations. ![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. 343-350, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din |
Algorithms for Discrete Differential Equations of Order 1. ![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. 101-110, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | François Ollivier |
Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using Maple. ![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. 499-507, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell 0001 |
The Membership Problem for Hypergeometric Sequences with Rational 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. 381-389, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Chang, Jesús A. De Loera, William J. Wesley |
Rado Numbers and SAT Computations. ![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. 333-342, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Avi Wigderson |
Non-commutative Optimization - Where Algebra, Analysis and Computational Complexity Meet. ![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. 13-19, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dmitrii Pavlov, Gleb Pogudin |
On Realizing Differential-Algebraic Equations by Rational Dynamical Systems. ![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. 119-128, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alperen Ali Ergür, Josué Tonelli-Cueto, Elias P. Tsigaridas |
Beyond Worst-Case Analysis for Root Isolation Algorithms. ![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. 139-148, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Boege, Sonja Petrovic, Bernd Sturmfels |
Marginal Independence Models. ![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. 263-271, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger |
Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic 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. 439-448, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matías R. Bender |
Solving Sparse Polynomial Systems using Gröbner Bases and Resultants. ![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. 21-30, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carlos E. Arreche, Yi Zhang 0088 |
Mahler Discrete Residues and Summability for Rational Functions. ![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. 525-533, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Levandovskyy, Christian Eder, Andreas Steenpass, Simon Schmidt, Julien Schanz, Moritz Weber |
Existence of Quantum Symmetries for Graphs on Up to Seven Vertices: A Computer based Approach. ![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. 311-318, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven |
On the Complexity of Symbolic Computation. ![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. 3-12, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hui Huang, Manuel Kauers, Gargi Mukherjee |
Order-Degree-Height Surfaces for Linear Operators. ![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. 91-99, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Aydin Buluç |
Sparse Matrices Powering Three Pillars of Science: Simulation, Data, and Learning. ![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. 31, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Klara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell 0001 |
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices. ![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. 129-138, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Carles Checa, Ioannis Z. Emiris |
A Greedy Approach to the Canny-Emiris Formula. ![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. 283-291, 2022, ACM, 978-1-4503-8688-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|