The Higher-Order Prover Leo-II. (2015)
Attributed to:
Automatic Proof Procedures for Polynomials and Special Functions
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/s10817-015-9348-y
PubMed Identifier: 30174358
Publication URI: http://europepmc.org/abstract/MED/30174358
Type: Journal Article/Review
Volume: 55
Parent Publication: Journal of automated reasoning
Issue: 4
ISSN: 0168-7433