Now showing items 1-7 of 7

  • 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 ...
  • 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 ...