AF: Small: RUI: The model-based approach and a new kind of Cylindrical Algebraic Decomposition

$118,102FY2015CSENSF

United States Naval Academy- Do Not Use, Annapolis MD

Investigators

Christopher W Browncontact

View original record on NSF Award Search →

AF: Small: RUI: The model-based approach and a new kind of Cylindrical Algebraic Decomposition · GrantIndex