About: Interval-valued computation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Method for bounding the errors of numerical computations

Property	Value
dbo:description	method for bounding the errors of numerical computations (en) computer arithmetic for mathematical intervals (sco) 数学的計算における丸め誤差と測定誤差に対して評価を行い信頼できる結果をもたらす数値的手法を開発する技術 (ja)
dbo:thumbnail	wiki-commons:Special:FilePath/Set_of_curves_Outer_approximation.png?width=300
dbo:wikiPageExternalLink	http://arblib.org/ http://verifiedby.me/kv/index-e.html http://www.texmacs.org/joris/ball/ball.html http://www.ti3.tu-harburg.de/rump/intlab/ http://www2.math.uu.se/~warwick/main/papers/ECM04Tucker.pdf https://link.springer.com/conference/ppam https://www.mat.univie.ac.at/~neum/interval.html https://www.ensta-bretagne.fr/jaulin/swim.html http://www.cs.utep.edu/interval-comp/hayes.pdf https://books.google.com/books%3Fid=IEN56sqHtR8C&pg=PP1 http://mathworld.wolfram.com/IntervalArithmetic.html
dbo:wikiPageWikiLink	dbr:Automatic_differentiation dbr:Warwick_Tucker dbr:Set_estimation dbr:University_of_Vienna dbr:Infimum_and_supremum dbr:Diagonally_dominant_matrix dbr:MuPAD dbr:C++ dbc:Computer_arithmetic dbc:Numerical_analysis dbr:Compiler dbr:Octonion dbr:Optimization_problem dbr:Gauss–Seidel_method dbr:Arithmetic dbc:Arithmetic dbr:Complex_number dbr:Differential_equation dbr:Logarithm dbr:Numerical_analysis dbr:Real_number dbr:Addition dbr:Interval_(mathematics) dbr:Fortran dbr:IEEE_754 dbr:Newton's_method dbr:University_of_Wuppertal dbr:Zilog_Z80 dbr:Bisection_method dbr:Sophia_Antipolis dbr:Significant_figures dbr:Ramon_E._Moore dbr:Branch_and_bound dbr:Pivot_element dbr:Fuzzy_number dbr:Hamburg_University_of_Technology dbr:Pi dbr:University_of_Karlsruhe dbr:Monotonic_function dbr:Multigrid_method dbr:Thomas_Callister_Hales dbr:Archimedes dbc:Data_types dbr:GNU_General_Public_License dbr:Programming_language dbr:Quaternion dbr:Superset dbr:Attractor dbr:Arbitrary-precision_arithmetic dbr:Constraint_programming dbr:Kepler_conjecture dbr:Frink_(programming_language) dbr:C_(programming_language) dbr:Multiplication dbr:Subtraction dbr:Pascal_(programming_language) dbr:Body_mass_index dbr:Affine_arithmetic dbr:Root-finding_algorithm dbr:Maple_(software) dbr:Julia_(programming_language) dbr:Interval_finite_element dbr:Fuzzy_logic dbr:GNU_Octave dbr:Princeton_University_Press dbr:Exponential_function dbr:Boost_(C++_libraries) dbr:Preimage dbr:INTLAB dbr:Z23_(computer) dbr:Motion_planning dbr:Maxima_(software) dbr:Division_(mathematics) dbr:Smale's_problems dbr:Computing_(journal) dbr:Karlsruhe_Accurate_Arithmetic dbr:System/370 dbr:Infimum dbr:Monte_Carlo_simulation dbr:Cosine dbr:Sine dbr:INRIA dbr:Matlab dbr:Measurement_error dbr:Unum_(number_format) dbr:Euler_(software) dbr:Supremum dbr:Set_inversion dbr:FriCAS dbr:Mathematica dbr:Fortran_77 dbr:Lorenz_attractor dbr:Ordinary_differential_equations dbr:Numerical_methods dbr:Eldon_R._Hansen dbr:Monte-Carlo_simulation dbr:Number_systems dbr:File:Fuzzy_arithmetic.png dbr:BLAS dbr:Bergische_University_of_Wuppertal dbr:Zuse dbr:Floating_point_error_mitigation dbr:Ulrich_W._Kulisch dbr:Pascal-SC dbr:Pascal-XSC dbr:Mieczyslaw_Warmus dbr:Rounding_error dbr:Triplex-ALGOL_Karlsruhe dbr:Propagation_of_error dbr:File:Illustration_of_interval_mincing.png dbr:File:Illustration_of_outward_rounding.png dbr:File:Interval-dependence_problem-front_view.png dbr:File:Interval-dependence_problem.png dbr:File:Interval-wrapping_effect.png dbr:File:Interval_BMI_Example.png dbr:File:Interval_BMI_Simple_Example.png dbr:File:Interval_Newton_step.png dbr:File:Interval_multiplication.png dbr:File:Meanvalue_extension.png dbr:File:Set_of_curves_Outer_approximation.png dbr:File:Value_domain_of_monotonic_function.png dbr:Wrapping_effect
dbp:cs1Dates	y (en)
dbp:date	2020-01-30 (xsd:date) January 2020 (en)
dbp:url	https://web.archive.org/web/20200130222824/http:/www.ti3.tu-harburg.de/rump/intlab/
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Anchor dbt:Cite_journal dbt:Tone dbt:Data_types dbt:Multiple_issues dbt:Use_dmy_dates dbt:Interlanguage_link dbt:Use_list-defined_references dbt:More_citations_needed dbt:More_citations_needed_section dbt:Ill dbt:Webarchive dbt:GitHub dbt:Short_description
dct:subject	dbc:Computer_arithmetic dbc:Numerical_analysis dbc:Arithmetic dbc:Data_types
rdfs:label	Interval-valued computation (en) Interval arithmetic (en) Intervalová aritmetika (cs) Intervallarithmetik (de) Arithmétique d'intervalles (fr) 区間演算 (ja) Analiza przedziałowa (pl) Интервальная арифметика (ru) Інтервальна арифметика (uk)
owl:sameAs	freebase:Interval-valued computation wikidata:Interval-valued computation dbpedia-de:Interval-valued computation dbpedia-fr:Interval-valued computation dbpedia-ja:Interval-valued computation dbpedia-ru:Interval-valued computation dbpedia-pl:Interval-valued computation dbpedia-cs:Interval-valued computation dbpedia-sco:Interval-valued computation dbpedia-simple:Interval-valued computation dbpedia-uk:Interval-valued computation dbpedia-ur:Interval-valued computation dbpedia-global:Interval-valued computation
prov:wasDerivedFrom	wikipedia-en:Interval-valued_computation?oldid=659370960&ns=0 wikipedia-en:Interval_arithmetic?oldid=1296016880&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Fuzzy_arithmetic.png wiki-commons:Special:FilePath/Illustration_of_interval_mincing.png wiki-commons:Special:FilePath/Illustration_of_outward_rounding.png wiki-commons:Special:FilePath/Interval-dependence_problem-front_view.png wiki-commons:Special:FilePath/Interval-dependence_problem.png wiki-commons:Special:FilePath/Interval-wrapping_effect.png wiki-commons:Special:FilePath/Interval_BMI_Example.png wiki-commons:Special:FilePath/Interval_BMI_Simple_Example.png wiki-commons:Special:FilePath/Interval_Newton_step.png wiki-commons:Special:FilePath/Interval_multiplication.png wiki-commons:Special:FilePath/Meanvalue_extension.png wiki-commons:Special:FilePath/Set_of_curves_Outer_approximation.png wiki-commons:Special:FilePath/Value_domain_of_monotonic_function.png
foaf:isPrimaryTopicOf	wikipedia-en:Interval-valued_computation wikipedia-en:Interval_arithmetic
is dbo:genre of	dbr:INTLAB
is dbo:knownFor of	dbr:Miodrag_Petković dbr:Nathalie_Revol
is dbo:wikiPageRedirects of	dbr:IEEE_1788 dbr:Interval-valued_computation dbr:Interval-valued_computation dbr:ACRITH dbr:ACRITH-XSC dbr:IEEE_1788-2015 dbr:IEEE_1788-2015 dbr:Interval_mathematics dbr:Interval_mathematics dbr:C-XSC dbr:Extension_for_Scientific_Computation dbr:Extension_for_Scientific_Computing dbr:Extensions_for_Scientific_Computation dbr:Extensions_for_Scientific_Computing dbr:XSC_(floating_point) dbr:Fortran-SC dbr:FORTRAN-SC dbr:IBM_ACRITH dbr:IEEE_P1788 dbr:IEEE_P1788D9.3 dbr:Interval-valued_computing dbr:Interval_analysis dbr:Interval_arithmetics dbr:Interval_computation dbr:Interval_methods dbr:Triplex_number
is dbo:wikiPageWikiLink of	dbr:Projectively_extended_real_line dbr:Ulrich_Kulisch dbr:Set_estimation dbr:Interval_contractor dbr:Interval_propagation dbr:Subpaving dbr:Vaimos dbr:Satisfiability_modulo_theories dbr:Numerical_analysis dbr:Type-2_fuzzy_sets_and_systems dbr:Interval_(mathematics) dbr:Floating-point_arithmetic dbr:Newton's_method dbr:List_of_numerical_analysis_topics dbr:Significance_arithmetic dbr:Significant_figures dbr:Ramon_E._Moore dbr:Dyadic_rational dbr:Constrained_optimization dbr:Abstract_interpretation dbr:Branch_and_bound dbr:Lorenz_system dbr:Computer-assisted_proof dbr:Fuzzy_number dbr:Willard_L._Miranker dbr:Qalculate! dbr:Minkowski_addition dbr:Probability_bounds_analysis dbr:Frink_(programming_language) dbr:Plus–minus_sign dbr:ALGOL dbr:Distributive_property dbr:Affine_arithmetic dbr:Rounding dbr:GNU_MPFR dbr:Interval_finite_element dbr:Uncertainty_quantification dbr:Numerical_integration dbr:List_of_numerical_libraries dbr:IEEE_1788 dbr:Eldon_Hansen dbr:Dedekind_cut dbr:INTLAB dbr:Interval-valued_computation dbr:Motion_planning dbr:Mathomatic dbr:Computer_algebra_system dbr:Smale's_problems dbr:Karlsruhe_Accurate_Arithmetic dbr:ACRITH dbr:ACRITH-XSC dbr:ECLiPSe dbr:Deterministic_global_optimization dbr:BNR_Prolog dbr:Real-root_isolation dbr:Nathalie_Revol dbr:Vladik_Kreinovich dbr:Unum_(number_format) dbr:Floating-point_error_mitigation dbr:Validated_numerics dbr:IEEE_1788-2015 dbr:Euler_(software) dbr:Metric_lattice dbr:Tapered_floating_point dbr:Numerical_certification dbr:Octeract_Engine dbr:Set_inversion dbr:Interval_mathematics dbr:C-XSC dbr:Extension_for_Scientific_Computation dbr:Extension_for_Scientific_Computing dbr:Extensions_for_Scientific_Computation dbr:Extensions_for_Scientific_Computing dbr:XSC_(floating_point) dbr:Fortran-SC dbr:FORTRAN-SC dbr:IBM_ACRITH dbr:IEEE_P1788 dbr:IEEE_P1788D9.3 dbr:Interval-valued_computing dbr:Interval_analysis dbr:Interval_arithmetics dbr:Interval_computation dbr:Interval_methods dbr:Triplex_number
is dbp:genre of	dbr:INTLAB
is dbp:knownFor of	dbr:Miodrag_Petković
is foaf:primaryTopic of	wikipedia-en:Interval-valued_computation wikipedia-en:Interval_arithmetic