Now showing items 1-8 of 8

    • Casimir forces for inhomogeneous planar media 

      Xiong, Chun; Kelsey, Tom; Linton, Stephen Alexander; Leonhardt, Ulf (2013-01-25) - Book item
      Casimir forces arise from vacuum uctuations. They are fully understood only for simple models, and are important in nano- and microtechnologies. We report our experience of computer algebra calculations towards the Casimir ...
    • Counting cases in substitope algorithms 

      Banks, D.C.; Linton, Stephen Alexander; Stockmeyer, P.K. (2004-07) - Journal article
      We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separating Surfaces. Counting the cases is the ...
    • HPC-GAP : engineering a 21st-century High-Performance Computer algebra system 

      Behrends, Reimer; Hammond, Kevin; Janjic, Vladimir; Konovalov, Alexander; Linton, Stephen Alexander; Loidl, Hans-Wolfgang; Maier, Patrick; Trinder, Philip (2016-09-10) - Journal article
      Symbolic computation has underpinned a number of key advances in Mathematics and Computer Science. Applications are typically large and potentially highly parallel, making them good candidates for parallel execution at a ...
    • Identifying long cycles in finite alternating and symmetric groups acting on subsets 

      Linton, Stephen Alexander; Niemeyer, Alice C.; Praeger, Cheryl E. (2015-05) - Journal article
      Let H be a permutation group on a set Λ, which is permutationally isomorphic to a finite alternating or symmetric group An or Sn acting on the k-element subsets of points from {1, . . . , n}, for some arbitrary but fixed ...
    • Interfacing Coq + SSReflect with GAP 

      Komendantsky, Vladimir; Konovalov, Alexander; Linton, Stephen Alexander (2012-09-19) - Journal article
      We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It ...
    • On convex permutations 

      Albert, M.H.; Linton, Stephen Alexander; Ruskuc, Nik; Vatter, V; Waton, S (2011-05) - Journal article
      A selection of points drawn from a convex polygon, no two with the same vertical or horizontal coordinate, yields a permutation in a canonical fashion. We characterise and enumerate those permutations which arise in this ...
    • Qualitative modelling via constraint programming 

      Kelsey, Tom; Kotthoff, Lars; Jefferson, Christopher Anthony; Linton, Stephen Alexander; Miguel, Ian James; Nightingale, Peter; Gent, Ian Philip (2014-04) - Journal article
      Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without ...
    • Space exploration using parallel orbits : a study in parallel symbolic computing 

      Janjic, Vladimir; Brown, Christopher Mark; Neunhoeffer, Max; Hammond, Kevin; Linton, Stephen Alexander; Loidl, Hans-Wolfgang (IOS Press, 2013-09) - Conference item
      Orbit enumerations represent an important class of mathematical algorithms which is widely used in computational discrete mathematics. In this paper, we present a new shared-memory implementation of a generic Orbit skeleton ...