Anthony J. Narkawicz books & textbook
A Formally-Verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem
NASA /2014T Paperback
An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers
NASA /2014T Paperback
A Well-Clear Volume Based on Time to Entry Point
NASA /2014T Paperback
