The Resource A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem, Anthony J. Narkawicz and César A. Muñ̃oz

A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem, Anthony J. Narkawicz and César A. Muñ̃oz

Label
A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem
Title
A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem
Statement of responsibility
Anthony J. Narkawicz and César A. Muñ̃oz
Creator
Contributor
Author
Issuing body
Sponsoring body
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorDate
1982-
http://library.link/vocab/creatorName
Narkawicz, Anthony Joseph
Funding information
Sponsored by the National Aeronautics and Space Administration
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorDate
1968-
http://library.link/vocab/relatedWorkOrContributorName
  • Muñoz, César A.
  • Langley Research Center
  • United States
Series statement
NASA/TM
Series volume
2014-218548
http://library.link/vocab/subjectName
  • Polynomials
  • Inequalities
  • Theorem proving
  • Roots of equations
  • Mathematical programming
Label
A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem, Anthony J. Narkawicz and César A. Muñ̃oz
Link
http://purl.fdlp.gov/GPO/gpo59313
Instantiates
Publication
Note
  • Title from title screen (viewed Aug. 5, 2015)
  • "November 2014."
  • Available online
Bibliography note
Includes bibliographical references (pages 22-25)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocn915845460
Dimensions
unknown
Extent
1 online resource (26 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote
Label
A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem, Anthony J. Narkawicz and César A. Muñ̃oz
Link
http://purl.fdlp.gov/GPO/gpo59313
Publication
Note
  • Title from title screen (viewed Aug. 5, 2015)
  • "November 2014."
  • Available online
Bibliography note
Includes bibliographical references (pages 22-25)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocn915845460
Dimensions
unknown
Extent
1 online resource (26 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote

Library Locations

Library Links

Processing Feedback ...