LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Nghiên cứu » Bài báo khoa học » Chương sách
Sách
Soạn thảo sách
Bài báo khoa học
Chương sách
Bài hội thảo khoa học
Các bài báo va hội thảo khác
Luận án tiến sĩ khoa học
Luận án tiến sĩ
Nhóm nghiên cứu hiện hành : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Các nhóm nghiên cứu trước đây : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Các đề tài nghiên cứu trước đây : 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
Sơ đồ site |