Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming. (English) Zbl 07780862
MSC:
65-XX
Found 71 Documents (Results 1–71)
An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic. (English) Zbl 1540.65141
MSC:
65G30
A certificate-based approach to formally verified approximations. (English) Zbl 07649957
Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 8, 19 p. (2019).
MSC:
68V15
Computing the noncentral-\(F\) distribution and the power of the \(F\)-test with guaranteed accuracy. (English) Zbl 1417.65028
Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques. (English) Zbl 1397.93046
An efficient approach to solve very large dense linear systems with verified computing on clusters. (English) Zbl 1363.65088
Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation. (English) Zbl 1301.93041
Interval methods for real-time capable robust control of solid oxide fuel cell systems. (English) Zbl 1302.65120
Computing enclosures for the inverse square root and the sign function of a matrix. (English) Zbl 1293.65071
Fast interval matrix multiplication. (English) Zbl 1264.65065
Reviewer: Günter Mayer (Rostock)
MSC:
65F30
65G30
A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure. (English) Zbl 1238.65037
MSC:
65G20
Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard. (English) Zbl 1238.65040
Verified error bounds for solutions of Sylvester matrix equations. (English) Zbl 1236.65045
Reviewer: Constantin Popa (Constanţa)
Embedding C-XSC nonlinear solvers in Mathematica. (English) Zbl 1289.65302
Reviewer: Angela Slavova (Sofia)
Extended interval Newton method based on the precise quotient set. (English) Zbl 1298.65087
Reviewer: Liu Xinguo (Qingdao)
Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis. (English) Zbl 1222.93216
MSC:
93E10
Solving dense interval linear systems with verified computing on multicore architectures. (English) Zbl 1323.65137
Palma, José M. Laginha M. (ed.) et al., High performance computing for computational science – VECPAR 2010. 9th international conference, Berkeley, CA, USA, June 22–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19327-9/pbk). Lecture Notes in Computer Science 6449, 435-448 (2011).
A solver for complex-valued parametric linear systems. (English) Zbl 1217.65079
MSC:
65F30
65G30
Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods. (English) Zbl 1211.90208
Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models. (English) Zbl 1179.90214
Uncertainty of power load data: an interval mathematics approach realized in C-XSC. (Portuguese) Zbl 1208.65059
MSC:
65G30
Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm. (English) Zbl 1180.90321
MSC:
90C30
Estimating parameters for generalized mass action models using constraint propagation. (English) Zbl 1119.92031
Solving a huff-like competitive location and design model for profit maximization in the plane. (English) Zbl 1163.90604
Interval analysis techniques for boundary value problems of elasticity in two dimensions. (English) Zbl 1117.65163
Reviewer: Günter Mayer (Rostock)
Empirical convergence speed of inclusion functions for facility location problems. (English) Zbl 1109.65057
Efficient task scheduling in the parallel result-verifying solution of nonlinear systems. (English) Zbl 1083.65051
Motivations for an arbitrary precision interval arithmetic and the MPFI library. (English) Zbl 1078.65543
Empirical investigation of the convergence speed of inclusion functions in a global otimization context. (English) Zbl 1078.65547
An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems. (English) Zbl 1077.65063
Precise numerical computation. (English) Zbl 1075.68104
A new inclusion function for optimization: kite – the one-dimensional case. (English) Zbl 1082.90093
Improved validated bounds for Taylor coefficients and for Taylor remainder series. (English) Zbl 1018.65030
New solutions of the Gelfand problem. (English) Zbl 1003.65131
Reviewer: Eugene L.Allgower (Fort Collins)
A branch-and-prune method for global optimization. (English) Zbl 1391.90644
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). 215-226 (2001).
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).
Interval input and output. (English) Zbl 1391.65128
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). 41-51 (2001).
MSC:
65G40
Computable bounds for Taylor coefficients of analytic functions. (Berechenbare Schranken von Taylorkoeffizienten analytischer Funktionen.) (German) Zbl 0987.65040
SCAN-98 collected bibliography. (English) Zbl 0949.65049
Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22-25, 1998. Dordrecht: Kluwer Academic Publishers. 383-402 (1999).
Fast and parallel interval arithmetic. (English) Zbl 0942.65048
Reviewer: Günter Mayer (Speyer)
A note on epsilon-inflation. (English) Zbl 0920.65031
Reviewer: S.Markov (Sofia)
Guaranteed analysis and optimisation of parametric systems with application to their stability degree. (English) Zbl 0882.93019
Reviewer: Petko Hr.Petkov (Sofia)
Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers. (English) Zbl 0859.65064
Reviewer: H.Ratschek (Düsseldorf)
Variable-precision, interval arithmetic coprocessors. (English) Zbl 0855.65047
Reviewer: H.Ratschek (Düsseldorf)
Stimulating hardware and software support for interval arithmetic. (English) Zbl 0841.65033
Kearfott, R. Baker (ed.) et al., Applications of interval computations. Proceedings of an international workshop, El Paso, TX, USA, February 23-25, 1995. Dordrecht: Kluwer Academic Publishers. Appl. Optim. 3, 405-416 (1996).
Constructing large feasible suboptimal intervals for constrained nonlinear optimization. (English) Zbl 0843.90107
A software interface and hardware design for variable-precision interval arithmetic. (English) Zbl 0837.65045
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).
Filter Results by …
Document Type
- Journal Articles (63)
- Collection Articles (8)
all
top 5
Author
- Csendes, Tibor (8)
- Krämer, Walter (7)
- Gazdag-Tóth, Boglárka (6)
- Fernandez Hernandez, Jose (5)
- Frommer, Andreas (4)
- Popova, Evgeniya D. (4)
- Tucker, Warwick (4)
- Aschemann, Harald (3)
- Casado, Leocadio G. (3)
- Hashemi, Behnam (3)
- Kubica, Bartłomiej Jacek (3)
- Rauh, Andreas (3)
- Rump, Siegfried Michael (3)
- Senkel, Luise (3)
- Fernandes, Luiz Gustavo (2)
- Johnson, Tomas (2)
- Kearfott, Baker (2)
- Kolberg, Mariana Luderitz (2)
- Lang, Bruno (2)
- Neher, Markus (2)
- Pelegrín, Blas (2)
- Plastria, Frank (2)
- Schulte, Michael J. (2)
- Swartzlander, Earl E. jun. (2)
- Walter, Eric (2)
- Alefeld, Götz E. (1)
- Arendt, Luis P. (1)
- Auer, Ekaterina (1)
- Baharev, Ali (1)
- Bánhelyi, Balázs (1)
- Barboza, L. V. (1)
- Beelitz, Thomas (1)
- Berner, Sonja (1)
- Bischof, Christian H. (1)
- Bohlender, Gerd (1)
- Bréhard, Florent (1)
- Carrizosa, Emilio (1)
- Chen, Chin-Yun (1)
- Chen, Xiaojun (1)
- Corliss, George F. (1)
- Csallner, András Erik (1)
- Dawande, Milind W. (1)
- de Dinechin, Florent (1)
- De Farias, C. M. (1)
- De Vargas, R. R. (1)
- Didrit, Olivier (1)
- Dimuro, Graçaliz Pereira (1)
- Do Carmo, Andriele (1)
- Dyllong, Eva (1)
- García, Inmaculada F. (1)
- Goualard, Frédéric (1)
- Grapsa, Theodoula N. (1)
- Hölbig, Carlos Amaral (1)
- Hu, Chenyi (1)
- Hyvönen, Eero (1)
- Jaulin, Luc (1)
- Kersten, Julia (1)
- Kieffer, Michel (1)
- Kiel, Stefan (1)
- Klatte, Rudi (1)
- Kolev, Lubomir V. (1)
- Kristinsdottir, Birna P. (1)
- Krisztin, Tibor (1)
- Kulisch, Ulrich W. (1)
- Kutalik, Zoltan (1)
- Lagouanelle, Jean-Louis (1)
- Lauter, Christoph Quirin (1)
- Mahboubi, Assia (1)
- Malinowski, Krzysztof B. (1)
- Markót, Mihály Csaba (1)
- Mayer, Günter (1)
- Messine, Frédéric (1)
- Milani, Cleber Roberto (1)
- Mitrea, Irina (1)
- Moulton, Vincent L. (1)
- Muller, Jean-Michel (1)
- Nehmeier, Marco (1)
- Neumaier, Arnold (1)
- Pál, László (1)
- Petrone, Giovanni (1)
- Plum, Michael (1)
- Pous, Damien (1)
- Ratz, Dietmar (1)
- Rév, Endre (1)
- Revol, Nathalie (1)
- Rouillier, Fabrice (1)
- Ruíz, V. G. (1)
- Sablik, Thomas (1)
- Schichl, Hermann (1)
- Siano, Raffaele (1)
- Sofroniou, Mark (1)
- Sotiropoulos, Dimitris G. (1)
- Spagnuolo, Giovanni (1)
- Spaletta, Giulia (1)
- Ullrich, Christian P. (1)
- Vinkó, Tamás (1)
- Walster, G. William (1)
- Wieners, Christian (1)
- Wiethoff, Andreas (1)
- Wozniak, Adam (1)
- and 4 more Authors
all
top 5
Serial
- Reliab. Comput. (7)
- Computing (6)
- J. Comput. Appl. Math. (5)
- J. Glob. Optim. (4)
- ACM Trans. Math. Softw. (2)
- BIT (2)
- Numer. Algorithms (2)
- Linear Algebra Appl. (2)
- Comput. Appl. Math. (2)
- Math. Comput. Sci. (2)
- J. Math. Anal. Appl. (1)
- Math. Biosci. (1)
- J. Differ. Equations (1)
- J. Optim. Theory Appl. (1)
- Math. Comput. Simul. (1)
- Numer. Math. (1)
- Mitt. Ges. Angew. Math. Mech. (1)
- Comput. Oper. Res. (1)
- IMA J. Math. Control Inf. (1)
- SIAM J. Matrix Anal. Appl. (1)
- Ann. Oper. Res. (1)
- Int. J. Adapt. Control Signal Process. (1)
- Comput. Stat. (1)
- C. R. Acad. Bulg. Sci. (1)
- Eur. J. Oper. Res. (1)
- Math. Program. (1)
- Comput. Optim. Appl. (1)
- Numer. Linear Algebra Appl. (1)
- Eur. J. Control (1)
- Optim. Methods Softw. (1)
- ZAMM, Z. Angew. Math. Mech. (1)
- Informatica, Vilnius (1)
- Theor. Inform. Appl. (1)
- J. Log. Algebr. Program. (1)
- SIAM J. Appl. Dyn. Syst. (1)
- TEMA, Tend. Mat. Apl. Comput. (1)
- Decis. Mak. Manuf. Serv. (1)
- Albanian J. Math. (1)
- Serdica J. Comput. (1)
all
top 3
Software
- C-XSC (71)
- C-XSC 2.0 (40)
- INTLAB (18)
- INTOPT_90 (18)
- PROFIL/BIAS (12)
- PASCAL-XSC (8)
- ACRITH-XSC (7)
- filib++ (7)
- INTLIB (6)
- BLAS (5)
- PNM (5)
- AMIGO (4)
- FADBAD++ (4)
- LAPACK (4)
- MPFI (4)
- Mathematica (4)
- ParLinSys (4)
- mctoolbox (4)
- FORTRAN-XSC (3)
- Matlab (3)
- RODES (3)
- ScaLAPACK (3)
- intpakX (3)
- ADOL-C (2)
- Algorithm 524 (2)
- Arb (2)
- Boost Interval Arithmetic (2)
- CADAC (2)
- Chebfun (2)
- Coq (2)
- Cosy (2)
- FastPILSS (2)
- GitHub (2)
- IBEX (2)
- MPFR (2)
- OpenBLAS (2)
- PBLAS (2)
- VERSOFT (2)
- VPI (2)
- gaol (2)
- kepler98 (2)
- mftoolbox (2)
- ACETAF (1)
- ADHC (1)
- ADIC (1)
- AS 226 (1)
- Adept (1)
- Algorithm 432 (1)
- Algorithm 679 (1)
- Algorithm 693 (1)
- Algorithm 876 (1)
- Boost (1)
- CHOLMOD (1)
- CLAPACK (1)
- CR-LIBM (1)
- CRlibm (1)
- CSparse (1)
- CTDSX (1)
- CTLEX (1)
- CppAD (1)
- Excel (1)
- FI_LIB (1)
- FLAME (1)
- GlobSol (1)
- HIBA_USNE (1)
- INTBIS (1)
- INTPAK (1)
- ISOLATE (1)
- IbexOpt (1)
- Intel TBB (1)
- Isabelle/HOL (1)
- LINPACK (1)
- MAGMA (1)
- MATLAB expm (1)
- MKL (1)
- MPI (1)
- MPSolve (1)
- Maple (1)
- MathLink (1)
- NSGA-II (1)
- PLASMA (1)
- PRECISE (1)
- R (1)
- RealPaver (1)
- SLEEF (1)
- SONIC (1)
- SPEA2 (1)
- SeDuMi (1)
- SmartMobile (1)
- SuperMatrix (1)
- TAPENADE (1)
- TensorFlow (1)
- TopDeg (1)
- Traits (1)
- UG (1)
- UMFPACK (1)
- V-Clip (1)
- ValEncIA-IVP (1)
- YALMIP (1)
- gmp (1)
- and 6 more Software Packages
