目錄 《10000個(gè)科學(xué)難題》序
前言
奧特(Vaught)猜想與拓?fù)鋳W特猜想 高速 (1)
超緊基數(shù)典型內(nèi)模型問(wèn)題 馮琦 (3)
遞歸可枚舉度中的格嵌入問(wèn)題和雙量詞理論可判定性問(wèn)題 楊躍 (5)
高層有限波雷爾(Borel)等價(jià)關(guān)系中的兩個(gè)問(wèn)題 高速 (7)
極小塔問(wèn)題 張樹(shù)果 (9)
r=rw?及s=sw? 張樹(shù)果 (10)
連續(xù)統(tǒng)勢(shì)確定問(wèn)題 馮琦 (11)
奇異基數(shù)問(wèn)題 馮琦 (13)
薩克斯(Sscks)關(guān)于波斯特(Post)問(wèn)題的度不變解問(wèn)題和馬丁(Martin)猜想 楊躍 (15)
圖靈(Turing)等價(jià)問(wèn)題 高速 (17)
圖靈(Turing)度的自同構(gòu)問(wèn)題 楊躍 (19)
是否存在一個(gè)穩(wěn)定的一階完全理論，官有大于一的有窮多個(gè)可數(shù)模型 史念東 (21)
Cherlin-Zilber猜想 龐煒恩 (23)
帶指數(shù)函數(shù)的實(shí)數(shù)理論的可判定性問(wèn)題 龐煒恩 (24)
Shelah唯一性猜想 龐煒恩 (26)
微分封閉域上的平凡強(qiáng)極小集 龐煒恩 (27)
3-Calabi-Yau代數(shù)的分類 章瑛 (28)
阿廷(Artin)群的Grobner-Shirshov基L.Bokut陳裕群 (30)
布如意(Broue)交換虧群猜想 張繼平 (35)
布朗(Brown)問(wèn)題 吳泉水張堅(jiān) (37)
凱萊(Cayley)圖和相關(guān)的問(wèn)題 李才恒 (39)
�？怂�(Foulkes)猜想 王立中 (41)
戈倫斯坦(Gorenstein)對(duì)稱猜想 陳小伍 章璞 (43)
卡普蘭斯基(Kaplansky)第六猜想 陳忠香 (45)
中山(Nakayama)猜想和廣義中山(Nakayama)猜想 郭晉云 (47)
拉姆拉斯(Ra.mras)問(wèn)題 吳泉水張堅(jiān) (49)
Smashing子范疇上的公開(kāi)問(wèn)題 樂(lè)鈺 章璞 (51)
巴斯-奎倫(Bass-Quillen)猜想 丁南慶 (53)
非半單Brauer代數(shù)的表示理論 芮和兵 (55)
非交換曲面的分類 吳泉水 張堅(jiān) (57)
關(guān)于碼交換等價(jià)于前綴碼的猜測(cè) 郭幸琦 (59)
關(guān)于半群上一類重要同余的一個(gè)系列推廣模式 郭隸琦 王守峰 (61)
關(guān)于有限碼具有有限完備化的判定問(wèn)題 郭隸琦 劉云 (64)
關(guān)于正則半群的兩個(gè)嵌入問(wèn)題 郭隸琦 (66)
廣義傾斜模中的兩個(gè)猜想 葉郁 章璞 (68)
考克斯特群的胞腔 時(shí)儉益 (70)
滿足正規(guī)子群極小條件的可解群的Fitting子群是否是冪零的? 劉合國(guó) (72)
模代數(shù)smash積的半素性 朱勝林 (74)
球極函數(shù)的提升Pieri型公式 景乃桓 (76)
穩(wěn)定等價(jià)猜想 張英伯 (78)
一些代數(shù)的Grobner-Shirshov基L.Bokut 陳裕群 (81)
由導(dǎo)出范疇建立量子群和典范基 肖杰 (85)
有限維數(shù)猜想 黃兆泳 (87)
ABC猜測(cè) 袁平之 (89)
巴斯(Bass)猜想和索爾(Soule)猜想 秦厚榮 (91)
Lichtenbaum猜想 秦厚榮 (93)
里德-所羅門(Reed-Solomon)碼的譯碼問(wèn)題 萬(wàn)大慶 (95)
沙努爾(Schanuel)猜想 姚家燕 (98)
哥德巳赫(Goldbach)猜想 賈朝華 (101)
關(guān)于不同模覆蓋系的厄爾多斯(Erdos)問(wèn)題 孫智偉 (104)
關(guān)于倒數(shù)和發(fā)散序列的厄爾多斯一圖蘭(Erdos Turan)猜想 孫智偉 潘新 (107)
關(guān)于奇數(shù)階阿貝爾 (Abel)群的Snevily猜想 孫智偉 (109)
關(guān)于有限域上代數(shù)曲線點(diǎn)數(shù)的Drinfeld-Vladt界 馮克勤 (112)
朗蘭茲(Langlands)綱領(lǐng) 葉揚(yáng)旋劉建亞 (114)
類數(shù)1實(shí)二次域的高斯猜想 馮克勤 (122)
黎曼(Riemann)zeta函數(shù)在奇正整數(shù)點(diǎn)處值的超越性 姚家燕 (124)
黎曼(Riemann)猜想 賈朝華 (126)
歐拉常數(shù)的超越性 姚家燕 (129)
橢圓曲線的BSD猜想 馮克勤 (131)
希爾伯特第九問(wèn)題:高斯二次互反律如何推廣 馮克勤 (133)
希爾伯特第十三問(wèn)題:構(gòu)作數(shù)域的最大阿貝爾擴(kuò)域 馮克勤 (136)
巖澤(Iwasawa)理論的主猜想 歐陽(yáng)被 (138)
有限阿貝爾(Abel)群的Davenport常數(shù) 孫智偉 (141)
Cheeger-Goresky-MacPherson猜想 陳伯勇 (143)
Chern-Moser的一個(gè)問(wèn)題 黃孝軍 (144)
CR型的Bonnet剛性問(wèn)題和Siu的孤立復(fù)正規(guī)奇點(diǎn)的超剛性問(wèn)題 黃孝軍 (146)
格里菲思(Griffiths)問(wèn)題 陳伯勇 (148)
晗茨霍恩(Hartshorne)猜想 談勝利 (149)
飯高(litaka)猜想: Cn,m 陳猛 (152)
長(zhǎng)田(Nagata)猜想 楊勃根 (154)
Tate-Oort問(wèn)題 李先正 (156)
Tate猜想 扶磊 (158)
調(diào)和叢的上同調(diào) 楊義虎 (160)
格拉騰迪克(Grothendieck)標(biāo)準(zhǔn)猜想 扶磊 (162)
關(guān)于全純雙截曲率的猜想 睞伯勇 (164)
緊閉包與局部化相交換的問(wèn)題 唐忠明 (165)
局部上同調(diào)模的相伴素理想的有限性問(wèn)題 唐忠明 (166)
Calahi-Yau�？臻g的陳數(shù)不等式 陸志勤 (168)
量子層猜想 陸志勤 (170)
奇點(diǎn)解消 楊勃根 (172)
球和代數(shù)區(qū)域的剛性 黃孝軍 (174)
群作用下全純映射的剛性問(wèn)題 黃孝軍 (177)
雅可比猜想 余解臺(tái) (179)
霍普夫(Hopf)猜想 忻元龍 (181)
霍普夫(Hopf)問(wèn)題 唐梓洲 (184)
非線性狄拉克(Dirac)方程解的存在性問(wèn)題 陳群 (185)
高維單值化猜測(cè) 鄧少雄 (187)
關(guān)于K等價(jià)代數(shù)簇的量子上同調(diào)環(huán)的猜想 李安民 (189)
六維球面上復(fù)結(jié)構(gòu)的存在性問(wèn)題 唐梓洲 (191)
曲面到四維歐氏空間的等距浸入的存在性 唐梓洲 (192)
3維流形上tight切觸結(jié)構(gòu)的分類 丁帆 (193)
4維光滑龐加萊(PoinCare)猜想 丁帆 (195)
波雷爾(Borel)猜想:非球面性閉流形之間的同倫等價(jià)必同倫于一個(gè)同胚 郁國(guó) 徐勝芝 (196)
11/8猜想 方復(fù)全 (198)
Kashaev-Murakami-Murakami體積猜想 羅鋒 (200)
瑟斯頓(Thurston)有效纖維化猜想 羅鋒 (王慰譯) (202)
Virtual Haken猜想 雷逢春 (203)
仿射平坦流形的陳猜想 于立 (205)
光滑復(fù)完全交的沙利文 (Sulliva)猜想 蘇陽(yáng) (207)
廣義斯梅爾(Srnale)猜想 羅鋒 (王慰譯) (209)
廣義度量空間問(wèn)題 王國(guó)俊 (211)
矩陣的拓?fù)湎嗨茊?wèn)題 方復(fù)全 (213)
紐結(jié)的交叉點(diǎn)數(shù)的計(jì)算和可加性 楊志青 (215)
紐結(jié)的解結(jié)數(shù)的計(jì)算和可加性 楊志青 (217)
嵌入猜想 方復(fù)全 (219)
三維流形分類問(wèn)題 楊志青 (220)
osp型李超代數(shù)的特征標(biāo)問(wèn)題 蘇育才 (222)
維特(Witt)代數(shù)的自同構(gòu)群?jiǎn)栴} 蘇育才 (224)
非可對(duì)稱化的卡茨-穆池(Kac-Moody)代數(shù)的定義關(guān)系問(wèn)題 蘇育才 (226)
李代數(shù)及其對(duì)偶壁間的冪零元的分類 陳智奇 梁科 (228)
李群表示的分歧律 朱富海侯自新 (230)
李群西表示的分類 黃勃松 (232)
模李代數(shù)模表示論中的卡茨-Weisfeiler(Kac-Weisfeiler)猜想 胡乃紅 (235)
齊性愛(ài)因斯坦(Einstein)流形 鄧少?gòu)?qiáng) 侯自新 (238)
有理頂點(diǎn)算子代數(shù)的分類 姜翠波 (241)
百表示中的狄拉克(Dirac)算子 康毅芳 梁科 (243)
2D瞬時(shí)頻率 彭立中 (245)
3n+1猜想與復(fù)解析方法 李玉華 (249)
布格克(Bloch)常數(shù) 劉勃松 (251)
博克納-里斯(Bochner-Riesz)乘子問(wèn)題 楊大春 (252)
布倫南(Brennan)猜測(cè) 伍勝健 (255)
傅里葉(Fourier)變換的限制性問(wèn)題 楊大春 (257)
朱莉婭(Julia)集的分形維數(shù) 喬建永 (260)
掛谷(Kakeya)問(wèn)題 楊大春 (262)
Koebe問(wèn)題 賀正需 (265)
龐加萊(Poincare)的圓盤上調(diào)和映射的舍恩(Schoen)猜想 漆毅 李忠 (266)
Sierpinski地毯上狄氏型的構(gòu)造 胡家信 (268)
Sierpinski雙曲分支的布界性問(wèn)題 崔貴珍 (270)
斯梅爾 (Srnale)均值猜想 王躍飛 (272)
雙曲猜想 王躍飛 崔貴珍 (274)
雙線性希爾伯特(Hilbert)變換的P有界性 顏立新 (276)
亞純函數(shù)的虧量問(wèn)題 伍勝健 (278)
亞純函數(shù)與其導(dǎo)函數(shù)有公共的波雷爾(Borel)方向嗎? 張廣遠(yuǎn) (280)
游蕩連續(xù)統(tǒng)存在性問(wèn)題 崔貴珍 (283)
阿諾德(Arnold)猜想 劉春根 (284)
Dry Ten Martini問(wèn)題 尤建功 (287)
菲爾斯滕貝格(Fustenberg)猜想 黃文 葉向東 (289)
埃農(nóng)(Henon)映射族中奇異吸引子的存在性問(wèn)題 王蘭宇 (291)
希爾伯特(Hilbert)第16問(wèn)題 李承治 (293)
Palis猜測(cè) 文蘭 (295)
羅林(Rohlin)問(wèn)題 邵松 葉向東 (297)
Veech猜測(cè) 邵松 葉向東 (299)
魏因施泰因(Weinstein)猜想 蔣美躍 (301)
多重遍歷定理 葉向東 (304)
關(guān)于閘軌道多重性的塞弗特(Seifert)猜想 張端智 (307)
哈密頓(Hamilton)系統(tǒng)平衡點(diǎn)附近的不變環(huán)面 尤建功 (310)
緊流形上的閉測(cè)地線猜想 龍以明 (312)
弱Pinsker猜想 黃文 葉向東 (315)
天體力學(xué)中的中心構(gòu)型有限性猜想 孫善忠 (317)
波利亞(Polya)猜測(cè) 戴求億 (320)
玻爾茲曼(Boltzmann)方程的Boltzmann-Grad極限 楊彤 (322)
玻爾茲曼(Boltzmann)方程的流體動(dòng)力學(xué)極限 楊形 (324)
不可壓縮納維耶-新托克斯(Navier-Stokes)方程 何成 (327)
等譜問(wèn)題 陳化 (330)
鈍體超音速繞流問(wèn)題的數(shù)學(xué)分析 陳恕行 (332)
非線性雙曲型守恒律方程組的高維黎曼(Riemann)問(wèn)題 陳恕行 (334)
非線性橢圓方程中的De Giorgi及吉本斯(Gibbons)猜想 魏軍城 (336)
馮諾伊曼(Von Neumann)悖論 陳恕行 (339)
沒(méi)有對(duì)稱性的非線性橢圓型方程無(wú)窮多個(gè)解的存在性 劉兆理 (341)
擬線性雙曲型方程組由特征向量引發(fā)的奇性 李大潛 (344)
歐拉方程整體L∞弱解的適定性問(wèn)題 黃飛敏 (347)
趨化性模型解的行為與模式形成問(wèn)題 陳化 劉偉安 (349)
聲波和電磁波反散射問(wèn)題的唯一性 劉宏宇 鄒軍 (352)
橢圓算子的譜漸近以及韋爾-貝里(Weyl-Berry)猜想 陳化 (356)
線性退化的擬線性雙曲型方程組不會(huì)導(dǎo)致激波形成? 李大潛 (359)
薛定詩(shī)(Schrodinger)方程中的孤立子猜想 張曉軼 (362)
一類二階完全非線性偏微分方程的格林(Green)函數(shù) 徐超江 陳化 (366)
AdS/CFT對(duì)應(yīng)中的可積性 陳斌 (369)
Donaldson不變量和Seiberg-Witten不變量的關(guān)系 孫善忠 (371)
愛(ài)因斯坦(Einstein)場(chǎng)方程的數(shù)學(xué)研究 張曉 (373)
Gromov-Witten不變量的Virasoro猜想 劉小博 (375)
KZB方程 丁祥茂 (377)
帶通量的弦真空和緊化與廣義復(fù)幾何 胡森 殷峰 (379)
量子楊-米爾斯(Yang-Mills)千禧問(wèn)題 王世坤 吳可 (381)
量子極小模型猜測(cè) 胡建勛 (384)
彭羅斯(Penrose)猜想 白姍 劉潤(rùn)球 (386)
三種狹義相對(duì)論和引力及其相互關(guān)系 郭漢英 (388)
雙黑洞系統(tǒng)的數(shù)恒研究 曹周鍵 (390)
楊-巳克斯特(Yang-Baxter)方程 王世坤 (393)
宇宙監(jiān)督假設(shè) 白姍 劉潤(rùn)球 (395)
亨特(Hunt)假設(shè)與Getoor猜測(cè) 應(yīng)堅(jiān)剛 (397)
常微分方程與隨機(jī)分析中的相關(guān)問(wèn)題 方詩(shī)贊 (399)
復(fù)雜數(shù)據(jù)的變量選擇問(wèn)題 孫六全 (402)
如何解決反映變量粗測(cè)量下"維數(shù)禍根"問(wèn)題 王啟華 (404)
相依結(jié)構(gòu)下復(fù)雜刪失數(shù)據(jù)統(tǒng)計(jì)建模問(wèn)題 孫六全 (406)
樣本量的增加能保持原估計(jì)的漸近性質(zhì)嗎? 崔恒建 (408)
最熱點(diǎn)猜測(cè) 陳振慶 (410)
阿達(dá)馬(Hadamard)矩陣存在性 葛根年向青殷劍興 (413)
Hadwiger猜想 許寶剛 (415)
西摩(Seymour)的二階鄰域猜想 李學(xué)良 (417)
韋斯(Weiss)有限局部本原圖猜想 馮衍全 (419)
并閉集猜想 王軍 (421)
獨(dú)立系的Chvatal猜想 王毅 (422)
非素?cái)?shù)事階射影平面的存在性 葛根年 (424)
經(jīng)典拉姆齊(Ramsey)函數(shù)的估值 李雨生 (425)
柯克曼三元系大集的存在性問(wèn)題 常彥勛 (428)
拉丁方的橫截問(wèn)題 李學(xué)良 (430)
列表染色猜想 許寶剛 (432)
旅行售貨員問(wèn)題 許寶剛 (434)
球面上的g-猜想 陳永川 Richard P.Stanley (436)
雙圈覆蓋猜想 張存栓 (438)
凸多邊形與厄爾多斯-Szekeres(Erdos-Szekeres)問(wèn)題 李學(xué)良 (444)
圖的pfaffian 定向 張�；� (442)
圖的重構(gòu)猜想 洪測(cè) (組4)
整數(shù)流猜想 范吳華 (446)
子圖覆蓋問(wèn)題 范是華 (448)
自回避行走的計(jì)數(shù)問(wèn)題 陳永川 Richard P.Stanley (450)
P=NP? 高小山 朱洪 (453)
單向函數(shù)的存在性 鄧映蒲 (456)
設(shè)計(jì)既實(shí)用又安全的公鑰密碼系統(tǒng) 鄧映蒲 (457)
大數(shù)分解是否有多項(xiàng)式算法? 馮克勤 (460)
離散對(duì)數(shù)求解問(wèn)題 龔賢 (463)
多變?cè)�公鑰密碼中MQ問(wèn)題是否存在有效算法? 劉卓軍 (466)
"最小秩"問(wèn)題是否存在有效算法? 劉卓軍 (469)
符號(hào)-數(shù)值混合計(jì)算 吳文俊 (471)
多項(xiàng)式方程組的有效求解 高小山 (473)
基于有理多項(xiàng)式平方和的全局最優(yōu)驗(yàn)證 支麗紅 (475)
有理代數(shù)曲面的高效參數(shù)化與隱式化方法 高小山 陳友來(lái) (478)
曲面交線的高效可靠計(jì)算 鄧建松陳友來(lái) (480)
平面向量場(chǎng)不變曲線次數(shù)的龐加萊 (Poincare)的問(wèn)題 馮如勇 (482)
微分代數(shù)簇的不可縮分解 高小山 (485)
差分代數(shù)簇的不可約分解 高小山袁春明 (487)
最小徽分維數(shù)多項(xiàng)式的計(jì)算Alexander Levin (489)
羅塔-巳克斯特(Rota-Baxter)代數(shù)中的兒個(gè)問(wèn)題 郭鈕 (492)
阿蒂亞(Atiyah)猜想 李洪波 (494)
非負(fù)矩陣分解 柏兆俊 (495)
非線性偏微分方程間斷解問(wèn)題的高精度格式 舒其望 (497)
分片多項(xiàng)式方程組的計(jì)算及相關(guān)幾何問(wèn)題 王仁宏 (499)
高維大尺度反散射問(wèn)題的分析與計(jì)算 包剛 (501)
求解無(wú)界區(qū)域非線性偏微分方程的人工邊界方法 余德浩 (503)
求解線性代數(shù)方程組的最優(yōu)方法 許進(jìn)超 (505)
燃燒方程組間斷解的數(shù)值計(jì)算方法 應(yīng)隆安 袁禮 (508)
三維橢圓和電磁場(chǎng)計(jì)算問(wèn)題的仰自適應(yīng)有限元方法 陳志明 (511)
雙曲型守恒律方程組差分方法對(duì)間斷解的收斂性 應(yīng)隆安 (513)
高精度有限元方法中未解決的具體問(wèn)題 林群 (516)
最優(yōu)剖分的有關(guān)理論和計(jì)算問(wèn)題 杜強(qiáng) (518)
凸多面體的6步猜想 袁亞湘 (521)
有限個(gè)二次函數(shù)最大值的極小化問(wèn)題 袁亞湘 (523)
推廣的Lax猜想：雙曲錐能表示為半定錐的一個(gè)截面 修乃華 (525)
DFP擬牛頓法的收斂性 戴虹 (527)
最小阻力凸體問(wèn)題 戴虹 (529)
是否存在求解性線性規(guī)劃的強(qiáng)多項(xiàng)式時(shí)間算法? 張樹(shù)中 何斯邁 (532)
組合優(yōu)化反問(wèn)題的計(jì)算復(fù)雜性 楊曉九 (535)
旅行商問(wèn)題是否存在性能比小于1.5的近似算法 胡曉東 (537)
k-服務(wù)器猜想 徐寅峰 (539)
是否存在求解裝箱問(wèn)題的絕對(duì)近似算法 張國(guó)川 (541)
隨機(jī)排隊(duì)網(wǎng)絡(luò)的遍歷性 戴建崗 張漢勤 (543)
位相型分布的最小表示 何啟明 張漢勤 (544)
非線性動(dòng)力系統(tǒng)的模型降階 蘇仰鋒 曾璇 (546)
水分子多尺度建模與計(jì)算 張平文 (549)
編后記 (553)