… Kashiwagi, “Existence test for solution of nonlinear systems applying affine arithmetic,” J.
Computational and Applied Mathematics, vol.199, no.2, pp.304–309, Feb 2007. …

… In this context, this thesis seeks to propose a practical EMS for CHP isolated MGs,
addressing uncertainty with the affine arithmetic method. Such a formulation could offer better …

(和) 本報告では, 非線形方程式の解曲線を, 既知の解から追跡する方法として, 区間演算を用いた
場合とアフィン演算を用いた場合について, 反復回数と実行時間を比較する. ただし, アフィン演算の…

… It is based on Runge-Kutta methods implemented with affine arithmetic. The distinctive
feature is that all algorithms are formally verified in the interactive theorem prover Isabelle/HOL: …

… Approximating Parametric curves with Strip Trees using Affine Arithmetic. In: Sibgrapi 2002
- 15th Brazilian Symposium on Computer Graphics and Image Processing, 2002, Fortaleza, …

… It combines the interval and affine arithmetic for range analysis. Fang et al. employ affine
arithmetic for modeling range and precision analyses [8]. While the use of affine arithmetic to …

… We present the formal verification of a rigorous numerical algorithm for solving ODEs based
on affine arithmetic and Runge-Kutta methods. It includes heuristics to split, intersect, and …

パラメータ依存非線形方程式の求解問題に対して, 区間演算を用いた全解探索アルゴリズム [1] が
知られている. 文献 [1] では探索領域を軸に平行な超直方体とし, 軸選択をしてから解の存在保証を…

… un paso más allá introduciendo elementos de Multi-Element Generalized Polynomial Chaos
(ME-gPC) y combinándolos con una técnica moderna basada en Modified Affine Arithmetic …

… so I used Affine-arithmetic(AA) as a precision-proving tool for intersection … タイトル(英) Ray
Triangle intersection using Affine arithmetic … キーワード(2)(和/英) アフィン演算 / affine arithmetic …