Case Splitting in an Automatic Theorem Prover for Real-Valued Special Functions
James P. Bridge, Lawrence Charles PaulsonVolume:
50
Language:
english
DOI:
10.1007/s10817-012-9245-6
Date:
January, 2013
File:
PDF, 357 KB
english, 2013