Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Arne Storjohann, Shiyun Yang |
A Relaxed Algorithm for Online Matrix Inversion. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Erdal Imamoglu, Mark van Hoeij |
Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus Rosenkranz, Nitin Serwa |
Green's Functions for Stieltjes Boundary Problems. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Didier Clamond, Denys Dutykh, André Galligo |
Computer Algebra Applied to a Solitary Waves Study. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan |
Computing the Rank Profile Matrix. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Shinichi Tajima |
Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Daniel S. Roche |
Output-Sensitive Algorithms for Sumset and Sparse Polynomial Multiplication. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Feng Guo 0007, Mohab Safey El Din, Chu Wang, Lihong Zhi |
Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Didier Henrion, Simone Naldi, Mohab Safey El Din |
Real Root Finding for Rank Defects in Linear Hankel Matrices. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Veronika Pillwein |
An Introduction to Finite Element Methods. |
ISSAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Ziegler |
Tame decompositions and collisions. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai |
Mathematics by machine. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Daniel S. Roche |
Multivariate sparse interpolation using randomized Kronecker substitutions. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz |
Sparse Gröbner bases: the unmixed case. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Sturmfels |
Maximum likelihood for matrices with rank constraints. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Georg Grasegger |
Radical solutions of first order autonomous algebraic ordinary differential equations. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Pierrick Gaudry, Louise Huot, Guénaël Renault |
Sub-cubic change of ordering for Gröbner basis: a probabilistic approach. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | François Le Gall |
Powers of tensors and fast matrix multiplication. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Z. Emiris, Raimundas Vidunas |
Root counts of semi-mixed systems, and an application to counting nash equilibria. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Erich L. Kaltofen |
Essentially optimal interactive certificates in linear algebra. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bläser, Gorav Jindal |
A new deterministic algorithm for sparse multivariate polynomial interpolation. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca De Feo, Javad Doliskani, Éric Schost |
Fast arithmetic for the algebraic closure of finite fields. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Arnold, Mark Giesbrecht, Daniel S. Roche |
Sparse interpolation over finite fields via low-order roots of unity. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | J. Rafael Sendra, David Sevilla, Carlos Villarino |
Covering of surfaces parametrized without projective base points. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Zhengfeng Yang |
Sparse multivariate function recovery with a high error rate in the evaluations. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Grenet |
Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Burger |
Solving higher order linear differential equations having elliptic function coefficients. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Manuel Kauers, Christoph Koutschan |
A generalized Apagodu-Zeilberger algorithm. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mitsushi Fujimoto |
How to develop a mobile computer algebra system. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Suzy S. Maddah, Moulay A. Barkatou, Hassan Abbas |
Formal solutions of a class of Pfaffian systems in two variables. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David R. Stoutemyer |
Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier |
Improved algorithm for computing separating linear forms for bivariate systems. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Hauenstein, Ian Haywood, Alan C. Liddell Jr. |
An a posteriori certification algorithm for Newton homotopies. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Jonathan Kausch |
Logspace computations in graph products. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Thierry Combot, Mohab Safey El Din |
Computing necessary integrability conditions for planar parametrized homogeneous potentials. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lingchuan Meng, Jeremy Johnson 0001 |
High performance implementation of the TFT. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Clément Pernet |
Sparse polynomial interpolation codes and their decoding beyond half the minimum distance. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Shinichi Tajima |
On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Minimair |
Randomized detection of extraneous factors. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Hoon Hong |
Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler 0001, Ágnes Szántó (eds.) |
International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014 |
ISSAC |
2014 |
DBLP BibTeX RDF |
|
1 | Arne Storjohann, Shiyun Yang |
Linear independence oracles and applications to rectangular and low rank linear systems. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhou 0029, George Labahn |
Unimodular completion of polynomial matrices. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | François Le Gall |
Algebraic complexity theory and matrix multiplication. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jingjun Han, Liyun Dai, Bican Xia |
Constructing fewer open cells by GCD computation in CAD projection. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless, David J. Jeffrey, Fei Wang |
The asymptotic analysis of some interpolated nonlinear recurrence relations. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sagraloff |
A near-optimal algorithm for computing real roots of sparse polynomials. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Suzy S. Maddah, Moulay A. Barkatou, Hassan Abbas |
On the reduction of singularly-perturbed linear differential systems. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adam W. Strzebonski |
Cylindrical algebraic decomposition using local projections. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Marc Moreno Maza |
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Johansson 0001 |
Evaluating parametric holonomic sequences using rectangular splitting. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven |
Faster relaxed multiplication. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Vaccon |
Matrix-F5 algorithms over finite-precision complete discrete valuation fields. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daouda Niang Diatta, Fabrice Rouillier, Marie-Françoise Roy |
On the computation of the topology of plane curves. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hirokazu Anai |
Effective quantifier elimination for industrial applications. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Carlos E. Arreche |
Computing the differential Galois group of a parameterized second-order linear differential equation. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Mourrain, Philippe Trébuchet |
Toric border basis. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Saruchi, Ivan Morel, Damien Stehlé, Gilles Villard |
LLL reducing with the most significant bits. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Ruyong Feng, Ziming Li 0002, Michael F. Singer |
Parallel telescoping and parameterized Picard-Vessiot theory. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy |
Factoring linear differential operators in n variables. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Giorgi, Romain Lebreton |
Online order basis algorithm and its impact on the block Wiedemann algorithm. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers |
Bounds for D-finite closure properties. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth Gross, Jose Israel Rodriguez |
Maximum likelihood geometry in the presence of data zeros. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kahle, Robert Krone, Anton Leykin |
Equivariant lattice generators and Markov bases. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Xavier Caruso, Éric Schost |
A fast algorithm for computing the characteristic polynomial of the p-curvature. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Goto |
Introduction to max-plus algebra. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Li 0012, Changpeng Shao, Lei Huang, Yue Liu |
Reduction among bracket polynomials. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hidefumi Ohsugi |
Gröbner bases of toric ideals and their application. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lihong Zhi |
Symbolic-numeric algorithms for computing validated results. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José Gómez-Torrecillas, Francisco Javier Lobillo, Gabriel Navarro 0001 |
On isomorphisms of modules over non-commutative PID. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oscar García Morchon, Domingo Gómez-Pérez, Jaime Gutierrez 0001, Ronald Rietman, Ludo Tolhuizen |
The MMO problem. |
ISSAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel E. Steffy |
Exact linear and integer programming: tutorial abstract. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bach 0001, Jonathan P. Sorenson |
Approximately counting semismooth integers. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Hulpke |
Calculation of the subgroups of a trivial-fitting group. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Senshan Pan, Yupu Hu, Baocang Wang |
The termination of the F5 algorithm revisited. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pablo A. Parrilo |
Convex algebraic geometry and semidefinite optimization. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Grégoire Lecerf |
Interfacing mathemagix with C++. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Eder, Bjarke Hammersholt Roune |
Signature rewriting in gröbner basis computation. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron |
On the complexity of computing gröbner bases for quasi-homogeneous systems. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer |
Desingularization explains order-degree curves for ore operators. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wenyuan Wu, Greg Reid |
Finding points on real solution components and applications to differential polynomial systems. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arkadev Chattopadhyay, Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki |
Factoring bivariate lacunary polynomials without heights. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan |
Simultaneous computation of the row and column rank profiles. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Lenstra |
Lattices with symmetry. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qingdong Guo, Mohab Safey El Din, Lihong Zhi |
Computing rational solutions of linear matrix inequalities. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jingguo Bi, Qi Cheng 0001, J. Maurice Rojas |
Sub-linear root detection, and new hardness results, for sparse polynomials over finite fields. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Berthé, Jean Creusefond, Loïck Lhote, Brigitte Vallée |
Multiple GCDs. probabilistic analysis of the plain algorithm. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander B. Levin |
Multivariate difference-differential dimension polynomials and new invariants of difference-differential field extensions. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère, Jules Svartz |
Gröbner bases of ideals invariant under a commutative group: the non-modular case. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Veronika Pillwein |
Termination conditions for positivity proving procedures. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001 |
Constructing a single open cell in a cylindrical algebraic decomposition. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alin Bostan, Frédéric Chyzak, Elie de Panafieu |
Complexity estimates for two uncoupling algorithms. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joris van der Hoeven, Romain Lebreton, Éric Schost |
Structured FFT and TFT: symmetric and lattice polynomials. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li 0056, Chun-Ming Yuan, Xiao-Shan Gao |
Sparse difference resultant. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohab Safey El Din |
Critical point methods and effective real algebraic geometry: new results and trends. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark van Hoeij |
The complexity of factoring univariatepolynomials over the rationals: tutorial abstract. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz |
On the integration of differential fractions. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alicia Dickenstein, Ioannis Z. Emiris, Vissarion Fisikopoulos |
Combinatorics of 4-dimensional resultant polytopes. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Wolfram |
Computer algebra: a 32-year update. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Romain Basson, Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling |
An explicit expression of the Lüroth invariant. |
ISSAC |
2013 |
DBLP DOI BibTeX RDF |
|