
CXSC
 Referenced in 109 articles
[sw00181]
 programming environment for verified scientific computing and numerical data processing. CXSC is a tool ... automatically verified results. It provides a large number of predefined numerical data types and operators ... numerical applications in C and C++. The CXSC package is available for all computers...

kv
 Referenced in 7 articles
[sw31712]
 Library for Verified Numerical Computation. A set of libraries for verified numerical computations (kv library ... this page. For overview of verified numerical computation and kv library, please see the slide...

VERSOFT
 Referenced in 24 articles
[sw10881]
 verification files for computing verified solutions of various numerical linear algebraic problems having exact...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 high accuracy which are verified to be correct by the computer. Thus there ... these calculations. For example, selfvalidating numerical techniques have been successfully applied to a variety...

PHoM
 Referenced in 30 articles
[sw04645]
 compute all isolated solutions of $f(x)= 0$. The third module Verify checks whether ... have been approximated correctly. We describe numerical methods used in each module and the usage...

RIM_DOM.F90
 Referenced in 36 articles
[sw25510]
 Fortran code is listed and described for numerical implementation of these boundary integrals. The main ... conventional method), but also make computational results for singular domain integrals more accurate since ... been regularized. Some examples are provided to verify the correctness of the presented formulations...

BEAM189
 Referenced in 48 articles
[sw07447]
 verify the accuracy of our proposed method. The comparisons reveal that the numerical results obtained ... better convergence characteristics, and requires much less computation time. It is very effective to deal...

core 2
 Referenced in 6 articles
[sw04960]
 Numeric Computation (ENC). The ENC approach to algebraic number computation is based on iterative verified...

MMM1D
 Referenced in 2 articles
[sw18358]
 forces are derived and numerically verified. The method has a computational complexity...

CLICAL
 Referenced in 17 articles
[sw20733]
 actual numerical computations are faster in matrix images of Clifford algebras. CLICAL computer program ... output in Clifford algebras (and fast internal computation in matrices). CLICAL is intended for researchers ... research, CLICAL has been applied to verify and falsify conjectures about Clifford algebras. With...

SPLASH
 Referenced in 2 articles
[sw03101]
 solved to verify the computer program. In the analyses, the numerical results are in good ... reactor vessel of the FBR. The computational simulation well predicts the general behavior ... capability of the SPLASH code has been verified in this study and the application...

2ANTBAL
 Referenced in 11 articles
[sw19724]
 line, to build a balancing solution which verifies the precedence, zoning, capacity, side and synchronism ... illustrated with a numerical example and results of a computational experience that exhibit its superior...

Algorithm 880
 Referenced in 13 articles
[sw12764]
 that encapsulates complex, robust, and widely used numerical algorithms for a wide range of applications ... limited) number of test cases to verify the integrity of the installation process ... variety of problem settings and also computer architectures. In this process, difficult test cases need...

OPTIMA
 Referenced in 13 articles
[sw25286]
 line search approaches, filter methods and the computation of derivatives. The presented optimization approaches ... examples with up to 200 variables. The numerical results are mostly obtained by the software ... Furthermore, each section contains exercises to verify and deepen the understanding of the material...

galepu
 Referenced in 12 articles
[sw15103]
 numerical method to compute smooth manifolds implicitly defined by infinitedimensional nonlinear operators. We compute ... radii polynomial approach to verify the hypotheses of the uniform contraction principle over a simplex...

PROCRUSTES
 Referenced in 3 articles
[sw00732]
 package of routines for the computer algebra system Maple which supports the explicit determination ... used to verify hand calculations or to generate the input for further numerical investigations...

TRANPRO
 Referenced in 1 article
[sw07547]
 computer program TRANPRO, the author develops and verifies an algorithm for numerical analysis in this...

assembleFermiMatrix
 Referenced in 3 articles
[sw10419]
 introduces a general framework for the direct numerical simulation of systems of interacting fermions ... fermions subject to arbitrary potentials, e.g., for verifying the accuracy of multiparticle approximations such ... used for eigenvalue computations or numerical solutions of the timedependent Schr”odinger equation...

TOKAM3X
 Referenced in 4 articles
[sw18047]
 semiimplicit time advancement. The process computation is multithreaded and based ... together with the proposed numerical methods. The code is verified using the manufactured solution technique...

TDDS
 Referenced in 5 articles
[sw31513]
 equations may contain inequations, this package computes a decomposition of it into a finite ... investigate and solve both analytically and numerically. The distinctive property of a Thomas decomposition ... input differential system such as: verifying consistency, i.e., the existence of solutions; detecting the arbitrariness...