DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Validated numerics
Validated numerics
A Negative Result for Hearing the Shape of a Triangle: a Computer-Assisted Proof
Do the Math
1 Introduction
AMS Short Course on Rigorous Numerics in Dynamics: the Parameterization Method for Stable/Unstable Manifolds of Vector Fields
Validated and Numerically Efficient Chebyshev Spectral Methods For
Focm 2017 Foundations of Computational Mathematics Barcelona, July 10Th-19Th, 2017 Organized in Partnership With
Book of Abstracts
Deterministic Global Optimization for Dynamic Systems Using Interval Analysis
Validated Numerics for Pedestrians
Applied Mathematics in Focus Nonlinear Problems of Elasticity S
Mafelap 2016
Arxiv:1905.02960V2 [Math.NA]
Produits Et Activités De La Recherche Equipe I : Géométrie Et Topologie
Computer-Assisted Estimates for Birkhoff Normal Forms
Self-Validated Numerical Methods and Applications
Validated Enclosures of Rotation Numbers
Validated Spectral Stability Via Conjugate Points
Program of the Sessions Atlanta, Georgia, January 4–7, 2017
Top View
Cylindrical Algebraic Decomposition Using Validated Numerics
Invariant Manifolds and Connecting Orbits
Complete List of Scientific Publications: PD Dr.-Ing. Habil
{PDF} Mathematical Analysis a Modern Approach to Advanced
A Bibliography of Domain Decomposition
A Functional Analytic Approach to Validated Numerics for Eigenvalues of Delay Equations
A Functional Analytic Approach to Validated Numerics for Eigenvalues of Delay Equations
AMS Short Course on Rigorous Numerics in Dynamics: (Un)Stable Manifolds and Connecting Orbits
A Dynamical Approach to Validated Numerics
Validated Numerics
A Symbolic-Numeric Validation Algorithm for Linear Odes with Newton-Picard Method Florent Bréhard
Accurate and Validated Numerical Computing
Sensitivity-Based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
Interval Methods for Global Optimization Belaid Moa Doctor Of
Interval Analysis: Theory and Applications
Rigorous Validation of Stochastic Transition Paths
New Publications Offered by the AMS
C – XSC 2.0 – a C++ Class Library for Extended Scientific Computing
Applied Mathematics in Focus
Mathematically Rigorous Global Optimization and Fuzzy Optimization a Brief Comparison of Paradigms, Methods, Similarities and Differences
[Math.NT] 6 Jan 2001
Download Quantum and Statistical Field Theory Free Ebook
Computational Dynamics Doi:10.3934/Jcd.2020005 C American Institute of Mathematical Sciences Volume 7, Number 1, June 2020 Pp
Wissenschaftliche Publikationen: PD Dr.-Ing. Habil. Andreas Rauh (Stand: 15.12.2019) ORCID-ID: 0000-0002-1548-6547
Validated Numerics with Python: the Validipy Package
SCAN 2016 17Th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics
Mathematical Sciences 2011
Kniha Abstraktů
A Selected Bibliography of Publications By, and About, Cornelius Lanczos
Årsrapport 2010
Invariants and Conservation Laws 107 Conserved
Mafelap 2016
Validated Numerics a Short Introduction to Rigorous Computations
Kaname MATSUE
Notices of the American Mathematical Society 35 Monticello Place, Pawtucket, RI 02861 USA American Mathematical Society Distribution Center
INTLAB References