INTLAB is the Matlab toolbox for reliable computing and self-validating algorithms. It comprises of self-validating methods for dense linear systems (also inner inclusions and structured matrices) sparse s.p.d. linear systems systems of nonlinear equations (including unconstrained optimization) roots of univariate and multivariate nonlinear equations (simple and clusters) eigenvalue problems (simple and clusters, also inner inclusions and structured matrices) generalized eigenvalue problems (simple and clusters) quadrature for univariate functions univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including vectors and matrices (very fast) interval arithmetic for real and complex sparse matrices (very fast) automatic differentiation (forward mode, vectorized computations, fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization) Taylor series for univariate functions automatic slopes (sequential approach, slow for many variables) verified integration of (simple) univariate functions univariate and multivariate (interval) polynomials rigorous real interval standard functions (fast, very accurate,  3 ulps) rigorous complex interval standard functions (fast, rigorous, but not necessarily sharp inclusions) rigorous input/output (outer and inner inclusions) accurate summation, dot product and matrix-vector residuals (interpreted, reference implementation, slow) multiple precision interval arithmetic with error bounds (does the job, slow)

References in zbMATH (referenced in 316 articles , 1 standard article )

Showing results 1 to 20 of 316.
Sorted by year (citations)

1 2 3 ... 14 15 16 next

  1. Boeck, Thomas; Terzijska, Džulia; Eichfelder, Gabriele: Maximum electromagnetic drag configurations for a translating conducting cylinder with distant magnetic dipoles (2018)
  2. Breden, Maxime; Castelli, Roberto: Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (2018)
  3. Castelli, Roberto; Gameiro, Marcio; Lessard, Jean-Philippe: Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (2018)
  4. Castelli, Roberto; Garrione, Maurizio: Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (2018)
  5. Dehghani-Madiseh, Marzieh; Hladík, Milan: Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations (2018)
  6. Goluskin, David: Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system (2018)
  7. Kalies, William D.; Kepley, Shane; Mireles James, J. D.: Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds (2018)
  8. Li, Zhe; Wan, Baocheng; Gao, Ruimei: Verified error bounds for eigenvalues of geometric multiplicity $q$ and corresponding invariant subspaces (2018)
  9. Miyajima, Shinya: Fast verified computation for the solvent of the quadratic matrix equation (2018)
  10. Miyajima, Shinya: Fast verified computation for the matrix principal $p$th root (2018)
  11. Muller, Jean-Michel; Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge: Handbook of floating-point arithmetic (2018)
  12. Nepomuceno, Erivelton G.; Peixoto, Márcia L. C.; Martins, Samir A. M.; Rodrigues, Heitor M. Junior; Perc, Matjaž: Inconsistencies in numerical simulations of dynamical systems using interval arithmetic (2018)
  13. van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; Murray, Maxime: Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (2018)
  14. Capiński, Maciej J.; Mireles James, J. D.: Validated computation of heteroclinic sets (2017)
  15. Choi, Sou-Cheng T.; Ding, Yuhan; Hickernell, Fred J.; Tong, Xin: Local adaption for approximation and minimization of univariate functions (2017)
  16. Fendl, Hannes; Neumaier, Arnold; Schichl, Hermann: Certificates of infeasibility via nonsmooth optimization (2017)
  17. Jaquette, Jonathan; Lessard, Jean-Philippe; Mischaikow, Konstantin: Stability and uniqueness of slowly oscillating periodic solutions to Wright’s equation (2017)
  18. Kiss, Gabor; Lessard, Jean-Philippe: Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator (2017)
  19. Kobayashi, Ryo; Kimura, Takuma; Oishi, Shin’ichi: A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems (2017)
  20. Matsue, Kaname; Hiwaki, Tomohiro; Yamamoto, Nobito: On the construction of Lyapunov functions with computer assistance (2017)

1 2 3 ... 14 15 16 next