Layered Cylindrical Algebraic Decomposition
, 2013 In this report the idea of a Layered CAD is introduced: atruncation of a CAD to cells of dimension higher than a prescribedvalue. Limiting to full-dimensional cells has already beeninvestigated in the literature, but including more levels is shown toalso be beneficial for applications. Alongside a direct algorithm, arecursive algorithm is provided.
Wilson, D. J., England, M.
openaire +1 more source
ASME-Based Structural Assessment of Head-Shell Junctions in Pressurized Railway Tank Wagons. [PDF]
Materials (Basel)Ilincă CN +8 more
europepmc +1 more source
Free Vibration Characteristics of FG-CNTRC Conical-Cylindrical Combined Shells Resting on Elastic Foundations Using the Haar Wavelet Discretization Method. [PDF]
Polymers (Basel)Fan J +6 more
europepmc +1 more source
Analytical analysis of the nonlinear fractional order Pochhammer-Chree equation with power-law nonlinearity in elastic materials. [PDF]
Sci RepKhalid M, Khalid NA, Ceesay B, Ahmed N.
europepmc +1 more source
Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. [PDF]
BMC Bioinformatics, 2022 Sadeghimanesh A, England M.
europepmc +1 more source
Heuristic computational approach for nonlinear reaction-diffusion kinetics in catalytic systems. [PDF]
Sci RepJamshed S +5 more
europepmc +1 more source
Heat and mass transfer of micropolar liquid flow due to porous stretching/shrinking surface with ternary nanoparticles. [PDF]
Sci Rep, 2023 Vanitha GP +3 more
europepmc +1 more source
Regularization of electromagnetic scattering problems via the Abel integral transform. [PDF]
Philos Trans A Math Phys Eng SciVinogradova E, Smith P.
europepmc +1 more source
Computer-assisted construction of Ramanujan-Sato series for 1 over π. [PDF]
Ramanujan JHemmecke R, Paule P, Radu CS.
europepmc +1 more source
Ring Artifact Reduction in Photon Counting CT Using Redundant Sampling and Autocalibration. [PDF]
IEEE Trans Med ImagingHsieh SS +3 more
europepmc +1 more source