• 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 post-hoc 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...