33 results on '"Csendes, Tibor"'
Search Results
2. Interval analysis and verification of mathematical models
3. Verified calculation of the solution of algebraic Riccati equation
4. INTLAB — INTerval LABoratory
5. Expression Concepts in Scientific Computing
6. Convex Sets of Full Rank Matrices
7. SCAN-98 Collected Bibliography
8. A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature
9. On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic
10. A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions
11. Influences of Rounding Errors in Solving Large Sparse Linear Systems
12. Towards an optimal control of the wrapping effect
13. Multiaspect Interval Types
14. MATLAB-Based Analysis of Roundoff Noise
15. A Numerical Verification Method of Solutions for the Navier-Stokes Equations
16. A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes
17. Single-Number Interval I/O
18. Prediction by extrapolation for interval tightening methods
19. Verified Error Bounds for Linear Systems Through the Lanczos Process
20. Verified Computation of Fast Decreasing Polynomials
21. A Few Results on Table-Based Methods
22. A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic
23. Outer Estimation of Generalized Solution Sets to Interval Linear Systems
24. The Interval-Enhanced GNU Fortran Compiler
25. Rigorous Global Search: Industrial Applications
26. An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation
27. Surface-to-surface intersection with complete and guaranteed results
28. An Accurate Distance-Calculation Algorithm for Convex Polyhedra
29. Interval Analysis for Embedded Systems
30. Comparing Partial Consistencies
31. The Contribution of T. Sunaga to Interval Analysis and Reliable Computing
32. An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2
33. Performance Evaluation Technique STU and libavi Library
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.