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,…
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,…