ダウンロード数: 14
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
2248-06.pdf | 7.55 MB | Adobe PDF | 見る/開く |
完全メタデータレコード
DCフィールド | 値 | 言語 |
---|---|---|
dc.contributor.author | Roy, Marie-Françoise | fr |
dc.date.accessioned | 2023-10-06T07:55:18Z | - |
dc.date.available | 2023-10-06T07:55:18Z | - |
dc.date.issued | 2023-04 | - |
dc.identifier.uri | http://hdl.handle.net/2433/285402 | - |
dc.description.abstract | I shall discuss two important results in real algebraic geometry - quantifier elimination, proving that the projection of a semi-algebraic set is semi-algebraic - Hilbert 17th problem, proving that a non negative polynomial is always a sum of squares of rational functions from the point of view of effectivity and complexity. The two problems look at first sight totally un related at all but it turns out that modern computer algebra techniques play a key role in proving elementary recursive complexity results for both these problems. | en |
dc.language.iso | eng | - |
dc.publisher | 京都大学数理解析研究所 | ja |
dc.publisher.alternative | Research Institute for Mathematical Sciences, Kyoto University | en |
dc.subject.ndc | 410 | - |
dc.title | Elementary recursive complexity results in real algebraic geometry (Women in Mathematics) | en |
dc.type | departmental bulletin paper | - |
dc.type.niitype | Departmental Bulletin Paper | - |
dc.identifier.ncid | AN00061013 | - |
dc.identifier.jtitle | 数理解析研究所講究録 | ja |
dc.identifier.volume | 2248 | - |
dc.identifier.spage | 31 | - |
dc.identifier.epage | 55 | - |
dc.textversion | publisher | - |
dc.sortkey | 06 | - |
dc.address | Université de Rennes 1 | fr |
dcterms.accessRights | open access | - |
dc.identifier.pissn | 1880-2818 | - |
dc.identifier.jtitle-alternative | RIMS Kokyuroku | en |
出現コレクション: | 2248 Women in Mathematics |
![](/dspace/image/articlelinker.gif)
このリポジトリに保管されているアイテムはすべて著作権により保護されています。