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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Weifeng Shang, Chenqi Mou, Deepak Kapur |
Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche |
Random Primes without Primality Testing. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Ishihara |
Modular Techniques for Intermediate Primary Decomposition. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Burger |
Enumerating Denumerable Sets in Polynomial Time via the Schröder-Bernstein Theorem. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless, George Labahn, Dan Piponi, Leili Rafiee Sevyeri |
Bohemian Matrix Geometry. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michela Ceria, Ferdinando Mora |
A Degroebnerization Approach to Algebraic Statistics. |
ISSAC |
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 |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Giunti, Guillaume Houry, Michael Kerber |
Average Complexity of Matrix Reduction for Clique Filtrations. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Kera |
Border Basis Computation with Gradient-Weighted Normalization. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Koprowski |
Solving Sums of Squares in Global Fields. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Poteaux, Martin Weimann |
Local Polynomial Factorisation: Improving the Montes Algorithm. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cheng-Chao Huang |
Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mioara Joldes |
Validated Numerics: Algorithms and Practical Applications in Aerospace. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dingkang Wang, Jingjing Wei, Fanghui Xiao, Xiaopeng Zheng |
Rational Univariate Representation of Zero-Dimensional Ideals with Parameters. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nuwan Herath Mudiyanselage, Guillaume Moroz, Marc Pouget |
Fast High-Resolution Drawing of Algebraic Curves. |
ISSAC |
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. |
ISSAC |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless, Leili Rafiee Sevyeri, B. David Saunders |
Equivalences for Linearizations of Matrix Polynomials. |
ISSAC |
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. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ryoya Fukasaku |
Criteria for Hopf Bifurcations with Fixed Multiplicities. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
Amortized Bivariate Multi-point Evaluation. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Balaji, Sylvain Perifel, Mahsa Shirmohammadi, James Worrell 0001 |
Cyclotomic Identity Testing and Applications. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Jiménez-Pastor, Philipp Nuspl, Veronika Pillwein |
On C2-finite Sequences. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Vanhove |
Differential Equations for Feynman Integrals. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Combot |
Elementary Integration of Superelliptic Integrals. |
ISSAC |
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. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail R. Starchak |
Positive Existential Definability with Unit, Addition and Coprimeness. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Janko Böhm, Anne Frühbis-Krüger |
Massively Parallel Computations in Algebraic Geometry. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Ruyong Feng, Pingchuan Ma 0008, Michael F. Singer |
Separability Problems in Creative Telescoping. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Baldi, Bernard Mourrain |
Computing Real Radicals by Moment Optimization. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elie Eid |
Fast Computation of Hyperelliptic Curve Isogenies in Odd Characteristic. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David Braun, Nicolas Magaud, Pascal Schreck |
Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Nalbach, Erika Ábrahám, Gereon Kremer |
Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Huu Phuoc Le, Mohab Safey El Din |
Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jianwei Li |
On the Smallest Ratio Problem of Lattice Bases. |
ISSAC |
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. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron |
The Constant Trace Property in Noncommutative Optimization. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xiao-Shan Gao |
New Developments of Mathematics Mechanization. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Lixin Du, Manuel Kauers |
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maria Francis, Thibaut Verron |
On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Levin |
Generalized Gröbner Bases and New Properties of Multivariate Difference Dimension Polynomials. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Taihei Oki |
Computing Valuations of the Dieudonné Determinants. |
ISSAC |
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. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Malbos, Isaac Ren |
Completion in Operads via Essential Syzygies. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
Computing Higher Polynomial Discriminants. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | J. Maurice Rojas, Yuyu Zhu |
A Complexity Chasm for Solving Univariate Sparse Polynomial Equations Over p-adic Fields. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Ablinger, Carsten Schneider |
Solving Linear Difference Equations with Coefficients in Rings with Idempotent Representations. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Pagès |
Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marc Moreno Maza |
Design and Implementation of Multi-Threaded Algorithms in Polynomial Algebra. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rina Dong, Dong Lu, Chenqi Mou, Dongming Wang 0001 |
Comprehensive Characteristic Decomposition of Parametric Polynomial Systems. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray |
On Exact Division and Divisibility Testing for Sparse Polynomials. |
ISSAC |
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 |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
On FGLM Algorithms with Tate Algebras. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Tajima, Katsusuke Nabeshima |
Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Johansson 0001 |
Calcium: Computing in Exact Real and Complex Fields. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan |
Computer Algebra in the Service of Enumerative Combinatorics. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Jiménez-Pastor |
Simple Differentially Definable Functions. |
ISSAC |
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. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Christian Eder, Mohab Safey El Din |
msolve: A Library for Solving Polynomial Systems. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lairez, Mohab Safey El Din |
Computing the Dimension of Real Algebraic Sets. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Gleb Pogudin |
A Zero Test for σ-algebraic Power Series. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrey T. Cherkasov, Dmitri Piontkovski |
Wilf Classes of Non-symmetric Operads. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Qiao-Long Huang, Éric Schost |
Sparse Multiplication of Multivariate Linear Differential Operators. |
ISSAC |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Seung Gyu Hyun, Vincent Neiger, Éric Schost |
Algorithms for Linearly Recurrent Sequences of Truncated Polynomials. |
ISSAC |
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. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eleonora Guerrini, Romain Lebreton, Ilaria Zappatore |
On the uniqueness of simultaneous rational function reconstruction. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lek-Heng Lim, Ke Ye |
Ubiquity of the exponent of matrix multiplication. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Buchacher, Manuel Kauers, Gleb Pogudin |
Separating variables in bivariate polynomial ideals. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vikram Sharma 0001 |
Generalizing the davenport-mahler-mignotte bound. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alicia Dickenstein |
Positive solutions of sparse polynomial systems. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Miasnikov, Andrey Nikolaev |
On parameterized complexity of the word search problem in the Baumslag-Gersten group. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis |
Syzygies of ideals of polynomial rings over principal ideal domains. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Erick Rodríguez Bazan, Evelyne Hubert |
Ideal Interpolation, H-bases and symmetry. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael DiPasquale, Zachary Flores, Chris Peterson 0001 |
On the apolar algebra of a product of linear forms. |
ISSAC |
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. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan |
Computing the N-th term of a q-holonomic sequence. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Teresa Cortadellas, Carlos D'Andrea, M. Eulalia Montoro |
Bounds for degrees of minimal μ: bases of parametric surfaces. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Qiao-Long Huang, Éric Schost |
Sparse multiplication for skew polynomials. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray |
Essentially optimal sparse polynomial multiplication. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Duff, Michael Ruddy |
Numerical equality tests for rational maps and signatures of curves. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Josué Tonelli-Cueto, Elias P. Tsigaridas |
Condition numbers for the cube: i: Univariate polynomials and hypersurfaces. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthew England 0001 |
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Teramoto, Katsusuke Nabeshima |
Parametric standard system for mixed module and its application to singularity theory. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anton Betten |
The orbiter ecosystem for combinatorial data. |
ISSAC |
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. |
ISSAC |
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. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
Signature-based algorithms for Gröbner bases over tate algebras. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Melquiond, Raphaël Rieu-Helft |
WhyMP, a formally verified arbitrary-precision integer library. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|