International Conference on Applications of Symbolic Computation (ACA-2004); July 21-23, 2004; Beaumont, TX
International Conference on Applications of Symbolic Computation (ACA-2004); July 21-23, 2004; Beaumont, TX
批准号:
0435826
负责人:
Quoc-Nam Tran
金额:
$1.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-06-15 至 2005-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The workshop will consist of over ten sessions organized by prominent researchers who will focus on their own application areas including computer aided geometric design, geometric modeling and computation, robotics and kinematics, mechanics, high energy physics, economics and finance, theorem provers, types and specifications, differential equations, the symbolic numeric interface, education, engineering, science and applied mathematics. The researchers that are participating in this workshop are among the best in the world. The list of sessions is in the proposal. The workshop will be held in Beaumont, Texas.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Collaborative Research: Efficient Groebner Basis Computation in Boolean Rings for Temporal Logic Reasoning and Model Checking
-
批准号:1450146
-
项目类别:Standard Grant
-
资助金额:$5.91万
-
财政年份:2014
-
负责人:Quoc-Nam Tran
-
依托单位:
AF: Small: Collaborative Research: Efficient Groebner Basis Computation in Boolean Rings for Temporal Logic Reasoning and Model Checking
-
批准号:1355991
-
项目类别:Standard Grant
-
资助金额:$6.04万
-
财政年份:2013
-
负责人:Quoc-Nam Tran
-
依托单位:
Computer Algebra Research Student Support for the 17th International Conference on Applications of Computer Algebra (ACA 2011)
-
批准号:1115922
-
项目类别:Standard Grant
-
资助金额:$0.7万
-
财政年份:2011
-
负责人:Quoc-Nam Tran
-
依托单位:
AF: Small: Collaborative Research: Efficient Groebner Basis Computation in Boolean Rings for Temporal Logic Reasoning and Model Checking
-
批准号:0917257
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Quoc-Nam Tran
-
依托单位:
SGER: Efficient Groebner Basis Computation for Finding Implicit Representations of Geometric Objects
-
批准号:0333746
-
项目类别:Standard Grant
-
资助金额:$7.59万
-
财政年份:2003
-
负责人:Quoc-Nam Tran
-
依托单位:
海外基金