LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 研究 » 刊物 » 书籍章节
书籍
参考书目
刊物文章
书籍章节
会议文章
其他刊物
特许任教资格
博士论文
现有科研组 : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
以前科研组 : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
以前研究课题 : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
LIP6
  • F. Rouillier : “Efficient algorithms based on critical points method”, chapter in Algorithmic and Quantitative Real Algebraic Geometry, vol. 60, Discrete Mathematics and Theoretical Computer Science, L. Gonzalez-Vega, S. Basu (Eds.), pp. 123-138, (American Mathematical Society) [Rouillier 2003a]
  • D. Wang : “Automated Generation of Diagrams with Maple and Java”, chapter in Algebra, Geometry, and Software Systems, N. Takayama, M. Joswig (Eds.), pp. 277-287, (Springer-Verlag) [Wang 2003a]
  • D. Wang, B. Xia : “Computer Algebra”, chapter in Selected Lectures in Symbolic Computation, D. Wang (Ed.), pp. 1-55, (Tsinghua University Press) [Wang 2003c]
 Mentions légales
网站导航 |