Pages that link to "Item:Q4589506"
From MaRDI portal
The following pages link to Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic (Q4589506):
Displayed 50 items.
- Any three eigenvalues do not determine a triangle (Q828329) (← links)
- Root radii and subdivision for polynomial root-finding (Q831975) (← links)
- All the trinomial roots, their powers and logarithms from the Lambert series, Bell polynomials and Fox-Wright function: illustration for genome multiplicity in survival of irradiated cells (Q1714102) (← links)
- Clustering complex zeros of triangular systems of polynomials (Q2035625) (← links)
- Rigorous computation of Maass cusp forms of squarefree level (Q2081538) (← links)
- Charge asymmetry in electron/positron energy loss in nuclear bremsstrahlung (Q2085237) (← links)
- Hausdorff dimension of Gauss-Cantor sets and two applications to classical Lagrange and Markov spectra (Q2089665) (← links)
- Computing groups of Hecke characters (Q2093681) (← links)
- Inclusive rates from smeared spectral densities in the two-dimensional O(3) non-linear \(\sigma\)-model (Q2104601) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- A comparison of algorithms for proving positivity of linearly recurrent sequences (Q2109988) (← links)
- The Cauchy-Lagrange method for 3D-axisymmetric wall-bounded and potentially singular incompressible Euler flows (Q2136445) (← links)
- \(k\)-point semidefinite programming bounds for equiangular lines (Q2149560) (← links)
- Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds (Q2211894) (← links)
- A counterexample to Payne's nodal line conjecture with few holes (Q2246951) (← links)
- A standard branch-and-bound approach for nonlinear semi-infinite problems (Q2282532) (← links)
- Computing the Lambert \(W\) function in arbitrary-precision complex interval arithmetic (Q2287862) (← links)
- Pair correlation estimates for the zeros of the zeta function via semidefinite programming (Q2288078) (← links)
- Asymptotic analysis of regular sequences (Q2292859) (← links)
- Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
- Truncation bounds for differentially finite series (Q2323059) (← links)
- Improved Bounds on Brun’s Constant (Q3298041) (← links)
- Twist‐minimal trace formulas and the Selberg eigenvalue conjecture (Q3389188) (← links)
- On certain multiples of Littlewood and Newman polynomials (Q4558079) (← links)
- Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights (Q4560706) (← links)
- The stretch to stray on time: Resonant length of random walks in a transient (Q4575496) (← links)
- Fujii’s development on Chebyshev’s conjecture (Q4629114) (← links)
- Computing Stieltjes constants using complex integration (Q4629379) (← links)
- Accurate estimation of sums over zeros of the Riemann zeta-function (Q4956931) (← links)
- Computing Hypergeometric Functions Rigorously (Q4960950) (← links)
- The expected signature of Brownian motion stopped on the boundary of a circle has finite radius of convergence (Q4996913) (← links)
- Primes in arithmetic progressions and semidefinite programming (Q4999476) (← links)
- The Riemann hypothesis is true up to 3·1012 (Q5006390) (← links)
- FunGrim: A Symbolic Library for Special Functions (Q5041069) (← links)
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes (Q5051360) (← links)
- Efficient computation of the Wright function and its applications to fractional diffusion-wave equations (Q5056324) (← links)
- Outgoing solutions and radiation boundary conditions for the ideal atmospheric scalar wave equation in helioseismology (Q5118607) (← links)
- Computation of Tight Enclosures for Laplacian Eigenvalues (Q5132011) (← links)
- The minimal Fried average entropy for higher-rank Cartan actions (Q5145106) (← links)
- Computing Enclosures for the Matrix Exponential (Q5146627) (← links)
- Efficient and Accurate Algorithm for the Full Modal Green's Kernel of the Scalar Wave Equation in Helioseismology (Q5149215) (← links)
- Explicit arithmetic intersection theory and computation of Néron-Tate heights (Q5235108) (← links)
- An Arbitrary Precision Scaling and Squaring Algorithm for the Matrix Exponential (Q5243514) (← links)
- Hausdorff dimension estimates applied to Lagrange and Markov spectra, Zaremba theory, and limit sets of Fuchsian groups (Q5872965) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Time- and ensemble-average statistical mechanics of the Gaussian network model (Q5877433) (← links)
- Numerical finite-gap integration of the Zabusky–Kruskal problem (Q6058471) (← links)
- Validated Root Enclosures for Interval Polynomials with Multiplicities (Q6060355) (← links)
- Analytical representation and efficient computation of the effective conductivity of two‐phase composite materials (Q6070091) (← links)
- Computational Number Theory, Past, Present, and Future (Q6082847) (← links)