Search Results - "Algorithms with automatic result verification"
-
1
Torus knot choreographies in the n-body problem: Torus knot choreographies in the \(n\)-body problem
Authors: et al.
Source: Nonlinearity. 34:313-348
Subject Terms: delay differential equations, celestial mechanics, Dynamical Systems (math.DS), computer-assisted proofs, 01 natural sciences, Periodic solutions to functional-differential equations, \(n\)-body problems, Fixed-point theorems, choreographies, Celestial mechanics, FOS: Mathematics, Periodic orbits of vector fields and flows, Algorithms with automatic result verification, contraction mapping, Mathematics - Dynamical Systems, 0101 mathematics, Periodic, homoclinic and heteroclinic orbits of finite-dimensional Hamiltonian systems
File Description: application/xml
-
2
Authors:
Source: Linear Algebra and its Applications. 324:15-26
Subject Terms: linear complementarity problems, Numerical Analysis, Algebra and Number Theory, numerical results, 01 natural sciences, algorithms with automatic result verification, P0-matrix, Numerical validation, Numerical mathematical programming methods, verification method, Algorithms with automatic result verification, Discrete Mathematics and Combinatorics, Linear complementarity problems, Geometry and Topology, 0101 mathematics, Complementarity and equilibrium problems and variational inequalities (finite dimensions) (aspects of mathematical programming)
File Description: application/xml
Access URL: https://zbmath.org/1586456
https://doi.org/10.1016/s0024-3795(99)00272-4
https://www.sciencedirect.com/science/article/abs/pii/S0024379599002724
https://www.sciencedirect.com/science/article/pii/S0024379599002724
https://research.polyu.edu.hk/en/publications/verification -for-existence-of-solutions-of-linear-complementarity -
3
Authors: Axel Facius
Source: Perspectives on Enclosure Methods ISBN: 9783211835906
Subject Terms: Iterative numerical methods for linear systems, numerical examples, convergence, 4. Education, error bounds, 02 engineering and technology, 01 natural sciences, Computational methods for sparse matrices, large sparse linear systems of equations, preconditioning, Krylov subspace methods, 0202 electrical engineering, electronic engineering, information engineering, Software, source code, etc. for problems pertaining to linear algebra, Algorithms with automatic result verification, 0101 mathematics, verification, programs, problem-oriented arithmetic
File Description: application/xml
-
4
Authors:
Source: Developments in Reliable Computing ISBN: 9789048153503
Subject Terms: numerical examples, Error bounds for boundary value problems involving PDEs, Navier-Stokes equations for incompressible viscous fluids, error bounds, Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs, 01 natural sciences, finite element, stationary Navier-Stokes equations, verification algorithm, Algorithms with automatic result verification, numerical verification method, Navier-Stokes equations, 0101 mathematics, Finite element methods applied to problems in fluid mechanics
File Description: application/xml
Access URL: https://zbmath.org/1421495
https://doi.org/10.1023/a:1009976505460
https://waseda.pure.elsevier.com/en/publications/a-numerical-verification -method-of-solutions-for-the-navier-stoke
https://dblp.uni-trier.de/db/journals/rc/rc5.html#WatanabeYN99
https://kyushu-u.pure.elsevier.com/en/publications/a-numerical-verification -method-of-solutions-for-the-navier-stoke
https://rd.springer.com/chapter/10.1007/978-94-017-1247-7_27
https://link.springer.com/article/10.1023/A:1009976505460 -
5
Authors:
Source: Developments in Reliable Computing ISBN: 9789048153503
Subject Terms: Computation of special functions and constants, construction of tables, fast decreasing polynomials, Maple, Dirac delta function, Algorithms with automatic result verification, verified numerical computation
File Description: application/xml
Access URL: https://zbmath.org/1421486
https://doi.org/10.1023/a:1009972120539
https://link.springer.com/chapter/10.1007/978-94-017-1247-7_18
https://link.springer.com/content/pdf/10.1007%2F978-94-017-1247-7_18.pdf
https://rd.springer.com/chapter/10.1007/978-94-017-1247-7_18
https://dblp.uni-trier.de/db/journals/rc/rc5.html#DimitrovaM99 -
6
Authors:
Source: Developments in Reliable Computing ISBN: 9789048153503
Subject Terms: Other matrix algorithms, Algorithms with automatic result verification, result verification, Lanczos process, verified error bounds, verified computations
File Description: application/xml
-
7
Authors: Wayne H. Enright
Source: Journal of Computational and Applied Mathematics. 185:203-211
Subject Terms: MATLAB, numerical examples, Applied Mathematics, Verification, Nonlinear ordinary differential equations and systems, Reliability, Numerical methods for initial value problems involving ordinary differential equations, Numerical solutions, 01 natural sciences, Computational Mathematics, Complexity and performance of numerical algorithms, Algorithms with automatic result verification, problem solving environment, ODEs, Defect, 0101 mathematics
File Description: application/xml
Access URL: https://dialnet.unirioja.es/servlet/articulo?codigo=1276505
https://www.sciencedirect.com/science/article/abs/pii/S037704270500110X
http://ui.adsabs.harvard.edu/abs/2006JCoAM.185..203E/abstract
https://www.sciencedirect.com/science/article/pii/S037704270500110X
https://core.ac.uk/display/82689793 -
8
Authors:
Source: The Journal of Logic and Algebraic Programming. 64:113-134
Subject Terms: Roundoff error, Logic, Interval and finite arithmetic, SIGNIFICANCE ARITHMETIC, ERROR ANALYSIS, ACCURACY AND PRECISION, CONDITION NUMBER, COMPUTER ASPECTS OF NUMERICAL ALGORITHMS, 0102 computer and information sciences, Symbolic computation and algebraic computation, 01 natural sciences, Computer aspects of numerical algorithms, Theoretical Computer Science, Computational Theory and Mathematics, Significance arithmetic, Error analysis, Interval arithmetic, Algorithms with automatic result verification, Condition number, 0101 mathematics, Computer algebra systems, Software, Accuracy and precision
File Description: application/xml
-
9
Authors: Christopher J. Roy
Source: Journal of Computational Physics. 205:131-156
Subject Terms: numerical examples, solution verification, convergence, Richardson extrapolation, computational simulation, 01 natural sciences, Burgers equation, Complexity and performance of numerical algorithms, Error bounds for initial value and initial-boundary value problems involving PDEs, KdV equations (Korteweg-de Vries equations), system of partial differential equations, error estimation, Finite difference methods for initial value and initial-boundary value problems involving PDEs, 0103 physical sciences, Algorithms with automatic result verification, code verification, mesh refinement, Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs
File Description: application/xml
-
10
Authors:
Source: ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik. 85:307-325
Subject Terms: Numerical computation of eigenvalues and eigenvectors of matrices, Iterative numerical methods for linear systems, numerical examples, convergence, Roundoff error, eigenvalue problems, accuracy, Lanczos method, error bounds, algorithms, generalised minimal residual method, 01 natural sciences, backward stability, numerical stability, conjugate gradient method, rounding errors, Algorithms with automatic result verification, GMRES method, iterative methods, backward error, 0101 mathematics, linear algebraic systems
File Description: application/xml
-
11
Authors:
Source: Computing. 75:15-25
Subject Terms: nonlinear singular integral equation, Water waves, gravity waves, dispersion and scattering, nonlinear interaction, convergence, Newton method, water waves, numerical verification, Algorithms with automatic result verification, Singular nonlinear integral equations, trigonometrical polynomials, Numerical methods for integral equations, 0101 mathematics, 01 natural sciences, Nekrasov's integral equation
File Description: application/xml
-
12
Authors:
Source: Applied Numerical Mathematics. 52:219-234
Subject Terms: Mathematical models, numerical examples, Finite element methods applied to problems in solid mechanics, Error bounds for boundary value problems involving PDEs, elliptic equation, Finite elements, Verification, 0211 other engineering and technologies, 02 engineering and technology, Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs, error control, 01 natural sciences, Adaptivity, Feedback information, Validation, Algorithms with automatic result verification, 0101 mathematics, Hierarchic models
File Description: application/xml
-
13
Authors:
Contributors:
Source: Computational Geometry. 30:145-164
Subject Terms: Algebraic number, Control and Optimization, Sturm sequences, Numerical computation of solutions to systems of equations, Computer aided geometric design, 0102 computer and information sciences, 02 engineering and technology, Quadric, 01 natural sciences, Computer Science Applications, Computer-aided design (modeling of curves and surfaces), Computational Mathematics, Rational univariate representation, Certified computation, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], Implicit surface, Computational Theory and Mathematics, Sweeping algorithm, 0202 electrical engineering, electronic engineering, information engineering, Algorithms with automatic result verification, Subdivision, Geometry and Topology, Arrangement, Multivariate polynomial system
File Description: application/xml; application/pdf
Access URL: https://inria.hal.science/inria-00350858v1/document
https://doi.org/10.1016/j.comgeo.2004.05.003
https://inria.hal.science/inria-00350858v1
https://dl.acm.org/doi/10.5555/1055715.1646512
https://hal.inria.fr/inria-00350858/document
https://hal.inria.fr/inria-00350858
https://doi.org/10.1016/j.comgeo.2004.05.003
https://www.sciencedirect.com/science/article/pii/S092577210400080X
https://dblp.uni-trier.de/db/journals/comgeo/comgeo30.html#MourrainTT05 -
14
Authors: et al.
Source: Japan Journal of Industrial and Applied Mathematics. 22:111-131
Subject Terms: Numerical solution of boundary value problems involving ordinary differential equations, numerical examples, Nonlinear boundary value problems for ordinary differential equations, Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations, nonlinear two point boundary value problems, L-spline method, 01 natural sciences, computer assisted proof, Singular perturbations for ordinary differential equations, Algorithms with automatic result verification, singular perturbations, 0101 mathematics, verification of finite element solutions, exponential fitting, Theorem proving (deduction, resolution, etc.)
File Description: application/xml
Access URL: https://www.nakamura-u.ac.jp/~hashimot/Files/jjiam-22-1.pdf
https://ci.nii.ac.jp/naid/120000981475
https://waseda.pure.elsevier.com/en/publications/a-numerical-verification -method-for-solutions-of-singularly-pertu
https://kyushu-u.pure.elsevier.com/en/publications/a-numerical-verification -method-for-solutions-of-singularly-pertu
https://link.springer.com/article/10.1007/BF03167479
http://www.nakamura-u.ac.jp/~hashimot/Files/jjiam-22-1.pdf -
15
Authors:
Source: SIAM Journal on Numerical Analysis. 43:1348-1361
Subject Terms: Applications of operator theory in numerical analysis, Fixed-point theorems, General methods in interval analysis, Numerical computation of solutions to systems of equations, Miranda's existence theorem, computational verification, Algorithms with automatic result verification, Borsuk's theorem, nonlinear systems, 0101 mathematics, interval analysis, 01 natural sciences
File Description: application/xml
Access URL: https://zbmath.org/2220053
https://doi.org/10.1137/s0036142903438148
https://epubs.siam.org/doi/10.1137/S0036142903438148
https://locus.siam.org/doi/abs/10.1137/S0036142903438148
https://dialnet.unirioja.es/servlet/articulo?codigo=1305550
https://dblp.uni-trier.de/db/journals/siamnum/siamnum43.html#FrommerL05 -
16
Authors:
Source: Numerical Algorithms. 37:177-185
Subject Terms: predictor-corrector-algorithm, interior-point methods, Analytic circuit theory, validation of solutions, 0202 electrical engineering, electronic engineering, information engineering, Algorithms with automatic result verification, linear programming, Interior-point methods, 02 engineering and technology, 0101 mathematics, 01 natural sciences
File Description: application/xml
Access URL: https://dblp.uni-trier.de/db/journals/na/na37.html#IdrissW04
https://dialnet.unirioja.es/servlet/articulo?codigo=1052205
https://ui.adsabs.harvard.edu/abs/2004NuAlg..37..177I/abstract
https://link.springer.com/article/10.1023%2FB%3ANUMA.0000049465.66643.ce
https://link.springer.com/content/pdf/10.1023/B:NUMA.0000049465.66643.ce.pdf -
17
Authors:
Contributors:
Source: Numerical Algorithms. 37:377-390
Subject Terms: cestac method, CADNA software, numerical examples, Roundoff error, prosolver software, discrete stochastic arithmetic, numerical software validation, 02 engineering and technology, [INFO] Computer Science [cs], 01 natural sciences, round-off error propagation, 0202 electrical engineering, electronic engineering, information engineering, Algorithms with automatic result verification, 0101 mathematics
File Description: application/xml
Access URL: https://hal.science/hal-01146498v1
https://doi.org/10.1023/b:numa.0000049483.75679.ce
https://dblp.uni-trier.de/db/journals/na/na37.html#Vignes04
http://ui.adsabs.harvard.edu/abs/2004NuAlg..37..377V/abstract
https://dialnet.unirioja.es/servlet/articulo?codigo=1052223
https://link.springer.com/article/10.1023/B:NUMA.0000049483.75679.ce
https://hal.archives-ouvertes.fr/hal-01146498 -
18
Authors:
Source: Numerical Algorithms. 37:285-299
Subject Terms: phase intervals, algorithm, nondestructive testing, 4. Education, Interval and finite arithmetic, Civil Engineering, 01 natural sciences, pulse echo, phase measurement, magnetic resonance, aerospace structures, Algorithms with automatic result verification, Computer Engineering, Image processing (compression, reconstruction, etc.) in information and communication theory, 0101 mathematics, fault shapes
File Description: application/xml; application/pdf
Access URL: https://digitalcommons.utep.edu/cgi/viewcontent.cgi?article=1277&context=cs_techrep
https://link.springer.com/article/10.1023/B:NUMA.0000049475.44047.c8
https://dialnet.unirioja.es/servlet/articulo?codigo=1052215
https://dblp.uni-trier.de/db/journals/na/na37.html#MulupuruKO04
https://digitalcommons.utep.edu/cs_techrep/278/
https://ui.adsabs.harvard.edu/abs/2004NuAlg..37..285M/abstract
https://scholarworks.utep.edu/cgi/viewcontent.cgi?article=1277&context=cs_techrep -
19
Authors:
Source: Numerical Algorithms. 37:3-11
Subject Terms: General methods in interval analysis, geophysics, interval mathematics, 0202 electrical engineering, electronic engineering, information engineering, Algorithms with automatic result verification, 02 engineering and technology, tessellation-based model, 0101 mathematics, General questions in geophysics, topographic categorization, 01 natural sciences
File Description: application/xml
-
20
Authors: et al.
Source: Numerical Algorithms. 37:225-232
Subject Terms: Kolmogorov-Smirnov statistic, Clustering in the social and behavioral sciences, Classification and discrimination, cluster analysis (statistical aspects), convex segments of interval data, Sampling theory, sample surveys, statistical methods, Algorithms with automatic result verification, Computer Engineering, 0101 mathematics, 01 natural sciences, clustering
File Description: application/xml; application/pdf
Access URL: https://digitalcommons.utep.edu/cgi/viewcontent.cgi?article=1275&context=cs_techrep
https://dialnet.unirioja.es/servlet/articulo?codigo=1052209
https://link.springer.com/content/pdf/10.1023/B:NUMA.0000049469.02043.24.pdf
http://ui.adsabs.harvard.edu/abs/2004NuAlg..37..225K/abstract
http://www.nsc.ru/interval/Library/Thematic/DataProcs/ConcaveConvex.pdf
https://dblp.uni-trier.de/db/journals/na/na37.html#KreinovichPFG04
https://link.springer.com/article/10.1023/B:NUMA.0000049469.02043.24
Nájsť tento článok vo Web of Science 
Full Text Finder