PNM

swMATH5917MaRDI QIDQ18056FDOQ18056

Author name not available (Why is that?)

Described by source

• Precise computation using range arithmetic, via C++
• Unnamed Publication
• Unnamed Publication

Cited In (32)

• Title not available (Why is that?)
• Numerical treatment of engineering problems with uncertainties. The fuzzy set approach and its application to the heat exchanger problem
• Interval arithmetic error estimation for the solution of Fredholm integral equation
• Title not available (Why is that?)
• Precise numerical computation
• Simulation of two-dimensional supersonic flows on emulated-digital CNN-UM
• Multiple/arbitrary precision interval computations in C-XSC
• Designing, understanding, and analyzing unconventional computation: the important role of logic and constructive mathematics
• Computation of symbolic dynamics for one-dimensional maps
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• Computing radical expressions for roots of unity
• Momentum autocorrelation function of an impurity in a classical oscillator chain with alternating masses. II: Illustrations
• RealLib: An efficient implementation of exact real arithmetic
• Interval Newton iteration in multiple precision for the univariate case
• The solution of linear interval equations by a linear programming method
• Numerical Software with Result Verification
• Integration of ordinary differential equations on Riemann surfaces with unbounded precision
• Introduction to the Zambelli Festschrift
• Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
• Dealing with uncertainties in engineering problems using only available data
• Verification of constrained minima
• Growth properties of power-free languages
• Title not available (Why is that?)
• Verified Methods for Computing Pareto Sets: General Algorithmic Analysis
• Title not available (Why is that?)
• Precise optimization using range arithmetic
• Computable analysis with applications to dynamic systems
• Interval Input and Output
• Advances in design and implementation of optimization software
• Numerical Software with Result Verification
• Computation of Topological Degree Using Interval Arithmetic, and Applications
• Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics

This page was built for software: PNM