LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Recherche » Publications » Chapitres de livres
Livres
Éditions de livres
Articles de revues
Chapitres de livres
Conférences
Autres Publications
Habilitations
Thèses
Équipes actuelles : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Anciennes équipes : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Anciens thèmes : 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
Carte du site |