• Mathemagix

  • Referenced in 42 articles [sw00553]
  • large scale programming for symbolic and certified numeric computations. Coordinated by Joris van der Hoeven ... scientific programming language for symbolic and certified numeric algorithms. This language can be compiled ... will illustrate possibilities offered for certified numeric computations with balls and intervals...
  • RationalFirstintegrals

  • Referenced in 8 articles [sw14472]
  • vector fields. We present fast algorithms for computing rational first integrals with bounded degree ... transform their method into a certified algorithm computing rational first integrals via systems of linear...
  • RealLib

  • Referenced in 14 articles [sw01977]
  • package for exact real number computations. The library provides certified accuracy, but tries to achieve...
  • NLCertify

  • Referenced in 4 articles [sw08786]
  • quadratic forms. In this way, NLCertify computes certified global estimators from approximations of primitive functions...
  • Axel

  • Referenced in 22 articles [sw06457]
  • compute intersection points or curves, singularities of algebraic curves or surfaces, certified topology of curves...
  • SE-Sync

  • Referenced in 9 articles [sw40678]
  • Sync: A Certifiably Correct Algorithm for Synchronization over the Special Euclidean Group. Many important geometric ... nonconvex maximum-likelihood estimation that is computationally hard to solve in general. Nevertheless, in this ... algorithm that is able to efficiently recover certifiably globally optimal solutions of the special Euclidean ... that SE-Sync is able to recover certifiably globally optimal solutions when the available measurements...
  • SIROCCO

  • Referenced in 4 articles [sw15155]
  • ROot Certified COntinuator. This is a library for computing homotopy continuation of a given root...
  • CiaoPP

  • Referenced in 45 articles [sw12089]
  • instantiation properties, non-failure, determinacy, bounds on computational cost, bounds on sizes of terms ... analyzers is used in the system to certify that an untrusted mobile code is safe...
  • Berlekamp Zassenhaus

  • Referenced in 9 articles [sw28596]
  • polynomials, and thus provide an efficient and certified factorization algorithm for arbitrary univariate polynomials ... prime field GF(p) and then performs computations in the integer ring modulo...
  • FoCaLiZe

  • Referenced in 10 articles [sw12384]
  • providing a programming environment to develop certified programs. The environment is based on a functional ... provide runtime performances comparable to the best Computer Algebra Systems available...
  • 3D spherical kernel

  • Referenced in 5 articles [sw11156]
  • computing arrangements with few degeneracies (on sample molecular models), it is shown that certifying...
  • ADDSAFE

  • Referenced in 4 articles [sw19643]
  • flight certifiable code which can be implemented on the actual flight control computer. The proposed...
  • Axl

  • Referenced in 4 articles [sw25792]
  • computing intersection loci (points, curves) of parametric models, singularities of algebraic curves or surfaces, certified...
  • RBniCS

  • Referenced in 12 articles [sw33333]
  • reduced order modelling techniques (and, in particular, certified reduced basis method and Proper Orthogonal Decomposition ... doctoral courses on ”Reduced Basis Methods for Computational Mechanics”. RBniCS can also be used...
  • RiemannSurface

  • Referenced in 1 article [sw41771]
  • computing the Riemann period matrix of the surface numerically, using a certified homotopy continuation method...
  • FastCertRelPose

  • Referenced in 1 article [sw40676]
  • Fast and robust certifiable estimation of the relative pose between two calibrated cameras. This work ... algorithm to compute the relative pose problem (RPp) between calibrated cameras and certify the optimality...
  • HAL

  • Referenced in 1 article [sw34459]
  • next, anyone can compute an authentication tag sf,y that certifies the value...
  • TrABin

  • Referenced in 1 article [sw40809]
  • binaries. Highlights: Certifying analysis tools can be developed for modern computer architectures. Modern theorem provers...