
Macaulay2
 Referenced in 1841 articles
[sw00537]
 multigraded polynomial rings with a monomial ordering. The core algorithms are accessible through ... sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more. Computer...

MADM
 Referenced in 128 articles
[sw06484]
 Process (AHP), Technique for Order Preference by Similarity to Ideal Solution (TOPSIS), VIÅ¡ekriterijumsko KOmpromisno ... Relational Analysis (GRA), UTility Additive (UTA), and Ordered Weighted Averaging (OWA). The existing MADM methods ... manufacturing related projects. It is also an ideal study resource for applied research workers, academicians...

Sledgehammer
 Referenced in 128 articles
[sw07047]
 usefulness, these ATPs are measured against firstorder ATPs and builtin Isabelle tactics ... TPTP library. Sledgehammer provides an ideal test bench for individual features...

NESTA
 Referenced in 130 articles
[sw06576]
 smoothing technique and an accelerated firstorder algorithm, both from {it Yu. Nesterov} [Math. Program ... demonstrates that this approach is ideally suited for solving largescale compressed sensing reconstruction problems...

HOMER
 Referenced in 5 articles
[sw13321]
 model checker for the 3rdorder fragment of Idealized Algol (IA) augmented with iteration ... implementation of a model checker of 3rdorder programs...

RBniCS
 Referenced in 12 articles
[sw33333]
 implementation in FEniCS of several reduced order modelling techniques (and, in particular, certified reduced basis ... ideally suited for an introductory course on reduced basis methods and reduced order modelling, thanks...

FourTiTwo
 Referenced in 8 articles
[sw07615]
 ascending chain of ideals I 1 ⊆I 2 ⊆⋯ eventually stabilizes. However, the chains in question ... nice orderings, the authors show that invariant chains of Laurent lattice ideals stabilize...

POSETS
 Referenced in 1 article
[sw32240]
 subposet, distributive lattice of order ideals, etc. Once a poset has been generated, a large...

COBRA
 Referenced in 26 articles
[sw02211]
 accurate numerical algorithm to assess stability against ideal ballooning modes in general threedimensional magnetic ... form of a linear secondorder ordinary differential equation along magnetic field lines...

NetLSD
 Referenced in 5 articles
[sw32341]
 computation. Ideally, graph comparison should be invariant to the order of nodes and the sizes...

Algorithm 628
 Referenced in 6 articles
[sw23778]
 such that ideal (F)=ideal (G) and G is a Gröbner basis ... order to indicate the usefulness of these bases for constructive polynomial ideal theory and computer...

PyTOPS
 Referenced in 2 articles
[sw30076]
 TOPSIS. The Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method determines...

moregroebner
 Referenced in 2 articles
[sw14841]
 grobner implementation. Computations with ideals and modules with: arbitrary term order, graded Gröbner bases, Hilbert...

RxCaffe
 Referenced in 1 article
[sw25898]
 errors arising due to nonidealities while being five orders of magnitude faster than circuit ... dataset. Our experiments reveal that crossbar nonidealities can significantly degrade DNN accuracy...

Miura
 Referenced in 1 article
[sw20305]
 minimum in order to obtain the representative of the ideal class. Although the basic procedure...

BOUT++
 Referenced in 13 articles
[sw10446]
 Time evolution is fully implicit, and 3rdorder WENO schemes are implemented. Benchmarks are presented ... initialvalue simulations of ELMs using reduced ideal MHD are presented, and the results compared...

GRHydro
 Referenced in 5 articles
[sw08469]
 evolution of relativistic magnetized fluids in the ideal MHD limit in fully dynamical spacetimes using ... techniques previously applied to hydrodynamical evolution. In order to maintain the divergencefree character...

EZyRB
 Referenced in 4 articles
[sw38465]
 python library for the Model Order Reduction based on baricentric triangulation for the selection ... selection of the modes. It is ideally suited for actual industrial problems, since its structure ... been used for the model order reduction of problems solved with matlab and openFOAM...

ConQAT
 Referenced in 4 articles
[sw09195]
 countermeasures are taken. In order to prevent this architectural erosion, the conformance ... architecture needs to be assessed and controlled; ideally in a continuous manner. To support this...

SENR/NRPy+
 Referenced in 3 articles
[sw40381]
 class of curvilinear coordinate systems, making it ideallysuited to modeling physical configurations with approximate ... modeling black hole dynamics, it is orders of magnitude more efficient than other widely used...