| 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.  |
ISSAC  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Burr, Michael Byrd |
Certified simultaneous isotopic approximation of pairs of curves via subdivision. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina A. Kogan |
Invariants: Computation and Applications. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Dahan |
Chinese Remainder Theorem for bivariate lexicographic Gröbner bases. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din |
Fast Algorithms for Discrete Differential Equations. |
ISSAC |
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. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan Vaccon, Thibaut Verron |
Universal Analytic Gröbner Bases and Tropical Geometry. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schneider |
Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱. |
ISSAC |
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. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Chen, Michael B. Monagan |
A New Black Box Factorization Algorithm - the Non-monic Case. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Srivastava |
The Complexity of Diagonalization. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Invernizzi, Daniele Taufer |
Multiplication polynomials for elliptic curves over finite local rings. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Burr, Kisun Lee, Anton Leykin |
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoshi Chen, Lixin Du, Manuel Kauers |
Hermite Reduction for D-finite Functions via Integral Bases. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács |
Algebra-Based Loop Analysis. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell 0001 |
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din |
A Direttissimo Algorithm for Equidimensional Decomposition. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Huang |
Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Michael Watt |
Efficient Generic Quotients Using Exact Arithmetic. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Cluzeau, Camille Pinto, Alban Quadrat |
Further results on the computation of the annihilators of integro-differential operators. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosaku Nagasaka |
SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gorav Jindal, Louis Gaillard |
On the Order of Power Series and the Sum of Square Roots Problem. |
ISSAC |
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. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Combot |
Hyperelliptic Integrals to Elliptic Integrals. |
ISSAC |
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. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Bréhard, Adrien Poteaux, Léo Soudant |
Validated Root Enclosures for Interval Polynomials with Multiplicities. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tor Hadas, Oded Schwartz |
Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saúl A. Blanco, Daniel E. Skora |
An Algorithm to Enumerate Grid Signed Permutation Classes. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Duff, Viktor Korotynskiy, Tomás Pajdla, Margaret H. Regan |
Using monodromy to recover symmetries of polynomial systems. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless |
Blendstrings: an environment for computing with smooth functions. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Vallentin, Philippe Moustrou |
Least distortion Euclidean embeddings of flat tori. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoshi Chen, Ruyong Feng, Zewang Guo, Wei Lu |
Stability Problems on D-finite Functions. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu |
Lazard-style CAD and Equational Constraints. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bürgisser |
Real zeros of mixed random fewnomial systems. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulia Alexandr, Joe Kileel 0001, Bernd Sturmfels |
Moment Varieties for Mixtures of Products. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din |
Refined F5 Algorithms for Ideals of Minors of Square Matrices. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Schost, Catherine St-Pierre |
p-adic algorithm for bivariate Gröbner bases. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Przemyslaw Koprowski |
Factorization and root-finding for polynomials over division quaternion algebras. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya Ravi, Ilya Volkovich |
New Characterization of the Factor Refinement Algorithm with Applications. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Villard |
Elimination ideal and bivariate resultant over finite fields. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet |
Algorithm for Connectivity Queries on Real Algebraic Curves. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Du 0001, Yiman Gao, Jing Guo, Ziming Li 0002 |
Computing Logarithmic Parts by Evaluation Homomorphisms✱. |
ISSAC |
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 |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Imbach, Guillaume Moroz |
Fast evaluation and root finding for polynomials with floating-point coefficients. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruiwen Dong 0001 |
Termination of linear loops under commutative updates. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiao-Long Huang, Xiao-Shan Gao |
New Sparse Multivariate Polynomial Factorization Algorithms over Integers. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rekha R. Thomas |
Two Views of ℙ3. |
ISSAC |
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. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossef Musleh, Éric Schost |
Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers, Christoph Koutschan, Thibaut Verron |
Transcendence Certificates for D-finite Functions. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Pernet, Hippolyte Signargout, Gilles Villard |
Exact computations with quasiseparable matrices. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers, Philipp Nuspl, Veronika Pillwein |
Order bounds for C2-finite sequences. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Akian, Antoine Béreau, Stéphane Gaubert |
The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alin Bostan, Vincent Neiger, Sergey Yurkevich |
Beating binary powering for polynomial matrices. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Bunnett, Michael Joswig, Julian Pfeifle |
Generalised cone complexes and tropical moduli in polymake. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Kurpisz, Elias Samuel Wirth |
Sum of Squares Bounds for the Empty Integral Hull Problem. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | George Kenison, Laura Kovács, Anton Varonka |
From Polynomial Invariants to Linear Loops. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Hofstadler, Thibaut Verron |
Signature Gröbner bases in free algebras over rings. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Boito |
Matrix Structures and Matrix Functions. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Koutschan, Ali Kemal Uncu, Elaine Wong |
A Unified Approach to Unimodality of Gaussian Polynomials. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rizeng Chen, Bican Xia |
Deciding first-order formulas involving univariate mixed trigonometric-polynomials. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers, Jakob Moosbauer |
Flip Graphs for Matrix Multiplication. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Katsamaki, Fabrice Rouillier |
On Isolating Roots in a Multiple Field Extension. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Verdière, Sébastien Orange |
Applications of Computer Algebra to Parameter Analysis of Dynamical Systems. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers, Christoph Koutschan |
Guessing with Little Data. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | André Galligo |
Modeling Complex Root Motion of Real Random Polynomials under Differentiation. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi Xuan Vu |
Computing Critical Points for Algebraic Systems Defined by Hyperoctahedral Invariant Polynomials. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Falkensteiner |
Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Zhou, Mark van Hoeij |
Desingularization and p-Curvature of Recurrence Operators. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
On Polynomial Ideals and Overconvergence in Tate Algebras. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoshi Chen |
Stability Problems in Symbolic Integration. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich L. Kaltofen |
Sparse Polynomial Hermite Interpolation. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Haomin Li, Arne Storjohann |
Computing a Basis for an Integer Lattice: A Special Case. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | François Morain |
Implementing the Thull-Yap Algorithm for Computing Euclidean Remainder Sequences. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Nuspl, Veronika Pillwein |
Simple C2-finite Sequences: a Computable Generalization of C-finite Sequences. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba |
Symbolic-Numeric Factorization of Differential Operators. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Figelius, Markus Lohrey |
Exponent Equations in HNN-extensions. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | François Ollivier |
Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using Maple. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell 0001 |
The Membership Problem for Hypergeometric Sequences with Rational Parameters. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Chang, Jesús A. De Loera, William J. Wesley |
Rado Numbers and SAT Computations. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Avi Wigderson |
Non-commutative Optimization - Where Algebra, Analysis and Computational Complexity Meet. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitrii Pavlov, Gleb Pogudin |
On Realizing Differential-Algebraic Equations by Rational Dynamical Systems. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alperen Ali Ergür, Josué Tonelli-Cueto, Elias P. Tsigaridas |
Beyond Worst-Case Analysis for Root Isolation Algorithms. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Boege, Sonja Petrovic, Bernd Sturmfels |
Marginal Independence Models. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matías R. Bender |
Solving Sparse Polynomial Systems using Gröbner Bases and Resultants. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos E. Arreche, Yi Zhang 0088 |
Mahler Discrete Residues and Summability for Rational Functions. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris van der Hoeven |
On the Complexity of Symbolic Computation. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Huang, Manuel Kauers, Gargi Mukherjee |
Order-Degree-Height Surfaces for Linear Operators. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aydin Buluç |
Sparse Matrices Powering Three Pillars of Science: Simulation, Data, and Learning. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Carles Checa, Ioannis Z. Emiris |
A Greedy Approach to the Canny-Emiris Formula. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license