夏壁燦，教授，北京大學信息科學系系主任，曾獲2005-2006年度北京大學教學優秀獎。
基本介紹
- 中文名：夏壁燦
- 職稱：教授
- 職業：教師
- 任職單位：北京大學
工作經歷,出版圖書,
工作經歷
2008- 北京大學數學科學學院 教授
2001-2008 北京大學數學科學學院 副教授
2000-2001 北京大學數學科學學院 講師
1998-2000 北京大學數學系 博士後
代表作
Proc. the 7th Asian Symposium on Computer Mathematics (ASCM 2005), (Sung-il Pae, H. Park, eds.), pp.235—237. Seoul, Dec.8-10, 2005.
Proc. the 7th Asian Symposium on Computer Mathematics (ASCM 2005), (Sung-il Pae, H. Park, eds.), pp.153—156. Seoul, Dec.8-10, 2005.
Algebraic Biology 2005 - Computer Algebra in Biology (Proceedings of the First International Conference, Tokyo, Japan, November 28-30, 2005) (H. Anai and K. Horimoto, eds.), Universal Academy Press, Inc., Tokyo, 2005, pp. 75-83.
Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005) (M. Kauers, ed.), pp. 354—361. ACM Press, New York (2005).
Algorithmic Algebra and Logic --- Proceedings of the A3L 2005 (A. Dolzmann, A. Seidl, and T. Sturm, eds.), pp. 281—289. Herstellung und Verlag, Norderstedt (2005).
《套用數學學報》，2003年10月，第26卷，第4期，652-663頁。
Geometric Computation, World Scientific, pp.248--298, 2004.
J. Symb. Compt.,Vol. 34, No.5, pp.461--477, 2002.
Comp. & Math. Appl., Vol. 44, pp.633--642, 2002.
Proceedings of the First International Congress of Mathematical Software, pp.115--125, World Scientific, 2002.
Computer Mathematics--Proceedings of the ASCM2001, pp.211--220, World Scientific, 2001.
Science in China (Series F), Vol. 44, No. 1, pp.33--49, 2001.
Progress in Natural Science, Vol.10, No. 12, pp.897--910, 2000.
Lecture Notes in Artificial Intelligence 1669, Springer-Verlag, pp.30--46, 1999.
《符號計算選講》，清華大學出版社，2003。
《計算機代數》，清華大學出版社，2004.
Comp. & Math. Appl., vol. 48, issue 12, pp. 1811-1817, 2004.
Proc. the First International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS05), pp.85—91, Beijing, July 24-26, 2006.
Lecture Notes in Artificial Intelligence 4120 (T. Ida, J. Calmet and D. Wang eds.), pp. 131—145, Sept. 2006.
Proc. International Conference on Computational Intelligence (CI 2006), November 20-22, 2006, San Francisco, USA.
Bulletin of the Belgian Mathematical Society, 2006 (Accepted).
Computers and Mathematics with Applications, Vol. 52, pp.853--860, 2006.
Position paper in Verified Software: Theories, Tools, Experiments (VSTTE 2005), ETH Zürich, Oct. 10-13, 2005. (to appear in Lecture Notes in Computer Science)
科研項目
2007--2010 新世紀優秀人才資助計畫 教育部
2006--2008 Chinese-SALSA 法國INRIA研究所國際合作項目
2005--2010 海量信息系統協同性隨機模型與可生存性複雜性分析 973項目：海量信息的協同性和可生存性的理論與實踐研究
2005--2008 實代數符號計算在形式化方法中的套用 自然科學基金
2004--2009 實幾何與實代數的高效能算法 973項目：數學機械化方法及其在信息領域中的套用
2000--2003 自動推理平台 973項目：數學機械化與自動推理平台
主講課程
每學期 解多項式系統的符號算法(討論班) 研究生
98-06年秋季 計算機代數 本科生、研究生
2006秋季 實代數幾何中的算法(討論班) 研究生
01-06年春季 理論計算機科學基礎 本科生、研究生
社會兼職
2006年10月至今 國際期刊 Mathematics in Computer Science 編委
2003年5月至2008年7月 信息科學系 副系主任
2003年11月至2008年7月 數學學院 院長助理
2000年9月至2004年7月 數學學院 班主任
榮譽獲獎
2001年 周培源數學獎教金
2000-2001 年度優秀班主任
出版圖書
作者類型：
作者時間：2003年8月1日
本書介紹符號計算的基本概念、思想、理論、方法、軟體和套用。全書共分6章，概述符號計算的6個主要分支，內容包括計算代數，幾何定理機器證明的代數方法，計算實代數幾何，代數計算在計算機輔助幾何設計中的套用，符號微分、符號積分和微分方程的符號解，以及符號與數值混合計算。本書選材側重基礎知識和經典算法，...
