Beihang University
School of Mathematical Sciences
中文
HOME
NEWS
PEOPLE
RESEARCH
Areas
Publications
Software
ACTIVITIES
Conferences
Exchange
Talks
Seminars
EDUCATION
Recruitment
Cosupervision
ABOUT US
FAQ
Contacts
DOWNLOAD
Software
Papers
Links
Links
Domestic Links
Beihang University
News of Beihang University
School of Mathematical Sciences, Peking University
Department of Mathematical Sciences, Tsinghua University
School of Mathematical Sciences, University of Science and Technology of China
Academy of Mathematics and Systems Science, Chinese Academy of Sciences
Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences
Institute for Computational Mathematics and Scientific/Engineering Computing, Chinese Academy of Sciences
International Links
Pierre and Marie Curie University
PolSys (Polynomial Systems)
Chinese Solvers for ALgebraic Systems and Applications (Chinese-SALSA)
Research Institute for Symbolic Computation, Austria (RISC-Linz)
Department of Mathematical Sciences, North Carolina State University
Symbolic Computation Laboratory, Western University
Ontario Research Centre for Computer Algebra (ORCCA)
Center for Computer Mathematics
Symbolic Mathematical Computation Information Center
Math World
SymbolicData Project
Journal Links
Mathematics in Computer Science (MCS)
Journal of Symbolic Computation (JSC)
SpringerLink
Software Links
Cinderella
CoCoA
Maple
Geometer's Sketchpad
Singular
Wolfram Research