swMATH823MaRDI QIDQ13570FDOQ13570
Author name not available (Why is that?)
Official website: http://www.mmrc.iss.ac.cn/issac2005/software/saclib.htm
Cited In (27)
- Title not available (Why is that?)
- Parallelization of perturbation analysis: Application to large-scale engineering problems
- Title not available (Why is that?)
- Another attempt for parallel computation of characteristic sets
- Distributed Maple: Parallel computer algebra in networked environments.
- Title not available (Why is that?)
- An efficient method for analyzing the topology of plane real algebraic curves.
- The design of the SACLIB/PACLIB kernels
- 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
- Title not available (Why is that?)
- QEPCAD B
- Computer Algebra in Scientific Computing
- Title not available (Why is that?)
- CASA
- FOXBOX
- PVMaple
- ELIMINO
- Generic matrix multiplication and memory management in LinBox
- Combining Isabelle and QEPCAD-B in the Prover’s Palette
- Plotting algebraic space curves by cluster computing
- Title not available (Why is that?)
- Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
- The complexity of quantifier elimination and cylindrical algebraic decomposition
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: SACLIB
