Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 3180 results
Sort by: relevance publication year

High-precision numerical integration: Progress and challenges

JOURNAL ARTICLE published July 2011 in Journal of Symbolic Computation

Authors: D.H. Bailey | J.M. Borwein

Staged tree models with toric structure

JOURNAL ARTICLE published November 2022 in Journal of Symbolic Computation

Authors: Christiane Görgen | Aida Maraj | Lisa Nicklasson

AC-unification race: The system solving approach, implementation and benchmarks

JOURNAL ARTICLE published July 1992 in Journal of Symbolic Computation

Authors: Mohamed Adi | Claude Kirchner

Implementing CLP(B) using the Connection Theorem Proving Method and a Clause Management Systems

JOURNAL ARTICLE published January 1993 in Journal of Symbolic Computation

Authors: Greg Sidebottom

Special Issue on Symbolic Computation in Algebra, Analysis, and Geometry Foreword of the Guest Editors

JOURNAL ARTICLE published May 2000 in Journal of Symbolic Computation

Authors: Eduardo Cattani | Reinhard C. Laubenbacher

Editorial Board

JOURNAL ARTICLE published February 2009 in Journal of Symbolic Computation

Solving the Word Problem for Two Classes of Non-associative Rings by Rewriting

JOURNAL ARTICLE published September 2001 in Journal of Symbolic Computation

Authors: Alfred Widiger

Algebraic programming of geometrical calculus and clifford algebra

JOURNAL ARTICLE published January 1989 in Journal of Symbolic Computation

Authors: Ph. Tombal | A. Moussiaux

Metric problems for quadrics in multidimensional space

JOURNAL ARTICLE published May 2015 in Journal of Symbolic Computation

Research funded by St. Petersburg State University (9.38.674.2013)

Authors: Alexei Yu. Uteshev | Marina V. Yashina

Necklaces count polynomial parametric osculants

JOURNAL ARTICLE published March 2021 in Journal of Symbolic Computation

Authors: Taylor Brysiewicz

Decoding by rank-2 bundles over plane quartics

JOURNAL ARTICLE published July 2010 in Journal of Symbolic Computation

Authors: Drue Coles | Emma Previato

The Computer-aided Discovery of a Theorem about Young Tableaux

JOURNAL ARTICLE published November 1995 in Journal of Symbolic Computation

Authors: Herbert S. Wilf

Computing the Newtonian Graph

JOURNAL ARTICLE published August 1997 in Journal of Symbolic Computation

Authors: DEXTER KOZEN | KJARTAN STEFÁNSSON

Cylindrical algebraic decomposition with equational constraints

JOURNAL ARTICLE published September 2020 in Journal of Symbolic Computation

Research funded by EPSRC (EP/J003247/1) | EU (712689)

Authors: Matthew England | Russell Bradford | James H. Davenport

An algebraic treatment of quantum vibrations using REDUCE

JOURNAL ARTICLE published June 1988 in Journal of Symbolic Computation

Authors: Martin L. Sage

Editorial Board

JOURNAL ARTICLE published November 2018 in Journal of Symbolic Computation

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

Editorial Board

JOURNAL ARTICLE published November 2003 in Journal of Symbolic Computation

Erratum

JOURNAL ARTICLE published August 2000 in Journal of Symbolic Computation

Contents of Volumes 37 and 38

JOURNAL ARTICLE published December 2004 in Journal of Symbolic Computation