Skip to content

Research at St Andrews

University > Research portal > Research publications > VSDITLU: a Verified Symbolic Definite Integral Table Look-up

VSDITLU: a Verified Symbolic Definite Integral Table Look-up

Research output: Contribution to conference › Paper

Author(s)

Ursula Hilda Mary Martin, AA Adams, H Gottliebsen, Stephen Alexander Linton, other 1

School/Research organisations

Details

Original languageEnglish
Pages112-126
StatePublished - 1999

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. SCSCP - Symbolic Computation Software Composability Protocol, Version 2.2.3 (Refereed GAP package)

    Konovalov, A. & Linton, S. A. 24 Sep 2017

    Research output: Non-textual form › Software

  2. HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

    Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S. A., Loidl, H-W., Maier, P. & Trinder, P. 10 Sep 2016 In : Concurrency and Computation : Practice and Experience. 28, 13, p. 3606-3636 33 p.

    Research output: Contribution to journal › Article

  3. S-crucial and bicrucial permutations with respect to squares

    Gent, I., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P. 3 Jun 2015 In : Journal of Integer Sequences. 18, 6, 22 p., 15.6.5

    Research output: Contribution to journal › Article

  4. Identifying long cycles in finite alternating and symmetric groups acting on subsets

    Linton, S. A., Niemeyer, A. C. & Praeger, C. E. May 2015 In : Journal of Algebra Combinatorics Discrete Structures and Applications. 2, 2, p. 117-149

    Research output: Contribution to journal › Article

  5. Towards the calculation of Casimir forces for inhomogeneous planar media

    Xiong, C., Kelsey, T., Linton, S. A. & Leonhardt, U. 1 Oct 2014 Computer Mathematics: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks. Feng, R., Lee, W. & Sato, Y. (eds.). Springer, p. 171-180

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

ID: 104284