Found 65 Documents (Results 1–65)
Mathematics and speed for interval arithmetic: a complement to IEEE 1788. (English) Zbl 1471.65034
MSC:
65G30
A new hybrid algorithm based on chaotic maps for solving systems of nonlinear equations. (English) Zbl 1355.49028
Solving multiobjective linear programming problem using interval arithmetic. (English) Zbl 1262.90089
Verified computed Peano constants and applications in numerical quadrature. (English) Zbl 1118.65007
Computing interval enclosures for definite integrals by application of triple adaptive strategies. (English) Zbl 1100.65017
Computing 78, No. 1, 81-99 (2006); erratum ibid. 99, No. 4, 427 (2017).
A contribution to the feasibility of the interval Gaussian algorithm. (English) Zbl 1086.65023
Reviewer: Jiří Rohn (Praha)
An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems. (English) Zbl 1077.65063
Best possible componentwise parameter inclusions computable from a priori estimates, measurements, and bounds for the measurement errors. (English) Zbl 1019.65031
Reviewer: Günter Mayer (Speyer)
Interval methods for global optimization using the boxing method. (English) Zbl 1391.65126
Krämer, Walter (ed.) et al., Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19–22, 2000. New York, NY: Springer (ISBN 978-0-306-46706-6/hbk; 978-1-4757-6484-0/ebook). 205-213 (2001).
Validated bounds for Taylor coefficients of analytic functions. (English) Zbl 0987.65027
Reviewer: Matti Vuorinen (Helsinki)
Acceleration of iteration methods for interval fixed point problems. (English) Zbl 0986.65055
Reviewer: Herbert Fischer (München)
A continuous location model for siting a non-noxious undesirable facility within a geographical region. (English) Zbl 1040.90531
Template generation for continuous transfer functions using interval analysis. (English) Zbl 0941.93041
Reviewer: E.Boje (Durban)
Verified construction of fully symmetric cubature formulae of degree \(4k-1\) with few nodes for fully symmetric planar regions using invariant theory. (English) Zbl 0925.65045
A note on epsilon-inflation. (English) Zbl 0920.65031
Reviewer: S.Markov (Sofia)
On Euler-like methods for the simultaneous approximation of polynomial zeros. (English) Zbl 0908.65029
Reviewer: A.Swift (Palmerston North)
An interval maximum entropy method for a discrete minimax problem. (English) Zbl 0907.65058
Reviewer: H.Hollatz (Magdeburg)
Helios: A modeling language for global optimization and its implementation in Newton. (English) Zbl 0905.65070
On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC. (English) Zbl 0885.65053
Reviewer: J.Rohn (Praha)
MSC:
65G30
Solving polynomial systems using a branch and prune approach. (English) Zbl 0874.65039
Reviewer: C.Bendtsen (Lyngby)
Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers. (English) Zbl 0859.65064
Reviewer: H.Ratschek (Düsseldorf)
On some simultaneous methods based on Weierstrass’ correction. (English) Zbl 0859.65048
Reviewer: A.Swift (Palmerston North)
Interval analysis as a tool for sensitivity analysis of a hemopoietic model. (English) Zbl 0854.92006
Verification of constrained minima. (English) Zbl 0859.65063
Reviewer: T.F.Coleman (Ithaca)
Errors in vector processing and the library libavi.a. (English) Zbl 0855.65049
Reviewer: H.Ratschek (Düsseldorf)
Verified computation of repeatedly iterated singular integrals of gas kinetics. (Verifizierte Berechnung mehrfach geschachtelter singulärer Integrale der Gaskinetik.) (German) Zbl 0889.65019
Karlsruhe: Univ. Karlsruhe, Fakultät Mathematik, 134 S. (1995).
Verified solution of large systems and global optimization problems. (English) Zbl 0866.65035
Reviewer: E.L.Allgower (Fort Collins)
Epsilon-inflation in verification algorithms. (English) Zbl 0839.65059
Reviewer: J.Rohn (Praha)
Experiences with a method for enclosing solutions of systems of equations. (English) Zbl 0866.65034
Reviewer: E.L.Allgower (Fort Collins)
Extended interval arithmetic in IEEE floating-point environment. (English) Zbl 0839.65061
Reviewer: V.V.Kobkov (Novosibirsk)
Computation of standard interval functions in multiple-precision interval arithmetic. (English) Zbl 0831.65019
Reviewer: G.Mayer (Rostock)
Solving systems of ordinary differential equations using Adams’ interpolation method with guaranteed accuracy. (English) Zbl 0832.65080
Reviewer: P.Y.Yalamov (Russe)
A computer aided existence and uniqueness proof for an inverse matrix eigenvalue problem. (English) Zbl 0834.65027
Reviewer: A.Frommer (Wuppertal)
Interval arithmetic on computers. (English) Zbl 0810.65040
Herzberger, Jürgen, Topics in validated computations. Proceedings of the IMACS-GAMM international workshop, Oldenburg, Germany, 30 August - 3 September 1993. Amsterdam: Elsevier. Stud. Comput. Math. 5, 473-497 (1994).
Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method. (English) Zbl 0811.65046
Numerical validation for an inverse matrix eigenvalue problem. (English) Zbl 0813.65076
Reviewer: G.Dimitriu (Iaşi)
A test environment using symbolic program trace. (English) Zbl 0817.65033
Reviewer: S.Markov (Sofia)
PROFIL/BIAS - A fast interval library. (English) Zbl 0808.65055
Reviewer: G.Mayer (Rostock)
Result verification in algebraic eigenvalue problems. (Ergebnisverifikation beim algebraischen Eigenwertproblem.) (German) Zbl 0812.65033
Chatterji, S. D. (ed.) et al., Jahrbuch Überblicke Mathematik 1994. Braunschweig: Vieweg. 111-130 (1994).
Reviewer: H.Fischer (München)
Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics. (English) Zbl 0817.65068
Reviewer: S.Markov (Sofia)
Numerics with automated result verification. (Numerik mit automatischer Ergebnisverifikation.) (German) Zbl 0796.65064
Reviewer: H.Ratschek (Düsseldorf)
An improvement of Gargantini’s simultaneous inclusion method for polynomial roots by Schröder’s correction. (English) Zbl 0793.65037
Reviewer: C.Bendtsen (Lyngby)
Numerical investigations on the problematics of boundary layers in extreme MHD-flows. (Numerische Untersuchungen zur Grenzschichtproblematik bei extremen MHD- Strömungen.) (German) Zbl 0830.76063
Karlsruhe: Math. Fak., Univ. Karlsruhe, vi, 104 S. (1993).
A portable multiple-precision arithmetic and multiple-precision interval arithmetic with applications. (Eine portable Langzahl- und Langzahlintervallarithmetik mit Anwendungen.) (German) Zbl 0795.65024
On some interval methods for algebraic, exponential and trigonometric polynomials. (English) Zbl 0796.65067
Reviewer: S.Markov (Sofia)
Numerical toolbox for verified computing. Volume I: Basic numerical problems. Theory, algorithms, and Pascal-XSC programs. (English) Zbl 0796.65001
Springer Series in Computational Mathematics. 21. Berlin: Springer- Verlag. xv, 337 p. (1993).
Reviewer: H.Fischer (München)
Interval arithmetic in staggered correction format. (English) Zbl 0796.65066
Adams, E. (ed.) et al., Scientific computing with automatic result verification. Boston: Academic Press, Inc.. Math. Sci. Eng. 189, 301-321 (1993).
Reviewer: H.Fischer (München)
MSC:
65G30
A necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matrices. (English) Zbl 0782.65044
Reviewer: H.Fischer (München)
Numerical computation of bounds for \(\pi\). (Numerische Berechnung von Schranken für \(\pi\).) (German) Zbl 0768.65005
Jahrb. Überbl. Math. 1993, 57-72 (1993).
Reviewer: J.Gilewicz (Marseille)
Typical numerical problems arising with the treatment of ill conditioned partial differential equations by the example of the MHD equations. (English) Zbl 0840.76048
Atanassova, Lidiya (ed.) et al., Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991. Amsterdam: North-Holland. 361-370 (1992).
An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation. (English) Zbl 0839.65073
Atanassova, Lidiya (ed.) et al., Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991. Amsterdam: North-Holland. 329-338 (1992).
Computation of interval bounds for elliptic integrals. (English) Zbl 0838.65010
Atanassova, Lidiya (ed.) et al., Computer arithmetic and enclosure methods. Proceedings of the 3rd International IMACS-GAMM Symposium on Computer Arithmetic and Scientific Computing (SCAN-91), Oldenburg, Germany, 1-4 October 1991. Amsterdam: North-Holland. 289-298 (1992).
Maximally exact calculation of expressions of scalar products and highly exact evaluation of parts of programs. (Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen.) (German) Zbl 0847.68023
Karlsruhe: Math. Fak., Univ. Karlsruhe, vi, 171 S. (1992).
Reviewer: S.Meyer (Berlin)
Two-sided method for solving system of ordinary differential equations with automatic determination of guaranteed estimates. (English) Zbl 0829.65109
Pascal-XSC. Language description with examples. (Pascal-XSC. Sprachbeschreibung mit Beispielen.) (German) Zbl 0757.68023
Berlin etc.: Springer-Verlag. X, 345 p. (1991).
Reviewer: M.Vuorinen (Helsinki)
Filter Results by …
Document Type
- Journal Articles (52)
- Collection Articles (8)
- Books (5)
all
top 5
Author
- Mayer, Günter (8)
- Ratz, Dietmar (5)
- Kulisch, Ulrich W. (4)
- Petković, Miodrag S. (4)
- Alefeld, Götz E. (3)
- Chen, Chin-Yun (3)
- Jankowska, Malgorzata A. (3)
- Krämer, Walter (3)
- Marciniak, Andrzej (3)
- Carstensen, Carsten (2)
- Ermakov, Oleg B. (2)
- Geörg, Stefan (2)
- Hammer, Rolf (2)
- Heindl, Gerhard (2)
- Klatte, Rudi (2)
- Luther, Wolfram Jérôme (2)
- Nataraj, Paluri S. V. (2)
- Neher, Markus (2)
- Otten, Werner (2)
- Rump, Siegfried Michael (2)
- Ullrich, Christian P. (2)
- Van Hentenryck, Pascal (2)
- Wolfe, Michael A. (2)
- Berlejung, Heinrich M. E. (1)
- Berner, Sonja (1)
- Claudio, Dalcidio M. (1)
- Csallner, András Erik (1)
- Diverio, Tiarajú Asmuz (1)
- Fernandes, Úrsula A. (1)
- Fernandez Hernandez, Jose (1)
- Fernández, Pascual (1)
- Gawali, Deepak D. (1)
- Gienger, A. (1)
- Herceg, Đorđe D. (1)
- Hocks, Matthias (1)
- Hofer, Eberhard P. (1)
- Hoffmann, Tomasz (1)
- Huang, Zhenyu (1)
- Kapur, Deepak (1)
- Kearfott, Baker (1)
- Knüppel, Olaf (1)
- Koupaei, J. Alikhani (1)
- Kreinovich, Vladik Yakovlevich (1)
- Kubica, Bartłomiej Jacek (1)
- Lohner, Rudolf J. (1)
- Malinowski, Krzysztof B. (1)
- McAllester, David Allen (1)
- Michel, Laurent (1)
- Neaga, Michael (1)
- Pelegrín, Blas (1)
- Pieper, Lars (1)
- Popova, Evgeniya D. (1)
- Rihm, Robert (1)
- Sakurai, Tetsuya (1)
- Sardar, Gautam (1)
- Schaefer, Mark J. (1)
- Schäfer, Uwe (1)
- Shen, Zuhe (1)
- Starks, Scott A. (1)
- Storck, Ulrike (1)
- Suprajitno, Herry (1)
- Tibken, Bernd (1)
- Tričković, Slobodan B. (1)
- Wiethoff, Andreas (1)
- Zidna, Ahmed (1)
all
top 5
Serial
- Computing (8)
- J. Comput. Appl. Math. (8)
- Reliab. Comput. (6)
- Interval Comput. (5)
- Appl. Math. Comput. (4)
- Numer. Algorithms (2)
- Z. Angew. Math. Mech. (1)
- Chaos Solitons Fractals (1)
- ACM Trans. Math. Softw. (1)
- Automatica (1)
- BIT (1)
- SIAM J. Numer. Anal. (1)
- Theor. Comput. Sci. (1)
- Mitt. Ges. Angew. Math. Mech. (1)
- Appl. Numer. Math. (1)
- J. Sci. Comput. (1)
- Japan J. Ind. Appl. Math. (1)
- Appl. Math., Praha (1)
- J. Glob. Optim. (1)
- Eur. J. Oper. Res. (1)
- Linear Algebra Appl. (1)
- ZAMM, Z. Angew. Math. Mech. (1)
- Springer Ser. Comput. Math. (1)
- Appl. Math. Sci., Ruse (1)
- Int. J. Appl. Comput. Math. (1)
- Results Appl. Math. (1)
all
top 3
Software
- PASCAL-XSC (65)
- C-XSC (8)
- C-XSC 2.0 (7)
- ACRITH-XSC (5)
- FORTRAN-XSC (3)
- INTOPT_90 (3)
- NSDTST (3)
- STDTST (3)
- VNODE (3)
- CADRE (2)
- INTLAB (2)
- INTLIB (2)
- PROFIL/BIAS (2)
- minpack (2)
- ACETAF (1)
- AMPL (1)
- BLAS (1)
- BRENT (1)
- Cubpack++ (1)
- GENLS (1)
- GSA (1)
- Helios (1)
- IMSL Numerical Libraries (1)
- INTBIS (1)
- INTPAK (1)
- LAPACK (1)
- LINPACK (1)
- Matlab (1)
- NAG (1)
- Newton (1)
- PNM (1)
- libavi.a (1)