The following pages link to PNM (Q18056):
Displaying 32 items.
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Dealing with uncertainties in engineering problems using only available data (Q460837) (← links)
- Growth properties of power-free languages (Q465700) (← links)
- Computation of symbolic dynamics for one-dimensional maps (Q964963) (← links)
- Simulation of two-dimensional supersonic flows on emulated-digital CNN-UM (Q965419) (← links)
- Precise optimization using range arithmetic (Q1344345) (← links)
- The solution of linear interval equations by a linear programming method (Q1362641) (← links)
- Interval Newton iteration in multiple precision for the univariate case (Q1418860) (← links)
- Advances in design and implementation of optimization software (Q1598765) (← links)
- Momentum autocorrelation function of an impurity in a classical oscillator chain with alternating masses. II: Illustrations (Q1618787) (← links)
- Precise numerical computation (Q1779570) (← links)
- Verification of constrained minima (Q1919423) (← links)
- Integration of ordinary differential equations on Riemann surfaces with unbounded precision (Q2278195) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Numerical treatment of engineering problems with uncertainties. The fuzzy set approach and its application to the heat exchanger problem (Q2894737) (← links)
- (Q2908274) (← links)
- Verified Methods for Computing Pareto Sets: General Algorithmic Analysis (Q2930551) (← links)
- (Q3012165) (← links)
- (Q3075219) (← links)
- RealLib: An efficient implementation of exact real arithmetic (Q3431545) (← links)
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata (Q3523130) (← links)
- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics (Q3586016) (← links)
- Interval arithmetic error estimation for the solution of Fredholm integral equation (Q3615557) (← links)
- Computation of Topological Degree Using Interval Arithmetic, and Applications (Q4286593) (← links)
- Interval Input and Output (Q4577103) (← links)
- Computing radical expressions for roots of unity (Q4810135) (← links)
- (Q4919159) (← links)
- Introduction to the Zambelli Festschrift (Q5011342) (← links)
- (Q5198996) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Numerical Software with Result Verification (Q5308344) (← links)
- Numerical Software with Result Verification (Q5308360) (← links)
