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

On the transformation of logic programs with instantiation based computation rules

JOURNAL ARTICLE published February 1989 in Journal of Symbolic Computation

Authors: Danny de Schreye | Maurice Bruynooghe

https://doi.org/10.1016/s0747-7171(89)80046-x Actions

Representations of q-orthogonal polynomials

JOURNAL ARTICLE published November 2012 in Journal of Symbolic Computation

Authors: M. Foupouagnigni | W. Koepf | D.D. Tcheutia | P. Njionou Sadjang

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

Improved Techniques for Factoring Univariate Polynomials

JOURNAL ARTICLE published March 1996 in Journal of Symbolic Computation

Authors: GEORGE E. COLLINS | MARK J. ENCARNACIÓN

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

Foreword

JOURNAL ARTICLE published March 2011 in Journal of Symbolic Computation

Authors: Jochen Pfalzgraf | Hartmut Ehrig | Ulrike Golas | Thomas Soboll

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

Editorial Board

JOURNAL ARTICLE published September 2020 in Journal of Symbolic Computation

https://doi.org/10.1016/s0747-7171(20)30013-4 Actions

Trying to Do Group Theory with Undergraduates and Computers

JOURNAL ARTICLE published May 1997 in Journal of Symbolic Computation

Authors: GARY J. SHERMAN

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

Extraction of redundancy-free programs from constructive natural deduction proofs

JOURNAL ARTICLE published July 1991 in Journal of Symbolic Computation

Authors: Yukihide Takayama

https://doi.org/10.1016/s0747-7171(08)80139-3 Actions

A nearly optimal algorithm to decompose binary forms

JOURNAL ARTICLE published July 2021 in Journal of Symbolic Computation

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

Authors: Matías R. Bender | Jean-Charles Faugère | Ludovic Perret | Elias Tsigaridas

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

Algorithmical determination of the topology of a real algebraic surface

JOURNAL ARTICLE published December 2004 in Journal of Symbolic Computation

Authors: E. Fortuna | P. Gianni | D. Luminati

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

Completeness of Combinations of Conditional Constructor Systems

JOURNAL ARTICLE published January 1994 in Journal of Symbolic Computation

Authors: Aart Middeldorp

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

Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants

JOURNAL ARTICLE published July 2001 in Journal of Symbolic Computation

Authors: Henk Barendregt | Arjeh M. Cohen

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

A nilpotent quotient algorithm for graded Lie rings

JOURNAL ARTICLE published May 1990 in Journal of Symbolic Computation

Authors: George Havas | M.F. Newman | M.R. Vaughan-Lee

https://doi.org/10.1016/s0747-7171(08)80080-6 Actions

Generalized Subresultants for Computing the Smith Normal Form of Polynomial Matrices

JOURNAL ARTICLE published September 1995 in Journal of Symbolic Computation

Authors: Gilles Villard

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

Special polycyclic generating sequences for finite soluble groups

JOURNAL ARTICLE published November 2004 in Journal of Symbolic Computation

Authors: John J. Cannon | Bettina Eick | Charles R. Leedham-Green

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

Computing multihomogeneous resultants using straight-line programs

JOURNAL ARTICLE published January 2007 in Journal of Symbolic Computation

Authors: Gabriela Jeronimo | Juan Sabia

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

A Parallel Implementation of Buchberger's Algorithm overZpforp≤ 31991

JOURNAL ARTICLE published August 1998 in Journal of Symbolic Computation

Authors: A.A. Reeves

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

On Holt's Algorithm

JOURNAL ARTICLE published February 1993 in Journal of Symbolic Computation

Authors: Greg Butler | John J. Cannon

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

Dense resultant of composed polynomials

JOURNAL ARTICLE published December 2003 in Journal of Symbolic Computation

Authors: Manfred Minimair

https://doi.org/10.1016/s0747-7171(03)00039-7 Actions

Sparse Resultant of Composed Polynomials I Mixed–Unmixed Case

JOURNAL ARTICLE published April 2002 in Journal of Symbolic Computation

Authors: Hoon Hong | Manfred Minimair

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

Extending the μLog Framework with Local and Conditional Blackboard Operations

JOURNAL ARTICLE published April 1996 in Journal of Symbolic Computation

Authors: KOEN DE BOSSCHERE | JEAN-MARIE JACQUET

https://doi.org/10.1006/jsco.1996.0036 Actions
Feedback: support@crossref.org