计算机科学哲学博士-计算机代数与符号计算

计算机代数和符号计算小组的主要目标是研究和开发计算机代数算法
The David R. Cheriton School of Computer Science has an international reputation in teaching, academics, research, and employment. We attract exceptional students from all over the world to study and conduct research with our award-winning faculty. You can participate in research projects in a wide variety of topics with our internationally acclaimed researchers. Our research spans the field of computer science, from core work on systems, theory and programming languages to human-computer interaction, DNA and quantum computing to theoretical and applied machine learning, just to name a few. As a graduate student, you will: Access research-intensive lab spaces. Gain the opportunity to publish your work in top conferences and journals. Present at premier conferences in front of peers, industry leaders, researchers, and experts in your field. As a graduate student, you will have the independence to pursue your preferred area of research with a faculty If you want to continue pursuing research and expand your learning, you will work with a supervisor to develop a thesis. As a graduate student at the PhD level you will be expected to conduct meaningful research that expands the scope of your graduate work.<br><br>The Computer Algebra and Symbolic Computation Group has as its primary goal the research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolic-numeric computations. Directed by George Labahn, the group has existed since 1981 and is best known for the creation of the Maple computer algebra system. Currently, the main areas of interest include symbolic integration, linear differential equations, the development of hybrid symbolic-numeric algorithms for scientific computation, the algebraic manipulation of matrices of differential operators and symbolic linear algebra including normal forms and matrix polynomial algebra. The algorithms developed by the group members and their students are typically later incorporated into the Maple computer algebra system. The group also has interests in mathematical interfaces for pen-based devices, including for example PC tablets and iPads. The intent is to create interfaces that allow for natural two dimensional input of mathematical notation which allows for simple manipulation of expressions on such devices while also allowing one to take advantage of the power of today's computer algebra systems.