
TVAL3
 Referenced in 20 articles
[sw08575]
 solving problems in image reconstruction with total variation regularization. We present numerical results showing that...

tvreg
 Referenced in 21 articles
[sw14426]
 Methods. The tvreg package performs total variation (TV) regularized image denoising, deconvolution, and inpainting. Three...

PyNUFFT
 Referenced in 3 articles
[sw21680]
 including the conjugate gradient method, ℓ1 totalvariation regularized ordinary least square (L1TV ... ℓ1 totalvariation regularized least absolute deviation (L1TVLAD). Metaprogramming libraries were employed to accelerate...

TVRDART
 Referenced in 4 articles
[sw27583]
 algorithm for discrete tomography (DT) named total variation regularized discrete algebraic reconstruction technique (TVRDART...

MVIRT
 Referenced in 3 articles
[sw28253]
 manifoldvalued image processing methods, like total variation regularization, the toolbox provides easy access...

NPtool
 Referenced in 7 articles
[sw06855]
 Leibler divergence, and two regularization functions, Tikhonov and Total Variation, giving the opportunity of solving ... other linear or nonlinear data fit and regularization functions. Some examples...

tvR
 Referenced in 1 article
[sw35571]
 package tvR: Total Variation Regularization. Provides tools for denoising noisy signal and images via Total ... Variation Regularization. Reducing the total variation of the given signal is known to remove spurious...

DBT Simulator
 Referenced in 2 articles
[sw19041]
 including algebraic reconstruction technique (ART) and total variation regularized reconstruction techniques (ART+TV) are presented...

na28
 Referenced in 16 articles
[sw11502]
 algorithms and related software for total variation (TV) image reconstruction, more specifically: denoising, inpainting ... that, except for the mandatory regularization parameter, the user needs not specify any parameters...

MEDITOMO
 Referenced in 1 article
[sw00568]
 introduction of the total variation seminorm as the edgepreserving regularization in both algorithms...

ANSYS
 Referenced in 663 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

GQRAT
 Referenced in 35 articles
[sw00373]
 The concern here is with Gausstype quadrature...

Isabelle
 Referenced in 617 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KNITRO
 Referenced in 180 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

Kronecker
 Referenced in 113 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LAPACK
 Referenced in 1647 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 368 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Magma
 Referenced in 2986 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...