Results 281 to 289 of about 2,824 (289)

CALYPSO

Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97, 1997
openaire   +1 more source

Explainable AI Insights for Symbolic Computation: A Case Study on Selecting the Variable Ordering for Cylindrical Algebraic Decomposition

Journal of Symbolic Computation
Matthew England, Kelly Cohen
exaly  

Clifford Algebras with Numeric and Symbolic Computations

1996
openaire   +1 more source

Progress Report on a System for General-Purpose Parallel Symbolic Algebraic Computation

1990
exaly  

Computer algebra - symbolic and algebraic computation.

openaire   +1 more source

Symbolic algebraic manipulation by computer software

2004
openaire   +1 more source

Special Issue on Symbolic and Algebraic Computation

2008
Carlos, d'Andrea, Mourrain, Bernard
openaire   +1 more source

Computer algebra: symbolic and algebraic computation, 2nd Edition.

openaire   +1 more source

Parallel systems in symbolic and algebraic computation

openaire   +1 more source