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