Facet browsing currently unavailable
Page 5 of 3180 results
Sort by: relevance publication year
Contents and Index to Volume 31 JOURNAL ARTICLE published June 2001 in Journal of Symbolic Computation |
Editorial Board JOURNAL ARTICLE published May 2015 in Journal of Symbolic Computation |
The invariant rings of the Sylow groups of GU(3,q2), GU(4,q2), Sp(4,q) and O+(4,q) in the natural characteristic JOURNAL ARTICLE published March 2017 in Journal of Symbolic Computation |
On the transformation of logic programs with instantiation based computation rules JOURNAL ARTICLE published February 1989 in Journal of Symbolic Computation |
Automated simplification of large symbolic expressions JOURNAL ARTICLE published January 2014 in Journal of Symbolic Computation |
Gröbner bases and the number of Latin squares related to autotopisms of order ≤7 JOURNAL ARTICLE published November 2007 in Journal of Symbolic Computation |
Truth table invariant cylindrical algebraic decomposition JOURNAL ARTICLE published September 2016 in Journal of Symbolic Computation |
Solving Systems of Strict Polynomial Inequalities JOURNAL ARTICLE published March 2000 in Journal of Symbolic Computation |
On the complexity of computing with zero-dimensional triangular sets JOURNAL ARTICLE published March 2013 in Journal of Symbolic Computation |
Fast computation of special resultants JOURNAL ARTICLE published January 2006 in Journal of Symbolic Computation |
Computing the bound of an Ore polynomial. Applications to factorization JOURNAL ARTICLE published May 2019 in Journal of Symbolic Computation |
Early termination in sparse interpolation algorithms JOURNAL ARTICLE published September 2003 in Journal of Symbolic Computation |
Bruno Buchberger’s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal JOURNAL ARTICLE published March 2006 in Journal of Symbolic Computation |
On the complexity of the generalized MinRank problem JOURNAL ARTICLE published August 2013 in Journal of Symbolic Computation |
Symbolic–numeric sparse interpolation of multivariate polynomials JOURNAL ARTICLE published August 2009 in Journal of Symbolic Computation |
Fast Hermite interpolation and evaluation over finite fields of characteristic two JOURNAL ARTICLE published May 2020 in Journal of Symbolic Computation |
Matrix formulæ for resultants and discriminants of bivariate tensor-product polynomials JOURNAL ARTICLE published May 2020 in Journal of Symbolic Computation Research funded by ANR (ANR-17-CE40-0009) | PGMO (ALMA) |
Eigenvectors of tensors and algorithms for Waring decomposition JOURNAL ARTICLE published July 2013 in Journal of Symbolic Computation |
Representations of JOURNAL ARTICLE published November 2012 in Journal of Symbolic Computation |
Improved Techniques for Factoring Univariate Polynomials JOURNAL ARTICLE published March 1996 in Journal of Symbolic Computation |