• Macaulay2

  • Referenced in 1841 articles [sw00537]
  • multi-graded 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 first-order ATPs and built-in Isabelle tactics ... TPTP library. Sledgehammer provides an ideal test bench for individual features...
  • NESTA

  • Referenced in 130 articles [sw06576]
  • smoothing technique and an accelerated first-order algorithm, both from {it Yu. Nesterov} [Math. Program ... demonstrates that this approach is ideally suited for solving large-scale compressed sensing reconstruction problems...
  • HOMER

  • Referenced in 5 articles [sw13321]
  • model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration ... implementation of a model checker of 3rd-order 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 three-dimensional magnetic ... form of a linear second-order 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...
  • Rx-Caffe

  • Referenced in 1 article [sw25898]
  • errors arising due to non-idealities while being five orders of magnitude faster than circuit ... dataset. Our experiments reveal that crossbar non-idealities 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 3rd-order WENO schemes are implemented. Benchmarks are presented ... initial-value 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 divergence-free 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]
  • counter-measures 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 ideally-suited to modeling physical configurations with approximate ... modeling black hole dynamics, it is orders of magnitude more efficient than other widely used...