LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Pesquisa » Publicações » Capítulos de livros
Livros
Livros Editados
Jornais
Capítulos de livros
Artigos de Conferencia
Outras publicações
Habilitações (Livre Docência)
Teses
Equipes atuais : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Antigos grupos : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Antigos tópicos de pesquisa : 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
Mapa do site |