Coulomb branch algebras via symplectic cohomology
Journal of Topology, Volume 19, Issue 2, June 2026.Abstract Let (M¯,ω)$(\bar{M}, \omega)$ be a compact symplectic manifold with convex boundary and c1(TM¯)=0$c_1(T\bar{M})=0$. Suppose that (M¯,ω)$(\bar{M}, \omega)$ is equipped with a convex Hamiltonian G$G$‐action for some connected, compact Lie group G$G$.
Eduardo González +2 more
wiley +1 more source
Exploiting strict constraints in the computation of cylindrical algebraic coverings
, 2023 Satisfiability Modulo Theories (SMT) solving is a technique used to determine the satisfiability of Quantifier-free First-order Logic formulae over a fixed theory.
Bär, Philipp
core +1 more source
Infinity‐operadic foundations for embedding calculus
Journal of Topology, Volume 19, Issue 2, June 2026.Abstract Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of ∞$\infty$‐categories of truncated right modules over a unital ∞$\infty$‐operad O$\mathcal {O}$. We study monoidality and naturality properties of this tower, identify its layers, describe the difference between the towers as O$\mathcal {O}$
Manuel Krannich, Alexander Kupers
wiley +1 more source
Robotic Arm‐Assisted Conformal 3D Printing of Displays for Structural Electronics
Advanced Intelligent Systems, Volume 8, Issue 5, May 2026.This study presents a robotics‐enabled platform combining 3D scanning and a 6‐DOF robotic arm for conformal printing on complex non‐planar structures. By maintaining nozzle perpendicularity, the system enables high‐fidelity direct ink writing on steep sidewalls, spherical surfaces, successfully demonstrating a fully printed 7‐segment dynamic display ...
Chanbin Yoo +5 more
wiley +1 more source
An Improved Projection Operation for Cylindrical Algebraic Decomposition [PDF]
, 1985 A key component of the cylindrical algebraic decomposition (cad) algorithm is the projection (or elimination) operation: the projection of a set A of r-variate integral polynomials, where r ≥ 2 is defined to be a certain set PROJ(A) of (r − l)-variate integral polynomials.
openaire +1 more source
Cylindrical Algebraic Decomposition - an Introduction [Elektronisk resurs]
, 1995 In this report we give an introduction to a constructive way of treating systems of polynomial equations and inequalities. We present a method called cylindrical algebraic decomposition (CAD) discovered 1973 by Collins.
Jirstrand, Mats,
core
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition [PDF]
, 2014 Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there is often a choice for the ordering placed on the variables.
Matthew England +11 more
core +1 more source
Algebraic decomposition of regular curves
, 1988 The cylindrical algebraic decomposition method decomposes Er into regions over which a given polynomial has constant sign by extension of one complicated decomposition of Er-1.
Arnborg, Stefan, Feng, Huichun
core +1 more source
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition [PDF]
, 2017 In the paper which inspired the SC2 project, [E. A´ bra´ham, Building Bridges between Symbolic Computation and Satisfiability Checking, Proc. ISSAC ’15, pp. 1–6, ACM, 2015] the author identified the use of sophisticated heuristics as a technique that the
England, Matthew; id_orcid +1 more
core +1 more source
Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition
, 2015 The files in this data set support the paper "Truth table invariant cylindrical algebraic decomposition" by Russel Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson. They include the following: 1.
Bradford, Russell +8 more
core +1 more source