Computing with Subfields

JOURNAL ARTICLE published September 1997 in Journal of Symbolic Computation

Authors: M DABERKOW

The classification of real singularities using Singular Part I: Splitting Lemma and simple singularities

JOURNAL ARTICLE published May 2015 in Journal of Symbolic Computation

Authors: Magdaleen S. Marais | Andreas Steenpaß

Basic narrowing revisited

JOURNAL ARTICLE published March 1989 in Journal of Symbolic Computation

Authors: Werner Nutt | Pierre Réty | Gert Smolka

Border basis relaxation for polynomial optimization

JOURNAL ARTICLE published May 2016 in Journal of Symbolic Computation

Authors: Marta Abril Bucero | Bernard Mourrain

Symbolic analysis of multiple steady states in a MAPK chemical reaction network

JOURNAL ARTICLE published July 2021 in Journal of Symbolic Computation

Authors: Daniel Lichtblau

Factoring Polynomials Over Finite Fields: A Survey

JOURNAL ARTICLE published January 2001 in Journal of Symbolic Computation

Authors: Joachim von zur Gathen | Daniel Panario

Normal forms for general polynomial matrices

JOURNAL ARTICLE published June 2006 in Journal of Symbolic Computation

Authors: Bernhard Beckermann | George Labahn | Gilles Villard

Symbolic and Numeric Methods for Exploiting Structure in Constructing Resultant Matrices

JOURNAL ARTICLE published April 2002 in Journal of Symbolic Computation

Authors: Ioannis Z Emiris | Victor Y Pan

Computer algebra in pure and applied mathematics: A foreword

JOURNAL ARTICLE published June 2008 in Journal of Symbolic Computation

Authors: Hyungju Park

Polynomial-time solvable #CSP problems via algebraic models and Pfaffian circuits

JOURNAL ARTICLE published May 2016 in Journal of Symbolic Computation

Research funded by Defense Advanced Research Projects Agency (N66001-10-1-4040)

Authors: S. Margulies | J. Morton

Special Issue on Application of Quantifier Elimination. Foreword of the Guest Editors

JOURNAL ARTICLE published August 1997 in Journal of Symbolic Computation

Authors: Hoon Hong | Richard Liska

Decomposition of Polynomials with Respect to the Cyclic Group of Orderm

JOURNAL ARTICLE published December 1999 in Journal of Symbolic Computation

Authors: A. Ronveaux | A. Zarzo | I. Area | E. Godoy

Gröbner Bases in Clifford and Grassmann algebras

JOURNAL ARTICLE published August 1995 in Journal of Symbolic Computation

Authors: David Hartley | Philip Tuckey

Application of ordered standard bases to catastrophe theory

JOURNAL ARTICLE published January 1992 in Journal of Symbolic Computation

Authors: R.G. Cowell

Use of computer algebra to locate critical loci in fluid mixtures

JOURNAL ARTICLE published November 1990 in Journal of Symbolic Computation

Authors: Glen C. Nielson | Mark O. Mclinden | Graham Morrison

A Use of Computers to Teach Group Theory and Introduce Students to Research

JOURNAL ARTICLE published May 1997 in Journal of Symbolic Computation

Authors: NIGEL BOSTON

Special Issue on Computational Algebra and Number Theory: Proceedings of the Second Magma Conference Foreword of the Guest Editor

JOURNAL ARTICLE published January 2001 in Journal of Symbolic Computation

Authors: Wieb Bosma

Computing in the Monster

JOURNAL ARTICLE published January 2001 in Journal of Symbolic Computation

Authors: Simon Norton

Depth-first proof search without backtracking for free-variable clausal tableaux

JOURNAL ARTICLE published July 2003 in Journal of Symbolic Computation

Authors: Bernhard Beckert

Foreword by the Guest Editors

JOURNAL ARTICLE published December 2001 in Journal of Symbolic Computation

Authors: F.J. Castro-Jiménez | J. Rafael Sendra