
CXSC
 Referenced in 106 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 5 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 21 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...

BEAM189
 Referenced in 45 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...

RIM_DOM.F90
 Referenced in 29 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...

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

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

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

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

2ANTBAL
 Referenced in 10 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...

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

CLICAL
 Referenced in 9 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...

galepu
 Referenced in 10 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...

OPTIMA
 Referenced in 10 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...

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

CONHYP
 Referenced in 4 articles
[sw00152]
 using large arrays to accumulate a single numerator and denominator are ultimately used ... final result. The accuracy has been verified through a variety of tests and they show ... written in FORTRAN 77, tests on various computers have shown the evaluator to provide consistently...