• CESAR

  • Referenced in 154 articles [sw08510]
  • temporal operators of which can be computed iteratively as fixed points of monotonic predicate transformers...
  • SCAT

  • Referenced in 9 articles [sw25392]
  • material for paper Symbolic computation with monotone operators...
  • TFETI

  • Referenced in 8 articles [sw20642]
  • with a strongly semismooth and strongly monotone operator. The semismooth Newton method is applied...
  • GloptiPoly

  • Referenced in 285 articles [sw04343]
  • such as algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite ... relaxations of the GPM, whose associated monotone sequence of optimal values converges to the global...
  • LSMR

  • Referenced in 59 articles [sw12940]
  • being sparse or a fast linear operator. LSMR is based on the Golub-Kahan bidiagonalization ... quantities ∥A T r k ∥ are monotonically decreasing (where...
  • 2D Regularized Boolean Set-Operations

  • Referenced in 4 articles [sw11150]
  • Boolean set-operations on point sets bounded by weakly x-monotone curves in 2-dimensional ... contains the implementation of regularized Boolean set-operations, intersection predicates, and point containment predicates...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • also sparse, giving the sparse matrix operations an overwhelming space and speed advantage ... races. The monotonicity of 0CFA makes it sound to perform analysis operations in parallel, possibly...
  • L2WPMA

  • Referenced in 7 articles [sw04326]
  • data and solves a k = 1 problem (monotonic fit or isotonic regression) for each ... solution in only O(nσ + kσ2) computer operations when k ≥ 3, where ... method on identifying turning points and monotonic trends of data from...
  • Polynomials

  • Referenced in 3 articles [sw32226]
  • with (executable) operations like addition, multiplication, and substitution. We also define (weak) monotonicity of polynomials...
  • L1PMA

  • Referenced in 2 articles [sw21492]
  • applies to each section a single L1 monotonic calculation. The most distinctive feature ... most n3+O(kn2) computer operations, although this calculation can exhibit O(nk) local minima ... unknowns of the optimization process. The arithmetic operations involved in this calculation are comparisons mainly ... medians of subranges of data during the monotonic calculations. The package employs techniques for median...
  • Matrix Operations

  • Referenced in 1 article [sw28791]
  • Matrices of Arbitrary Dimensions, We provide the operations of matrix addition, multiplication, transposition, and matrix ... Moreover, it is proven that strongly normalizing (monotone) orders can be lifted to strongly normalizing...
  • IRMHD

  • Referenced in 4 articles [sw08878]
  • underlying numerical concept is based on the operator splitting approach, and the resulting 2D matrices ... incorporated an adaptive time-step control and monotonic multilevel grid distributions as well as vectorizing...
  • Coq

  • Referenced in 1748 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CXFTV2

  • Referenced in 3 articles [sw00180]
  • CXFTV2: a Fortran subroutine for the discrete least...
  • Dafny

  • Referenced in 62 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • FEMLAB

  • Referenced in 56 articles [sw00274]
  • COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gerris

  • Referenced in 246 articles [sw00341]
  • Gerris is a Free Software program for the...
  • gmp

  • Referenced in 255 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 528 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...