Numerical stability and stabilization of Groebner basis computation
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Probabilistic Reachability for Parametric Markov Models
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
CoCoALib: a C++ library for computations in commutative algebra ... and beyond
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
PARAM: a model checker for parametric markov models
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Hi-index | 0.00 |
We describe some of the more important aspects of the design of CoCoALib, a new C++ library for effecting Computations in Commutative Algebra. Special effort has been invested in making the code clean and portable while not neglecting run-time performance; one of the primary goals is to offer freely available reference implementations of the most important algorithms in the field.