
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 (noisefree observations and errorfree ... 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 scaleddown...

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 topdimensional 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 ... initialvalue 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 3manifold 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...