• Sledgehammer

  • Referenced in 124 articles [sw07047]
  • TPTP library. Sledgehammer provides an ideal test bench for individual features...
  • lobpcg.m

  • Referenced in 129 articles [sw24008]
  • model tests, using random preconditioners and initial guesses. As the “ideal” control algorithm, we advocate ... compared with this “ideal” algorithm on our model test problems in terms of the speed ... algorithm is practically as efficient as the “ideal” algorithm when the same preconditioner is used...
  • Semigroups

  • Referenced in 28 articles [sw11877]
  • structure, ideals, size, elements, group of units, small generating sets, testing membership, finding the inverses...
  • TestIdeals

  • Referenced in 4 articles [sw30570]
  • singularities. It is focused on computing test ideals and related objects. It does this...
  • MMCTest

  • Referenced in 7 articles [sw11179]
  • classification as a specific multiple testing procedure applied to ideal $p$-values. The method...
  • noether.lib

  • Referenced in 7 articles [sw10902]
  • first a new algorithm for testing whether a monomial ideal is in Noether position...
  • DAISY

  • Referenced in 45 articles [sw09059]
  • DAISY: A new software tool to test global identifiability of biological and physiological systems ... parameters from measured input–output data, under ideal conditions (noise-free observations and error-free ... have been proposed in the literature to test identifiability of nonlinear models...
  • StatePolytope

  • Referenced in 7 articles [sw07236]
  • StatePolytope computes state polytopes of ideals using the programs gfan, M2, and polymake. Specifically ... also a function for testing GIT stability of an ideal in a polynomial ring with...
  • Arepo

  • Referenced in 1 article [sw39391]
  • computationally inexpensive test problems, ranging from idealized tests for automated code verification to scaled-down...
  • dpgb

  • Referenced in 16 articles [sw00217]
  • discussion tree using the discriminant ideal and provides a compact and effective discussion. We also ... obtaining a CGB. Examples and tests are also provided...
  • Citrus

  • Referenced in 1 article [sw08362]
  • size, elements, group of units, minimal ideal, and testing membership, finding the inverses...
  • SegreClasses

  • Referenced in 1 article [sw36752]
  • tests if a top-dimensional irreducible component of the scheme associated to an ideal ... scheme associated to another ideal. Specialized methods to test the containment of a variety ... provided, these methods work without computing the ideal of the singular locus and can provide...
  • asprilo

  • Referenced in 0 articles [sw27485]
  • this domain, asprilo offers an ideal test bed not only for modern industrial scenarios...
  • ORB5

  • Referenced in 11 articles [sw10369]
  • capability to treat arbitrary axisymmetric ideal MHD equilibrium configurations. The code is heavily parallelized, with ... marker particles. Various numerical convergence tests are performed. The code is validated against an analytical...
  • BOUT++

  • Referenced in 12 articles [sw10446]
  • good agreement. Performance of the code is tested by scaling with problem size and processor ... initial-value simulations of ELMs using reduced ideal MHD are presented, and the results compared...
  • EULAG

  • Referenced in 27 articles [sw14823]
  • advective form) framework. EULAG model is an ideal tool to perform numerical experiments ... wide range of numerical sensitivity tests. These capabilities give the researcher confidence in the numerical...
  • Monoid

  • Referenced in 1 article [sw23616]
  • membership in a monoid, testing membership in the conductor ideal of a monoid, computing elements ... conductor ideal. For base point free problems of Mori dream spaces: computing generators ... base point free Cartier divisor classes, testing if a given Weil divisor class is base...
  • libsemigroups

  • Referenced in 2 articles [sw19657]
  • indeed any ideals; inverses; local submonoids; the kernel; variety tests...
  • hikmot

  • Referenced in 10 articles [sw34524]
  • given cusped 3-manifold M admitting an ideal triangulation, we describe a method to rigorously ... implementation of interval arithmetic and Krawczyk’s Test. These techniques represent an improvement over existing...