Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente JOURNAL OF SYMBOLIC COMPUTATION

Tipo Año Título Fuente
Artículo2022On certain polynomial systems involving Stirling numbers of second kindJOURNAL OF SYMBOLIC COMPUTATION
Artículo2018Grobner bases and cocyclic Hadamard matricesJOURNAL OF SYMBOLIC COMPUTATION
Artículo2013Markoff-Rosenberger triples in arithmetic progressionJOURNAL OF SYMBOLIC COMPUTATION
Artículo2011Some algebraic methods for solving multiobjective polynomial integer programsJOURNAL OF SYMBOLIC COMPUTATION
Artículo2010A verified COMMON LISP implementation of Buchberger's algorithm in ACL2JOURNAL OF SYMBOLIC COMPUTATION
Artículo2010Solving the conjugacy problem in Garside groups by cyclic slidingJOURNAL OF SYMBOLIC COMPUTATION
Artículo2009Milne's volume function and vector symmetric polynomialsJOURNAL OF SYMBOLIC COMPUTATION
Artículo2009Naturally graded quasi-filiform Leibniz algebrasJOURNAL OF SYMBOLIC COMPUTATION
Editorial2009Special Issue on Spanish National Conference on Computer Algebra ForewordJOURNAL OF SYMBOLIC COMPUTATION
Artículo2009The homological reduction method for computing cocyclic Hadamard matricesJOURNAL OF SYMBOLIC COMPUTATION
Artículo2007Grobner bases and the number of Latin squares related to autotopisms of order <= 7JOURNAL OF SYMBOLIC COMPUTATION
Artículo2006Computing the intersection of two ruled surfaces by using a new algebraic approachJOURNAL OF SYMBOLIC COMPUTATION
Artículo2006Grobner bases and logarithmic D-modulesJOURNAL OF SYMBOLIC COMPUTATION
Artículo2005Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomialsJOURNAL OF SYMBOLIC COMPUTATION
Artículo2005Simplification techniques for maps in simplicial topologyJOURNAL OF SYMBOLIC COMPUTATION
Artículo2004On the computation of Bernstein-Sato idealsJOURNAL OF SYMBOLIC COMPUTATION
Artículo2003Bases for projective modules in A(n) (k)JOURNAL OF SYMBOLIC COMPUTATION
Artículo2001Explicit comparison theorems for D-modulesJOURNAL OF SYMBOLIC COMPUTATION
Editorial2001Special issue on effective methods in rings of differential operators: ForewordJOURNAL OF SYMBOLIC COMPUTATION
Artículo2000Cellular binomial ideals. Primary decomposition of binomial idealsJOURNAL OF SYMBOLIC COMPUTATION
Artículo1991MULTIVALUED LOGIC AND GROBNER BASES WITH APPLICATIONS TO MODAL LOGICJOURNAL OF SYMBOLIC COMPUTATION