Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 2 of 3180 results
Sort by: relevance publication year
Showing results for ISSN matching 0747-7171

A new general formula for the Cauchy index on an interval with subresultants

JOURNAL ARTICLE published March 2022 in Journal of Symbolic Computation

Research funded by Secretaría de Ciencia y Técnica, Universidad de Buenos Aires (20020160100039BA) | Consejo Nacional de Investigaciones Científicas y Técnicas (20020160100039BA)

Authors: Daniel Perrucci | Marie-Françoise Roy

https://doi.org/10.1016/j.jsc.2020.07.016 Actions

Editorial Board

JOURNAL ARTICLE published November 2003 in Journal of Symbolic Computation

https://doi.org/10.1016/s0747-7171(03)00132-9 Actions

Erratum

JOURNAL ARTICLE published August 2000 in Journal of Symbolic Computation

https://doi.org/10.1006/jsco.2000.0408 Actions

Contents of Volumes 37 and 38

JOURNAL ARTICLE published December 2004 in Journal of Symbolic Computation

https://doi.org/10.1016/s0747-7171(04)00108-7 Actions

Partial Differential Equations and Bivariate Orthogonal Polynomials

JOURNAL ARTICLE published December 1999 in Journal of Symbolic Computation

Authors: Alan L. Schwartz

https://doi.org/10.1006/jsco.1999.0342 Actions

Erratum

JOURNAL ARTICLE published February 1994 in Journal of Symbolic Computation

https://doi.org/10.1006/jsco.1994.1012 Actions

The hypermetric cone and polytope on eight vertices and some generalizations

JOURNAL ARTICLE published September 2018 in Journal of Symbolic Computation

Authors: Michel Deza | Mathieu Dutour Sikirić

https://doi.org/10.1016/j.jsc.2016.01.009 Actions

Editorial Board

JOURNAL ARTICLE published May 2003 in Journal of Symbolic Computation

https://doi.org/10.1016/s0747-7171(03)00049-x Actions

Algorithms for polycyclic-by-finite groups

JOURNAL ARTICLE published March 2017 in Journal of Symbolic Computation

Authors: S.K. Sinanan | D.F. Holt

https://doi.org/10.1016/j.jsc.2016.02.008 Actions

Editorial Board

JOURNAL ARTICLE published June 2005 in Journal of Symbolic Computation

https://doi.org/10.1016/s0747-7171(05)00056-8 Actions

On the descriptive power of term rewriting systems

JOURNAL ARTICLE published June 1986 in Journal of Symbolic Computation

Authors: Jürgen Avenhaus

https://doi.org/10.1016/s0747-7171(86)80017-7 Actions

Incremental variable splitting

JOURNAL ARTICLE published September 2012 in Journal of Symbolic Computation

Authors: Christian Mahesh Hansen | Roger Antonsen | Martin Giese | Arild Waaler

https://doi.org/10.1016/j.jsc.2011.12.032 Actions

A new method for undecidability proofs of first order theories

JOURNAL ARTICLE published November 1992 in Journal of Symbolic Computation

Authors: Ralf Treinen

https://doi.org/10.1016/0747-7171(92)90016-w Actions

Castelnuovo–Mumford regularity of projective monomial varieties of codimension two

JOURNAL ARTICLE published October 2006 in Journal of Symbolic Computation

Authors: Isabel Bermejo | Philippe Gimenez | Marcel Morales

https://doi.org/10.1016/j.jsc.2006.06.006 Actions

A bibliography of quantifier elimination for real closed fields

JOURNAL ARTICLE published February 1988 in Journal of Symbolic Computation

Authors: Dennis S. Arnon

https://doi.org/10.1016/s0747-7171(88)80016-6 Actions

Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x]

JOURNAL ARTICLE published April 2012 in Journal of Symbolic Computation

Authors: Somit Gupta | Soumojit Sarkar | Arne Storjohann | Johnny Valeriote

https://doi.org/10.1016/j.jsc.2011.09.006 Actions

Parallelization of Modular Algorithms

JOURNAL ARTICLE published June 2011 in Journal of Symbolic Computation

Authors: Nazeran Idrees | Gerhard Pfister | Stefan Steidel

https://doi.org/10.1016/j.jsc.2011.01.003 Actions

Multilinear polynomial systems: Root isolation and bit complexity

JOURNAL ARTICLE published July 2021 in Journal of Symbolic Computation

Research funded by ANR (ANR-17-CE40-0009) | PGMO (ALMA) | PHC (GRAPE)

Authors: Ioannis Z. Emiris | Angelos Mantzaflaris | Elias P. Tsigaridas

https://doi.org/10.1016/j.jsc.2020.06.005 Actions

Termination of term rewriting: interpretation and type elimination

JOURNAL ARTICLE published January 1994 in Journal of Symbolic Computation

Authors: H. Zantema

https://doi.org/10.1006/jsco.1994.1003 Actions

History and basic features of the critical-pair/completion procedure

JOURNAL ARTICLE published February 1987 in Journal of Symbolic Computation

Authors: Bruno Buchberger

https://doi.org/10.1016/s0747-7171(87)80020-2 Actions
Feedback: support@crossref.org