2 options
A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem / Anthony J. Narkawicz and César A. Muñ̃oz.
- Format:
- Book
- Government document
- Author/Creator:
- Narkawicz, Anthony Joseph, 1982- author.
- Muñoz, César A., 1968- author.
- Series:
- NASA technical memorandum ; 2014-218548.
- NASA/TM ; 2014-218548
- Language:
- English
- Subjects (All):
- Polynomials.
- Equations, Roots of.
- Programming (Mathematics).
- Physical Description:
- 1 online resource (26 pages).
- Place of Publication:
- Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, November 2014.
- Notes:
- Title from title screen (viewed Aug. 5, 2015).
- "November 2014."
- Includes bibliographical references (pages 22-25).
- OCLC:
- 915845460
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.