Showing 1–20 of 192 results
/ Date/ Name
Dec 21, 2012Program Verification in the presence of complex numbers, functions with branch cuts etcJan 3, 2014Truth Table Invariant Cylindrical Algebraic DecompositionSep 5, 2014Using the distribution of cells by dimension in a cylindrical algebraic decompositionMay 23, 2014Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and liftingSep 6, 2013A "Piano Movers" Problem ReformulatedApr 26, 2013Optimising Problem Formulation for Cylindrical Algebraic DecompositionApr 26, 2013Understanding Branch Cuts of ExpressionsApr 29, 2013Cylindrical Algebraic Decompositions for Boolean CombinationsMar 23, 2015An implementation of Sub-CAD in MapleMay 23, 2014A comparison of three heuristics to choose the variable ordering for CADApr 25, 2014Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decompositionApr 25, 2014Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decompositionMay 23, 2014Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decompositionAug 2, 2011Interaction model for the gap equationSep 15, 2011Commentary on rainbow-ladder truncation for excited states and exoticsSep 3, 2020The relative emission from chromospheres and coronae: dependence on spectral type and ageSep 21, 2020Decays of an exotic $1^{-+}$ hybrid meson resonance in QCDFeb 9, 2021Isospin-1/2 $Dπ$ scattering and the lightest $D_0^\ast$ resonance from lattice QCDFeb 15, 2018Dynamically-coupled partial-waves in $ρπ$ isospin-2 scattering from lattice QCDJul 24, 2016Coupled-Channel $Dπ$, $Dη$ and $D_{s}\bar{K}$ Scattering from Lattice QCD