搜索结果: 1-13 共查到“学术机构 Computation”相关记录13条 . 查询时间(0.215 秒)
Journal on Satisfiability, Boolean Modeling and Computation(JSAT)
Journal on Satisfiability Boolean Modeling and Computation JSAT 计算机
2008/1/15
JSAT is a peer reviewed Journal, publishing high quality original research papers and survey papers which evidently contribute to deeper insight. It is an electronic medium, guaranteeing fast publicat...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
1960. 4/yr. 310pp. 18k. 230.00/USD American Mathematical Society ,P. O. Box 6248 ,Providence ,RI 02940 ,USA. TEL : 401-455-4000. FAX :401-331-3824. INDEXED IN :Math. R. ,Abstr. Bull. Inst. Pap. Chem. ...
Applied Mathematics and Scientific Computation (AMSC) Program at the University of Maryland
Scientific Computation Applied Mathematics University of Maryland 科学计算 应用数学
2007/12/21
The goal of the Applied Mathematics and Scientific Computation (AMSC) Program is to promote training in interdisciplinary research. AMSC offers Ph.D. and Master’s degrees with concentrations in either...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/108516a33767.gif)
Center for Scientific Computation and Mathematical Modeling at the University of Maryland(图)
科学计算 数学模式 Scientific Computation Mathematical Modeling University of Maryland
2007/12/19
The primary goal of the Center for Scientific Computation and Mathematical Modeling is to foster research activity that highlights the interplay between novel computational algorithms and mathematical...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
Center for Computation and Visualization at Brown University
parallel computing 并行计算 Virtual Reality display
2007/12/21
Center for Computation and Visualization(CCV) was established in 1999 with funding from an award from the 1997 NSF MRI program, additional support from Brown University and equipment donations from IB...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/107214a33317.gif)
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria(图)
Professor 教授 Research Institute for Symbolic Computation Theorema Formal Methods Parallel and Distributed Computing
2007/12/24
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria.Research: Formal Methods; Parallel and Distributed Computing.
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/107072a33244.gif)
Dr. Tudor Jebelean, Professor of Research Institute for Symbolic Computation Linz, Austria(图)
Professor 教授 Research Institute for Symbolic Computation Theorema Symbolic Scientific Computing Systolic multiprecision arithmetic
2007/12/24
Dr. Tudor Jebelean, Professor of Research Institute for Symbolic Computation Linz, Austria. Research: Theorema: automatic reasoning in natural style; Numerical and Symbolic Scientific Computing; Syst...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/107046a33235.gif)
Research Institute for Symbolic Computation of the Johannes Kepler University Linz, Austria(图)
符号演算 Symbolic Computation 计算机代数系统 computer algebra systems
2007/12/24
The Research Institute for Symbolic Computationis an institute of the Johannes Kepler University Linz, Austria.Symbolic Computation is for us:algorithmic solutions of mathematical problems, realizatio...
![](http://www.firstlight.cn/upload/imgfile/20070924d/107058a33242.gif)
Dr. Franz Winkler, Chairman of Research Institute for Symbolic Computation Linz, Austria(图)
符号计算 计算代数 Full Professor Chairman Research Institute for Symbolic Computation Symbolic computer algebra differential elimination theory Equational theorem proving
2007/12/24
Dr. Franz Winkler, Full Professor, Chairman of the Research Institute for Symbolic Computation at the Johannes Kepler University Linz, Austria. Research Interests: Symbolic and algebraic computation (...
The Center for Computational Mathematics and Scientific Computation (CCMSC) at the University of Haifa
Computational Mathematics Scientific Computation 计算数学 科学计算
2007/12/24
The Center for Computational Mathematics and Scientific Computation (CCMSC) at the University of Haifa was first proposed on March 13, 2001.After deliberations in the Scientific Council of the Researc...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/104003a32127.gif)
The LMS Journal of Computation and Mathematics, ISSN 1461-1570, an electronic journal published by the London Mathematical Society.The LMS JCM is an open access journal; anyone may browse the online a...
From their first beginnings in ancient Greece and India, logic and the study of language have been closely entwined. Logic takes its source in the process of reasoning; language is the basic means for...
The Centre for Logic, Language and Computation was established in February 2001. CLLC consists of people from mathematics, computer science, philosophy and linguistics.
Mathematics and computer scien...