Keywords: اثبات کمک کامپیوتر; 34B16; 34C25; 65G40; 37M20; Brillouin focusing beam equation; Computer-assisted proof; Fold bifurcation; Periodic solutions; Non-autonomous singular ODEs;
مقالات ISI اثبات کمک کامپیوتر (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: اثبات کمک کامپیوتر; Computer-assisted proof; Periodic orbits; Validated numerics; High-precision; Lorenz model;
Keywords: اثبات کمک کامپیوتر; Computer-assisted proof; Elliptic problem; Embedding constant; Error bounds; Sobolev inequality; Verified numerical computation
On a generalization of “Eight Blocks to Madness” puzzle
Keywords: اثبات کمک کامپیوتر; Combinatorial puzzle; MacMahon’s colored cube puzzle; Eight Blocks to Madness; Computer-assisted proof
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
Keywords: اثبات کمک کامپیوتر; 35Q30; 65N15; 76D03Kolmogorov flows; Computer-assisted proof; Fixed-point theorem
Computer-assisted proof of skeletons of periodic orbits
Keywords: اثبات کمک کامپیوتر; Computer-assisted proof; Periodic orbits; Validated numerics; Linear stability
Computer-assisted proof of performance ratios for the Differencing Method
Keywords: اثبات کمک کامپیوتر; Differencing Method; Balanced number partitioning; Worst-case performance; Computer-assisted proof; Mixed integer linear programming; Exact lp solver
A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
Keywords: اثبات کمک کامپیوتر; Computer-assisted proof; Numerical verification; Viscous Burgers’ equation; Enclosure; Existence; Two-point boundary value problems; Fixed-point problems
A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
Keywords: اثبات کمک کامپیوتر; 35Q30; 65N15; 76D03Kolmogorov flows; Computer-assisted proof; Fixed-point theorem
Interval methods for verifying structural optimality of circle packing configurations in the unit square
Keywords: اثبات کمک کامپیوتر; 52C15; 52C26; 65G30; 90C30Interval analysis; Circle packing; Computer-assisted proof