| 書目名稱 | Mathematics, Computer Science and Logic - A Never Ending Story | | 副標(biāo)題 | The Bruno Buchberger | | 編輯 | Peter Paule | | 視頻video | http://file.papertrans.cn/627/626991/626991.mp4 | | 概述 | Gathers inspiring essays, written by international experts.Explores the foundations of mathematics: the state of the art, new ideas and directions.Reviews new aspects of the interplay among mathematic | | 圖書封面 |  | | 描述 | .This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.?.The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director.?.More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the | | 出版日期 | Book 2013 | | 關(guān)鍵詞 | computer mathematics; computer-assisted proofs; logic; mathematical foundations; philosophy of mathemati | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-00966-7 | | isbn_softcover | 978-3-319-34682-3 | | isbn_ebook | 978-3-319-00966-7 | | copyright | Springer International Publishing Switzerland 2013 |
The information of publication is updating
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story影響因子(影響力)
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story影響因子(影響力)學(xué)科排名
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story網(wǎng)絡(luò)公開度
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story被引頻次
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story被引頻次學(xué)科排名
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story年度引用
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story年度引用學(xué)科排名
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story讀者反饋
書目名稱Mathematics, Computer Science and Logic - A Never Ending Story讀者反饋學(xué)科排名
|
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-19 21:38
發(fā)表于 2025-3-21 16:42:28
