SACLIB
From MaRDI portal
Cited in
(27)- Another attempt for parallel computation of characteristic sets
- Distributed Maple: Parallel computer algebra in networked environments.
- scientific article; zbMATH DE number 1254034 (Why is no real title available?)
- scientific article; zbMATH DE number 1086651 (Why is no real title available?)
- An efficient method for analyzing the topology of plane real algebraic curves.
- Computer Algebra in Scientific Computing
- Efficient programming techniques for the SACLIB computer algebra library. (Abstract of thesis)
- A para-functional programming interface for a parallel computer algebra package
- The design of the SACLIB/PACLIB kernels
- scientific article; zbMATH DE number 1086646 (Why is no real title available?)
- Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
- The complexity of quantifier elimination and cylindrical algebraic decomposition
- Combining Isabelle and QEPCAD-B in the Prover’s Palette
- scientific article; zbMATH DE number 2085344 (Why is no real title available?)
- scientific article; zbMATH DE number 1254004 (Why is no real title available?)
- CASA
- FOXBOX
- scientific article; zbMATH DE number 1262424 (Why is no real title available?)
- PVMaple
- ELIMINO
- Parallelization of perturbation analysis: Application to large-scale engineering problems
- QEPCAD B
- Plotting algebraic space curves by cluster computing
- scientific article; zbMATH DE number 1760135 (Why is no real title available?)
- scientific article; zbMATH DE number 1944659 (Why is no real title available?)
- Generic matrix multiplication and memory management in LinBox
- Computer Algebra in Scientific Computing
This page was built for software: SACLIB
