Results 41 to 50 of about 40,102 (181)
Cylindrical Algebraic Decomposition in the RegularChains Library [PDF]
, 2014 Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry and has been implemented in several software. While existing implementations are all based on Collins’ projection-lifting scheme and its subsequent ameliorations, the implementation of CAD in the RegularChains library is based on triangular ...
Changbo Chen, Marc Moreno Maza
openaire +1 more source
Cylindrical algebraic decomposition using local projections [PDF]
Journal of Symbolic Computation, 2014 We present an algorithm which computes a cylindrical algebraic decomposition of a semialgebraic set using projection sets computed for each cell separately. Such local projection sets can be significantly smaller than the global projection set used by the Cylindrical Algebraic Decomposition (CAD) algorithm.
openaire +2 more sources
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition [PDF]
, 2014 Cylindrical algebraic decomposition (CAD) is a key tool for solving problems in real algebraic geometry and beyond. In recent years a new approach has been developed, where regular chains technology is used to first build a decomposition in complex space.
Matthew England +7 more
core +1 more source
The DEWCAD project:pushing back the doubly exponential wall of cylindrical algebraic decomposition [PDF]
, 2021 This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom.
Sadeghimanesh, AmirHosein; id_orcid +4 more
core +1 more source
A new drag and lift correlation for spherocylinders from fully resolved Immersed Boundary Method
AIChE Journal, EarlyView.Abstract Many industrial processes deal with non‐spherical particles, e.g., mineral mining and biomass conversion. It is crucial to understand the particles' hydrodynamics to control and optimize these processes. To extend the current state‐of‐the‐art from arrays of spherical particles to spherocylindrical particles, we performed extensive particle ...
A. H. Huijgen +4 more
wiley +1 more source
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases [PDF]
Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016 Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields.
Zongyan Huang +3 more
semanticscholar +1 more source
AIChE Journal, EarlyView.Abstract In cryogenic CO2 desublimation systems where phase change dominates both heat transfer and separation, conventional lumped thermal‐resistance treatments embed interfacial latent heat into an overall heat‐transfer coefficient, obscuring how phase‐change heat is partitioned between the gas phase and the coolant and limiting diagnostic insight ...
Shengwen Xiao +2 more
wiley +1 more source
MathematicsThis paper develops an analytical treatment of vibro-acoustic wave propagation in a cylindrical waveguide containing two clamped elastic membranes and a central flexible-shell segment.
Mohammed Alkinidri
doaj +1 more source
Long‐Range Interactions in Topological Superconducting Systems: A Mini Review
Advanced Physics Research, EarlyView.Long‐range interacting quantum systems are surveyed in this review, with an emphasis on the long‐range topological superconductor and its variants. Long‐range interactions decaying in a power‐law manner can lead to exotic phenomena that finds no analogue in short‐range regimes.
Juntong Ren, Haifeng Lü
wiley +1 more source
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving [PDF]
, 2021 We recently presented cylindrical algebraic coverings: a method based on the theory of cylindrical algebraic decomposition and suited for nonlinear real arithmetic theory reasoning in Satisfiability Modulo Theories solvers.
Matthew England +8 more
core +1 more source