专题:Numerical Methods and Algorithms

This cluster of papers focuses on the theory, implementation, and optimization of floating-point arithmetic for scientific computation. It covers topics such as interval analysis, high-precision computation, hardware implementation on FPGAs, numerical verification methods, decimal floating-point arithmetic, accuracy optimization, Taylor models, and handling interval uncertainty.
最新文献
Quantifier Elimination Over the Integers

article Full Text OpenAlex

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement

preprint Full Text OpenAlex

SBSC: Step-By-Step Coding for Improving Mathematical Olympiad Performance

preprint Full Text OpenAlex

OddEEC: A New Sketch Technique for Error Estimating Coding

article Full Text OpenAlex

Ozaki Scheme II: A GEMM-oriented emulation of floating-point matrix multiplication using an integer modular technique

preprint Full Text OpenAlex

Bipolar decomposition integrals

article Full Text OpenAlex

Box atlas: An interval version of atlas

article Full Text OpenAlex

Improving Greedy Algorithms for Rational Approximation

article Full Text OpenAlex

jaxKAN: A unified JAX framework for Kolmogorov-Arnold Networks

article Full Text OpenAlex

A feasible study of a 3D motorized nonlinear black-box system using MATLAB’s ARX and Hammerstein-Wiener tools

article Full Text OpenAlex

近5年高被引文献
Numerical Linear Algebra and Optimization

book Full Text OpenAlex 505 FWCI4.25546605

Error Detecting and Error Correcting Codes (1950)

book-chapter Full Text OpenAlex 452 FWCI81.91004746

Stim: a fast stabilizer circuit simulator

article Full Text OpenAlex 262 FWCI17.21463617

Fick’s Law Algorithm: A physical law-based algorithm for numerical optimization

article Full Text OpenAlex 242 FWCI47.38331451

AMFlow: A Mathematica package for Feynman integrals computation via auxiliary mass flow

article Full Text OpenAlex 202 FWCI53.19624825

An enhanced hybrid arithmetic optimization algorithm for engineering applications

article Full Text OpenAlex 153 FWCI29.9572195

A Proof that Artificial Neural Networks Overcome the Curse of Dimensionality in the Numerical Approximation of Black–Scholes Partial Differential Equations

article Full Text OpenAlex 146 FWCI8.627007

High-precision quantum algorithms for partial differential equations

article Full Text OpenAlex 146 FWCI16.22691114

A survey of numerical linear algebra methods utilizing mixed-precision arithmetic

article Full Text OpenAlex 128 FWCI16.1693041

Efficient phase-factor evaluation in quantum signal processing

article Full Text OpenAlex 122 FWCI12.84042534