gmp

swMATH363MaRDI QIDQ13123

No author found.

Related Items (only showing first 100 items - show all)

Highly accurate verified error bounds for Krylov type linear system solvers ⋮ An efficient and secure RSA-like cryptosystem exploiting Rédei rational functions over conics ⋮ Efficient set intersection with simulation-based security ⋮ Numerical methods for EPRL spin foam transition amplitudes and Lorentzian recoupling theory ⋮ Optimal patchings for consecutive ones matrices ⋮ Intersection cuts for single row corner relaxations ⋮ A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic ⋮ Computational schemes for subresultant chains ⋮ On the complexity and parallel implementation of Hensel's lemma and Weierstrass preparation ⋮ Large order Reynolds expansions for the Navier-Stokes equations ⋮ Watermelon uniform random generation with applications ⋮ Iterative refinement for symmetric eigenvalue decomposition ⋮ Faster polynomial multiplication via multipoint Kronecker substitution ⋮ Even faster integer multiplication ⋮ Post-quantum adaptor signature for privacy-preserving off-chain payments ⋮ Exact energy computation of the one component plasma on a sphere for even values of the coupling parameter ⋮ Efficient multi-client order-revealing encryption and its applications ⋮ Obtaining identical results with double precision global accuracy on different numbers of processors in parallel particle Monte Carlo simulations ⋮ Private-key fully homomorphic encryption for private classification ⋮ A verified ODE solver and the Lorenz attractor ⋮ A quasi quadratic time algorithm for hyperelliptic curve point counting ⋮ An efficient algorithm for attribute-based subsequence matching ⋮ An integrated parallel GNFS algorithm for integer factorization based on linbox montgomery block Lanczos method over \(GF(2)\) ⋮ A new dichotomic algorithm for the uniform random generation of words in regular languages ⋮ H2SOLV: Fortran solver for diatomic molecules in explicitly correlated exponential basis ⋮ On the bit-complexity of sparse polynomial and series multiplication ⋮ High-temperature series expansion for spin-1/2 Heisenberg models ⋮ A finite-step construction of totally nonnegative matrices with specified eigenvalues ⋮ Strange behaviors of interior-point methods for solving semidefinite programming problems in polynomial optimization ⋮ RSA, Dickson, LUC and Williams: a study on four polynomial-type public-key cryptosystems ⋮ Multiple/arbitrary precision interval computations in C-XSC ⋮ Computing ultra-precise eigenvalues of the Laplacian within polygons ⋮ The Karatsuba integer middle product ⋮ Parallel modular exponentiation using load balancing without precomputation ⋮ Refinement of a generalized Fermat's last theorem conjecture in natural vector spaces ⋮ Interpolatory multipoint methods with memory for solving nonlinear equations ⋮ A tree traversal algorithm for decision problems in knot theory and 3-manifold topology ⋮ Stochastic arithmetic in multiprecision ⋮ A numerical approach to Virasoro blocks and the information paradox ⋮ New higher-order methods for the simultaneous inclusion of polynomial zeros ⋮ The final NETLIB-LP results ⋮ Gevrey properties of the asymptotic critical wave speed in a family of scalar reaction-diffusion equations ⋮ Convex-hull algorithms: implementation, testing, and experimentation ⋮ Optimal estimates for the operating parameters of an information web portal ⋮ Relaxed algorithms for \(p\)-adic numbers ⋮ Certifying feasibility and objective value of linear programs ⋮ Cuts from proofs: a complete and practical technique for solving linear inequalities over integers ⋮ Generalized fraction-free \(LU\) factorization for singular systems with kernel extraction ⋮ Taylor's swimming sheet: analysis and improvement of the perturbation series ⋮ On design and implementation of a generic number type for real algebraic number computations based on expression dags ⋮ Relaxed Hensel lifting of triangular sets ⋮ FORM version 4.0 ⋮ A characterization of chameleon hash functions and new, efficient designs ⋮ The order \(p^8\) mesonic chiral Lagrangian ⋮ Use of SIMD-based data parallelism to speed up sieving in integer-factoring algorithms ⋮ FastSIR algorithm: a fast algorithm for the simulation of the epidemic spread in large networks by using the susceptible-infected-recovered compartment model ⋮ Facet defining inequalities among graph invariants: The system graphedron ⋮ Computational hardness of IFP and ECDLP ⋮ Missing a trick: Karatsuba variations ⋮ 41 counterexamples to property (B) of the discrete time bomber problem ⋮ Verifiable pattern matching on outsourced texts ⋮ Optimization techniques for small matrix multiplication ⋮ \texttt{FIESTA 2}: parallelizeable multiloop numerical calculations ⋮ Subquadratic computation of vector generating polynomials and improvement of the block Wiedemann algorithm ⋮ Sparse polynomial division using a heap ⋮ On the exact separation of mixed integer knapsack cuts ⋮ On an asymptotic rule \(A+B/u\) for ultimate ruin probabilities under dependence by mixing ⋮ Gtybalt-a free computer algebra system ⋮ Uniqueness of certain polynomials constant on a line ⋮ The many formulae for the number of Latin rectangles ⋮ High precision numerical estimation of the largest Lyapunov exponent ⋮ A dynamic F4 algorithm to compute Gröbner bases ⋮ Parallel implementation of multiple-precision arithmetic and 2,576,980,370,000 decimal digits of \(\pi \) calculation ⋮ \texttt{ColDICE}: A parallel Vlasov-Poisson solver using moving adaptive simplicial tessellation ⋮ Iteration functions re-visited ⋮ Period doubling in the Rössler system -- a computer assisted proof ⋮ Sparse polynomial arithmetic with the BPAS library ⋮ A hybrid branch-and-bound approach for exact rational mixed-integer programming ⋮ Numerical model for macroscopic quantum superpositions based on phase-covariant quantum cloning ⋮ High precision series solutions of differential equations: ordinary and regular singular points of second order ODEs ⋮ The many vacua of gauged extended supergravities ⋮ A constructive theory of continuous domains suitable for implementation ⋮ MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library ⋮ An analytic proof of the Borwein conjecture ⋮ A cache-friendly truncated FFT ⋮ Bernoulli and binomial proliferation on evolutionary graphs ⋮ Computation of the scattering amplitude for a scattering wave produced by a disc - approach by a fundamental solution method ⋮ The self-validated method for polynomial zeros of high efficiency ⋮ Random matrix theory of singular values of rectangular complex matrices. I: Exact formula of one-body distribution function in fixed-trace ensemble ⋮ Wieferich pairs and Barker sequences ⋮ Nonlinear optimal control: a numerical scheme based on occupation measures and interval analysis ⋮ \texttt{blocks\_3d}: software for general 3d conformal blocks ⋮ Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} ⋮ Triangulations in CGAL ⋮ A proof of GMP square root ⋮ Short effective intervals containing primes ⋮ Efficient FPGA design of exception-free generic elliptic curve cryptosystems ⋮ Computations with effective real numbers ⋮ Numerical enclosures of the optimal cost of the Kantorovitch's mass transportation problem

This page was built for software: gmp