The following pages link to MPFI (Q13352):
Displaying 44 items.
- A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic (Q285264) (← links)
- A certified numerical algorithm for the topology of resultant and discriminant curves (Q346543) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Computational complexity of iterated maps on the interval (Q449664) (← links)
- Gevrey properties of the asymptotic critical wave speed in a family of scalar reaction-diffusion equations (Q643557) (← links)
- The design of the Boost interval arithmetic library (Q817867) (← links)
- Standardization and testing of implementations of mathematical functions in floating point numbers (Q926622) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Semidefinite characterization and computation of zero-dimensional real radical ideals (Q1029543) (← links)
- An interval component for continuous constraints. (Q1421218) (← links)
- Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736) (← links)
- On the classification of Kähler-Ricci solitons on Gorenstein del Pezzo surfaces (Q1746624) (← links)
- New predictor-corrector methods with high efficiency for solving nonlinear systems (Q1760812) (← links)
- Multistep high-order methods for nonlinear equations using Padé-like approximants (Q1784866) (← links)
- Stochastic arithmetic in multiprecision (Q1949764) (← links)
- Certified non-conservative tests for the structural stability of discrete multidimensional systems (Q2002386) (← links)
- On the sharpness of the Rüssmann estimates (Q2204896) (← links)
- Exact bounded-error continuous-time linear state estimator (Q2242895) (← links)
- Preliminary orbit determination of artificial satellites: a vectorial sixth-order approach (Q2319315) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Linnik's approximation to Goldbach's conjecture, and other problems (Q2344336) (← links)
- New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry (Q2408217) (← links)
- Using computer algebra to certify the global convergence of a numerical optimization process (Q2468356) (← links)
- Computing the pessimism of inclusion functions (Q2481139) (← links)
- Towards optimal use of multi-precision arithmetic: a remark (Q2503178) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- On the first sign change of $\theta (x) -x$ (Q2792376) (← links)
- Bifurcations of Central Configurations in the Four-Body Problem with Some Equal Masses (Q2797742) (← links)
- Effective real numbers in Mmxlib (Q2958980) (← links)
- (Q3012165) (← links)
- (Q3207999) (← links)
- Handbook of Floating-Point Arithmetic (Q4609588) (← links)
- A rigorous computational approach to linear response (Q4635065) (← links)
- Improving the Semidefinite Programming Bound for the Kissing Number by Exploiting Polynomial Symmetry (Q4689862) (← links)
- New results for witnesses of Robin’s criterion (Q5029480) (← links)
- Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability (Q5118408) (← links)
- Computing $\pi (x)$ analytically (Q5179234) (← links)
- Numerical Software with Result Verification (Q5308344) (← links)
- Efficient and Safe Global Constraints for Handling Numerical Constraint Systems (Q5698733) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711510) (← links)
- On Solving Systems of Bivariate Polynomials (Q5747869) (← links)
- Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries (Q5747901) (← links)
- Existence of noise induced order, a computer aided proof (Q5856307) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
