SACLIB

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