Tag: Nabil Kherraf

Title: A Formalization of Analytical Solutions for Cubic Polynomials in PVS Speaker: Nabil Kherraf, Ecole Normale Superieure de Lyon, NIA Visitor Location: NASA/LaRC,  B1230 R264A Time:  10:30 AM – 12:00 PM September 6, 2018 Sponsor: Cesar Munoz, NASA/LaRC Abstract: Finding roots of cubic and quartic polynomials plays a fundamental role in separation assurance systems where aircraft trajectories are represented by…