Searching for authors named "Tom Kelsey" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Formal Specification of Computer Algebra
- …Formal specication of computer algebra Tom Kelsey University of St Andrews tom…
- Add To MetaCart
-
Symmetry Group Expression for CSPs
- … Symmetry Group Expression for CSPs Warwick Harvey1, Tom Kelsey2, and Karen Petrie3 1 IC…
- Add To MetaCart
-
Contents Symmetry and Inference
- …Contents Symmetry and Inference Steve Linton Ian Gent Tom Kelsey October 16, 2002 I Track Record 1…
- Add To MetaCart
-
Lightweight Formal Methods For Computer Algebra Systems
- …Lightweight Formal Methods For Computer Algebra Systems Martin Dunstan, Tom Kelsey, Steve Linton…
- Cited by 12 (5 self) – Add To MetaCart
-
Computer algebra meets automated theorem proving: Integrating Maple and pvs
- … Gottliebsen2, Tom Kelsey2, and Ursula Martin2 1 NAG LTD, Wilkinson House, Jordan Hill Road, Oxford OX2 8DR…
- Cited by 12 (3 self) – Add To MetaCart
-
Hidden Verification for Computational Mathematics
- … mathematics HANNE COTTLIEBSEN 1, TOM IELSEY 2 AND URSULA MARTIN 2 ICA'E, NA'A Lagleg Research Ceter, Hampton…
- Cited by 1 (1 self) – Add To MetaCart
-
Groups and Constraints: Symmetry Breaking during Search
- …Groups and Constraints: Symmetry Breaking during Search ⋆ Ian P. Gent 1 ,WarwickHarvey 2 ,andTomKelsey…
- Cited by 43 (12 self) – Add To MetaCart
-
Formal Methods for Extensions to CAS
- …) Martin N Dunstan ? , Tom Kelsey, Ursula Martin, and Steve Linton Division of Computer Science…
- Cited by 1 (1 self) – Add To MetaCart
-
Symmetry and Consistency
- …Symmetry and Consistency Ian P. Gent 1 , Tom Kelsey 1 , Steve Linton 1 , Colva Roney-Dougal 1 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Generic SBDD using computational group theory
- …Generic SBDD using Computational Group Theory Ian P. Gent 1 , Warwick Harvey 2 , Tom Kelsey 1…
- Cited by 26 (7 self) – Add To MetaCart
Showing 1 through 10.
