scientific article; zbMATH DE number 1972791

zbMATH Open1047.68168MaRDI QIDQ4421583

No author found.

Publication date: 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Gröbner basis computationAPLAN

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

Tools for simulation of parallel computations in a system of algebraic programming

Recommendations

• Parallel symbolic processing in REFAL 👍 👎
• Tools for simulation of parallel computations in a system of algebraic programming 👍 👎
• An automatic parallelization framework for algebraic computation systems 👍 👎
• Parallelizing a Symbolic Compositional Model-Checking Algorithm 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: