65 Numerical analysis
65Gxx Error analysis and interval analysis

65G20 Algorithms with automatic result verification (2 articles)

Partner of
EuDML logo