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