Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic |
On fast multiplication of a matrix by its transpose. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dong Lu, Dingkang Wang, Fanghui Xiao |
Further results on the factorization and equivalence for multivariate polynomial matrices. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Lihong Zhi (eds.) |
ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020 |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mareike Dressler, Janin Heuer, Helen Naumann, Timo de Wolff |
Global optimization via the dual SONC cone and linear programming. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Friedemann Groh |
Subdivisions for macaulay formulas of sparse systems. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Ishihara |
Modular techniques for effective localization and double ideal quotient. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron |
Integral bases for p-recursive sequences. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Chyzak, Philippe Dumas 0001 |
A Gröbner-basis theory for divide-and-conquer recurrences. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jie Wang 0037, Victor Magron |
A second order cone characterization for sums of nonnegative circuits. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger |
Compatible rewriting of noncommutative polynomials for proving operator identities. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bruno Grenet, Daniel S. Roche |
Fast in-place algorithms for polynomial operations: division, evaluation, interpolation. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bo Huang |
Algorithmic averaging for studying periodic orbits of planar differential systems. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Annie A. M. Cuyt |
What do sparse interpolation, padé approximation, gaussian quadrature and tensor decomposition have in common? |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jose Capco, Mohab Safey El Din, Josef Schicho |
Robots, computer algebra and eight connected components. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frank Sottile |
General witness sets for numerical algebraic geometry. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Imbach, Victor Y. Pan |
New progress in univariate polynomial root finding. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Levandovskyy, Hans Schönemann, Karim Abou Zeid |
Letterplace: a subsystem of singular for computations with free algebras via letterplace embedding. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christina Katsamaki, Fabrice Rouillier, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos |
On the geometry and the topology of parametric curves. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhonggang Zeng |
Geometric modeling and regularization of algebraic problems. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama |
On FGLM algorithms with tropical Gröbner bases. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Dahan, Tristan Vaccon |
On a non-archimedean broyden method. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff |
Computing the real isolated points of an algebraic hypersurface. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Neiger, Johan Rosenkilde, Grigory Solomatov |
Generic bivariate multi-point evaluation, interpolation and modular composition with precomputation. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hao Du 0001, Jing Guo, Ziming Li 0002, Elaine Wong |
An additive decomposition in logarithmic towers and beyond. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gorav Jindal, Anurag Pandey 0001, Himanshu Shukla, Charilaos Zisopoulos |
How many zeros of a random sparse polynomial are real? |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Mantzaflaris, Bernard Mourrain, Ágnes Szántó |
Punctual Hilbert scheme and certified approximate singularities. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David A. Cox 0001 |
Reflections on elimination theory. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Abhibhav Garg, Nitin Saxena 0001 |
Special-case algorithms for blackbox radical membership, nullstellensatz and transcendence degree. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chenqi Mou |
On the chordality of ordinary differential triangular decomposition in top-down style. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka |
Approximate GCD by bernstein basis, and its applications. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | George Kenison, Richard Lipton 0001, Joël Ouaknine, James Worrell 0001 |
On the skolem problem and prime powers. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Oliveira 0006 |
Conditional lower bounds on the spectrahedral representation of explicit hyperbolicity cones. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, François Boulier |
The fundamental theorem of tropical partial differential algebraic geometry. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Hone |
Efficient ECM factorization in parallel with the lyness map. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Elliott, Mark Giesbrecht, Éric Schost |
On the bit complexity of finding points in connected components of a smooth real hypersurface. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Levin |
Some properties of multivariate differential dimension polynomials and their invariants. |
ISSAC |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Dwivedi, Rajat Mittal 0001, Nitin Saxena 0001 |
Efficiently Factoring Polynomials Modulo p4. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbing Zeng, Lu Yang, Lydia Dehbi |
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tao Zheng, Bican Xia |
An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luca De Feo, Hugues Randriam, Édouard Rousseau |
Standard Lattices of Compatibly Embedded Finite Fields. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Victor Magron, Henning Seidler, Timo de Wolff |
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
Gröbner Bases Over Tate Algebras. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Virginia Vassilevska Williams |
Limits on All Known (and Some Unknown) Approaches to Matrix Multiplication. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxian Tang, Timo de Wolff, Rukai Zhao |
A New Method for Computing Elimination Ideals of Likelihood Equations. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Dongming Wang 0001, Manuel Kauers, Russell J. Bradford (eds.) |
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Juan Xu, Chee Yap |
Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din |
Computing the Volume of Compact Semi-Algebraic Sets. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Kousidis |
Krawtchouk Polynomials and Quadratic Semi-Regular Sequences. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Seung Gyu Hyun, Stephen Melczer, Éric Schost, Catherine St-Pierre |
Change of Basis for m-primary Ideals in One and Two Variables. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Joris van der Hoeven, Clément Pernet, Daniel S. Roche |
LU Factorization with Errors. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Hui Huang, George Labahn, Eugene V. Zima |
Efficient Integer-Linear Decomposition of Multivariate Polynomials. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Erick Rodríguez Bazan, Evelyne Hubert |
Symmetry Preserving Interpolation. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | William Y. C. Chen |
The Art of Telescoping. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zahra Mohammadi, Gregory J. Reid, Tracy Shih-lung Huang |
Introduction of the MapDE Algorithm for Determination of Mappings Relating Differential Equations. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre |
On Moment Problems with Holonomic Functions. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elisabeth Gaar, Angelika Wiegele, Daniel Krenn, Susan Margulies |
An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yossef Musleh, Éric Schost |
Computing the Characteristic Polynomial of a Finite Rank Two Drinfeld Module. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adam Kurpisz, Timo de Wolff |
New Dependencies of Hierarchies in Polynomial Optimization. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Combot |
Symbolic Integration of Hyperexponential 1-Forms. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jie Wang 0037, Haokun Li, Bican Xia |
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Paouris, Kaitlyn Phillipson, J. Maurice Rojas |
A Faster Solution to Smale's 17th Problem I: Real Binomial Systems. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jin-San Cheng, Junyi Wen |
Certified Numerical Real Root Isolation for Bivariate Polynomial Systems. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Cucker, Alperen Ali Ergür, Josué Tonelli-Cueto |
Plantinga-Vegter Algorithm takes Average Polynomial Time. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón |
Monomial Resolutions for Efficient Computation of Simplicial Homology. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stavros Birmpilis, George Labahn, Arne Storjohann |
Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix Multiplication. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Burr, Kisun Lee, Anton Leykin |
Effective Certification of Approximate Solutions to Systems of Equations Involving Analytic Functions. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Armin Jamshidpey, Éric Schost |
Quadratic-Time Algorithms for Normal Elements. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Lixin Du, Chaochao Zhu |
Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen |
A Reduction Approach to Creative Telescoping. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jianwei Li, Phong Q. Nguyen |
Computing a Lattice Basis Revisited. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pei Huang 0002, Minghao Liu 0001, Cunjing Ge, Feifei Ma, Jian Zhang 0001 |
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj |
Simple Forms and Rational Solutions of Pseudo-Linear Systems. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Aoki |
Algebraic Methods in the Design of Experiments. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Daniel Robertz |
Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bo Huang, Chee Yap |
An Algorithmic Approach to Limit Cycles of Nonlinear Differential Systems: The Averaging Method Revisited. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anna Maria Bigatti |
Linear Algebra for Zero-Dimensional Ideals. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Lin-Xiao Wang |
Big Prime Field FFT on Multi-core Processors. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Renzhang Liu, Yanbin Pan |
Computing Hermite Normal Form Faster via Solving System of Linear Equations. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Seung Gyu Hyun, Vincent Neiger, Éric Schost |
Implementations of Efficient Univariate Polynomial Matrix Algorithms and Application to Bivariate Resultants. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Qiao-Long Huang |
Sparse Polynomial Interpolation over Fields with Large or Zero Characteristic. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan |
Linear Hensel Lifting for Fp[x, y] and Z[x] with Cubic Cost. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Taihei Oki |
Improved Structural Methods for Nonlinear Differential-Algebraic Equations via Combinatorial Relaxation. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Eberl |
Verified Real Asymptotics in Isabelle/HOL. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Guidolin, Jose Divasón, Ana Romero 0001, Francesco Vaccarino |
Computing Multipersistence by Means of Spectral Systems. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Robbiano |
Linear Algebra, Old and New. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Bruno Grenet, Daniel S. Roche |
Generic Reductions for In-place Polynomial Multiplication. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matías R. Bender, Jean-Charles Faugère, Elias P. Tsigaridas |
Gröbner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems. |
ISSAC |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio García-Marco, Pascal Koiran, Timothée Pecatte |
Polynomial Equivalence Problems for Sum of Affine Powers. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Jiménez-Pastor, Veronika Pillwein |
Algorithmic Arithmetics with DD-Finite Functions. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caruso, David Roe, Tristan Vaccon |
ZpL: a p-adic Precision Package. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Changpeng Shao, Hongbo Li 0012 |
Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jérémy Berthomieu, Jean-Charles Faugère |
A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jingwei Chen, Damien Stehlé, Gilles Villard |
Computing an LLL-reduced Basis of the Orthogonal Latice. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Avinash Kulkarni, Yue Ren, Mahsa Sayyary Namin, Bernd Sturmfels |
Real Space Sextics and their Tritangents. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander B. Levin |
Bivariate Dimension Polynomials of Non-Reflexive Prime Difference-Differential Ideals.: The Case of One Translation. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yosuke Sato, Ryoya Fukasaku, Hiroshi Sekigawa |
On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Victor Magron, Mohab Safey El Din |
On Exact Polya and Putinar's Representations. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Recio, J. Rafael Sendra, Carlos Villarino |
The Importance of Being Zero. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Pogudin, Ágnes Szántó |
Irredundant Triangular Decomposition. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florent Bréhard |
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems. |
ISSAC |
2018 |
DBLP DOI BibTeX RDF |
|