Cited in
(46)- 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
- Simulation of two-dimensional supersonic flows on emulated-digital CNN-UM
- Precise numerical computation
- Multiple/arbitrary precision interval computations in C-XSC
- Computation of symbolic dynamics for one-dimensional maps
- Designing, understanding, and analyzing unconventional computation: the important role of logic and constructive mathematics
- Momentum autocorrelation function of an impurity in a classical oscillator chain with alternating masses. II: Illustrations
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Computing radical expressions for roots of unity
- Interval input and output
- RealLib: An efficient implementation of exact real arithmetic
- Interval Newton iteration in multiple precision for the univariate case
- Validated numerics. A short introduction to rigorous computations.
- The solution of linear interval equations by a linear programming method
- Integration of ordinary differential equations on Riemann surfaces with unbounded precision
- From computing sets of optima, Pareto sets, and sets of Nash equilibria to general decision-related set computations
- Numerical Software with Result Verification
- Dealing with uncertainties in engineering problems using only available data
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
- ACRITH-XSC
- C-XSC
- C-XSC 2.0
- FORTRAN-SC
- intpakX
- MPFI
- INTOPT_90
- MPSolve
- xrc
- Algorithm 524
- iRRAM
- INTPAK
- PRECISE
- Lgp
- Verification of constrained minima
- Growth properties of power-free languages
- scientific article; zbMATH DE number 6161592 (Why is no real title available?)
- Verified methods for computing Pareto sets: general algorithmic analysis
- scientific article; zbMATH DE number 5917352 (Why is no real title available?)
- Precise optimization using range arithmetic
- Computable analysis with applications to dynamic systems
- Advances in design and implementation of optimization software
- Numerical Software with Result Verification
- Introduction to the \textit{Zambelli Festschrift}
- 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
