• # C-XSC

• Referenced in 106 articles [sw00181]
• programming environment for verified scientific computing and numerical data processing. C-XSC 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 C-XSC 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...
• # ACRITH-XSC

• Referenced in 49 articles [sw00015]
• high accuracy which are verified to be correct by the computer. Thus there ... these calculations. For example, self-validating 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...
• # 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...
• # 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...
• # 2-ANTBAL

• 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 infinite-dimensional 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...
• # 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 multi-particle approximations such ... used for eigenvalue computations or numerical solutions of the time-dependent Schr”odinger equation...
• # TOKAM3X

• Referenced in 2 articles [sw18047]
• semi-implicit time advancement. The process computation is multi-threaded 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...