SACLIB
From MaRDI portal
Software:13570
swMATH823MaRDI QIDQ13570FDOQ13570
Author name not available (Why is that?)
Cited In (23)
- 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
- Generic matrix multiplication and memory management in linBox
- Computer Algebra in Scientific Computing
- 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?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Effcient programming techniques for the SACLIB computer algebra library
This page was built for software: SACLIB
