A page from the OpenDepot.org service

Jump to the start of the main contents

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type
Number of items: 7.

Article

Adams, A.A. (2000) A formalisation of weak normalisation (with respect to permutations) of sequent calculus proofs. LMS Journal of Computation and Mathematics, 3. pp. 1-26. ISSN 1461-1570

Book Section

Lovell, P. George and Spencer, Lucy J. and Bloj, Marina and Harris, Julie M. (2012) Learning a 3-D Visual Light Field: Effects of Exploration on Lightness Constancy. In: Predicting Perceptions: Proceedings of the 3rd International Conference on Appearance. Lulu Press, Edinburgh UK, pp. 155-157. ISBN 978-1-4716-6869-2

Zeiner, Katharina M and Harris, Julie M (2012) Perceiving Monocular Regions in Binocular Scenes. In: Predicting Perceptions: Proceedings of the 3rd International Conference on Appearance. Lulu Press, Edinburgh UK, pp. 66-68. ISBN 978-1-4716-6869-2

Adams, A.A. and Dunstan, M. and Gottliebsen, H. and Kelsey, T. and Martin, U. and Owre, S. (2001) Computer Algebra meets Automated Theorem Proving: Integrating Maple and PVS. In: Theorem Proving in Higher Order Logics -- 14th International Conference, TPHOLs 2001. Lecture Notes in Computer Science (2152). Springer-Verlag, Berlin, pp. 27-42. ISBN 3-540-42525-X

Adams, A.A. (2001) Definite Integration of Parametric Rational Functions: Applying a DITLU. In: Symbolic Computation and Automated Reasoning. A. K. Peters, pp. 1-17. ISBN 1-56881-145-4

Adams, A.A. and Gottliebsen, H. and Linton, S.A. and Martin, U. (1999) Automated theorem proving in support of computer algebra: symbolic definite integration as a case study. In: Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation. ACM Press, pp. 253-260. ISBN 1-58113-073-2

Adams, A.A. and Gottliebsen, H. and Linton, S.A. and Martin, U. (1999) VSDITLU: a verified symbolic definite integral table look-up. In: Automated Deduction -- CADE-16 16th International Conference on Automated Deduction. Lecture Notes in Artificial Intelligence, 1632 (1632). Springer-Verlag, Berlin, pp. 112-126. ISBN 3-540-66222-7

This list was generated on Tue Sep 2 14:56:18 2014 BST.