
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 GolubKahan bidiagonalization ... quantities ∥A T r k ∥ are monotonically decreasing (where...

2D Regularized Boolean SetOperations
 Referenced in 4 articles
[sw11150]
 Boolean setoperations on point sets bounded by weakly xmonotone curves in 2dimensional ... contains the implementation of regularized Boolean setoperations, 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 timestep 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 objectbased 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...