Improving automated strategies for univariate quantifier elimination /

Bibliographic Details

Main Authors:	Cordwell, Katherine (Author), Muñoz, César A., 1968- (Author), Dulte, Aaron M. (Author)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, January 2021.
Series:	NASA technical memorandum ; 20205010644.
Subjects:	Computer programming. Computer programs.
Online Access:	https://purl.fdlp.gov/GPO/gpo150352