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

FiniteFlow
 Referenced in 7 articles
[sw41195]
 numerical algorithms over finite fields and reconstructing multivariate rational functions. The framework employs computational graphs...

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

RationalFirstintegrals
 Referenced in 8 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...

ProofWriter
 Referenced in 2 articles
[sw42710]
 been demonstrated, and methods for reconstructing proofs of answers are imperfect. In this work ... actual model decisions (rather than posthoc rationalizations). On the RuleTaker dataset, the accuracy...

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

CoCoA
 Referenced in 659 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 1913 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

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

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

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

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

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

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

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