Facet browsing currently unavailable
Page 1 of 3180 results
Sort by: relevance publication year
An adaptive prefix-assignment technique for symmetry reduction JOURNAL ARTICLE published July 2020 in Journal of Symbolic Computation Research funded by European Research Council (338077) | Seventh Framework Programme (FP/2007-2013) |
The term orderings which are compatible with composition II JOURNAL ARTICLE published February 2003 in Journal of Symbolic Computation |
Symbolic computation of hyperbolicity regions for systems of two-phase flow conservation laws using Maple JOURNAL ARTICLE published September 1989 in Journal of Symbolic Computation |
Editorial JOURNAL ARTICLE published January 2000 in Journal of Symbolic Computation |
Editorial Board JOURNAL ARTICLE published March 2011 in Journal of Symbolic Computation |
A Categorical Critical-pair Completion Algorithm JOURNAL ARTICLE published May 1999 in Journal of Symbolic Computation |
Solutions of systems of algebraic equations and linear maps on residue class rings JOURNAL ARTICLE published October 1992 in Journal of Symbolic Computation |
Computing hypercircles by moving hyperplanes JOURNAL ARTICLE published March 2013 in Journal of Symbolic Computation |
Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories JOURNAL ARTICLE published January 2000 in Journal of Symbolic Computation |
Efficient computation of Cantor's division polynomials of hyperelliptic curves over finite fields JOURNAL ARTICLE published July 2023 in Journal of Symbolic Computation |
Quantifier elimination by cylindrical algebraic decomposition based on regular chains JOURNAL ARTICLE published July 2016 in Journal of Symbolic Computation Research funded by NSFC (11301524,11471307) | CSTC (cstc2015jcyjys40001,cstc2012ggB40004) |
Polynomial reduction and supercongruences JOURNAL ARTICLE published March 2021 in Journal of Symbolic Computation Research funded by National Natural Science Foundation of China (11471244,11771330,11701420) |
AC-unification race: The system solving approach, implementation and benchmarks JOURNAL ARTICLE published July 1992 in Journal of Symbolic Computation |
Implementing CLP(B) using the Connection Theorem Proving Method and a Clause Management Systems JOURNAL ARTICLE published January 1993 in Journal of Symbolic Computation |
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 |
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 |
Algebraic programming of geometrical calculus and clifford algebra JOURNAL ARTICLE published January 1989 in Journal of Symbolic Computation |
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) |
Necklaces count polynomial parametric osculants JOURNAL ARTICLE published March 2021 in Journal of Symbolic Computation |