SACLIB
From MaRDI portal
Software:13570
No author found.
Related Items (23)
A para-functional programming interface for a parallel computer algebra package ⋮ The design of the SACLIB/PACLIB kernels ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distributed Maple: Parallel computer algebra in networked environments. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Computer Algebra in Scientific Computing ⋮ Computer Algebra in Scientific Computing ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Parallelization of perturbation analysis: Application to large-scale engineering problems ⋮ QEPCAD B ⋮ Effcient programming techniques for the SACLIB computer algebra library ⋮ An efficient method for analyzing the topology of plane real algebraic curves. ⋮ Combining Isabelle and QEPCAD-B in the Prover’s Palette ⋮ Generic matrix multiplication and memory management in linBox ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
This page was built for software: SACLIB
