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

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

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

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

  5. Generating custom propagators for arbitrary constraints

    Gent, I. P., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P. 1 Jun 2014 In : Artificial Intelligence. 211, 1, p. 1-33 33 p.

    Research output: Contribution to journal › Article

ID: 104284