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)

Authors: Tommi Junttila | Matti Karppa | Petteri Kaski | Jukka Kohonen

The term orderings which are compatible with composition II

JOURNAL ARTICLE published February 2003 in Journal of Symbolic Computation

Authors: Jinwang Liu | Zhuojun Liu | Mingsheng Wang

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

Authors: A.D. Fitt

Editorial

JOURNAL ARTICLE published January 2000 in Journal of Symbolic Computation

Authors: B.F. Caviness

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

Authors: K. Stokkermans

Solutions of systems of algebraic equations and linear maps on residue class rings

JOURNAL ARTICLE published October 1992 in Journal of Symbolic Computation

Authors: Kazuhiro Yokoyama | Masayuki Noro | Taku Takeshima

Computing hypercircles by moving hyperplanes

JOURNAL ARTICLE published March 2013 in Journal of Symbolic Computation

Authors: Luis Felipe Tabera

Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories

JOURNAL ARTICLE published January 2000 in Journal of Symbolic Computation

Authors: Ronald Brown | Anne Heyworth

Efficient computation of Cantor's division polynomials of hyperelliptic curves over finite fields

JOURNAL ARTICLE published July 2023 in Journal of Symbolic Computation

Authors: Elie Eid

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)

Authors: Changbo Chen | Marc Moreno Maza

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)

Authors: Qing-Hu Hou | Yan-Ping Mu | Doron Zeilberger

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