
HOL90
 Referenced in 7 articles
[sw19616]
 HOL90: The rational reconstruction of HOL88...

ffmodstd
 Referenced in 5 articles
[sw27228]
 algorithms: univariate polynomial interpolation [2], univariate rational function reconstruction [7], and multivariate polynomial interpolation...

RationalFirstintegrals
 Referenced in 6 articles
[sw14472]
 fields. We present fast algorithms for computing rational first integrals with bounded degree ... first order differential equation and the reconstruction of a bivariate polynomial annihilating this power series ... their method into a certified algorithm computing rational first integrals via systems of linear equations...

OCOTILLO
 Referenced in 10 articles
[sw09292]
 experimental design and computational modeling. Principles of “rational” drug design are used in the construction ... several Inverse Problems  formulated as (chemical) graph reconstruction problems  related to the design of combinatorial...

CGAL
 Referenced in 381 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 246 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

FOXBOX
 Referenced in 16 articles
[sw00307]
 FOXBOX: A system for manipulating symbolic objects in...

Gmsh
 Referenced in 690 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

hypre
 Referenced in 300 articles
[sw00426]
 hypre is a software library for the solution...

ISOGAT
 Referenced in 303 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

LAPACK
 Referenced in 1677 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LiDIA
 Referenced in 52 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...

LinBox
 Referenced in 40 articles
[sw00522]
 LinBox: A Generic Library for Exact Linear Algebra...

Macaulay2
 Referenced in 1841 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3137 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5296 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 257 articles
[sw00546]
 MapReduce is a new parallel programming model initially...