
CESAR
 Referenced in 161 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 9 articles
[sw20642]
 with a strongly semismooth and strongly monotone operator. The semismooth Newton method is applied...

GloptiPoly
 Referenced in 329 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 76 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...

justcontinuity
 Referenced in 3 articles
[sw34472]
 innovation in projective splitting algorithms for monotone operator inclusions has been the development...

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 9 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 4 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...

GRAPE
 Referenced in 3 articles
[sw42715]
 incremental function as the intermediate consequence operator. We show that users can devise existing sequential ... GRAPE parallelizes the computation. Under a monotonic condition, the GRAPE parallelization guarantees to converge...

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...

BARON
 Referenced in 365 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Coq
 Referenced in 1913 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 74 articles
[sw00183]
 Dafny is an imperative objectbased language with...

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

GAP
 Referenced in 3222 articles
[sw00320]
 GAP is a system for computational discrete algebra...