PNM
From MaRDI portal
swMATH5917MaRDI QIDQ18056FDOQ18056
Author name not available (Why is that?)
Official website: http://www.math.tamu.edu/~oliver.aberth/soft.html
Cited In (41)
- 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
- 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
- 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
- Numerical Software with Result Verification
- From computing sets of optima, Pareto sets, and sets of Nash equilibria to general decision-related set computations
- Integration of ordinary differential equations on Riemann surfaces with unbounded precision
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
- Dealing with uncertainties in engineering problems using only available data
- Verification of constrained minima
- FORTRAN-SC
- INTOPT_90
- MPSolve
- xrc
- Growth properties of power-free languages
- Algorithm 524
- iRRAM
- INTPAK
- PRECISE
- Lgp
- 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
- 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
