Computer Algebra Research Student Support for the 17th International Conference on Applications of Computer Algebra (ACA 2011)
Computer Algebra Research Student Support for the 17th International Conference on Applications of Computer Algebra (ACA 2011)
批准号:
1115922
负责人:
Quoc-Nam Tran
金额:
$0.7万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2011
资助国家:
美国
项目状态:
已结题
起止时间:
2011-05-01 至 2013-04-30
中文摘要
该项目为促进学生在第17届计算机代数应用国际会议(ACA 2011)上对符号计算和计算数学的研究提供支持,该会议由拉马尔大学主办,于2011年6月27日至30日在德克萨斯州休斯顿举行。在过去的几年里,代数和符号计算在工程、科学和教育领域的应用有了显著的增长。ACA系列年度会议致力于通过强调理论研究和软件开发算法设计,以及代数和符号计算在工程、物理和医学科学、纯数学和应用数学以及教育中的应用的国际会议来刺激和加强这一重要进展。传统上,ACA会议的工作是通过促进发展和培养有能力的研究生和入门级科学家的社区来确保代数和符号计算应用领域的未来活力。通过主题演讲,讲座,主题研讨会,及时和专题辅导,本次会议为研究生和年轻科学家提供了在科学严谨的环境中相遇的机制。由于来自世界各地的研究人员,这次会议对代数和符号计算研究界和用户界都产生了广泛的影响。MapleSoft和Wolfram Research等领先软件公司一直定期参加ACA会议。
英文摘要
This project provides support for promoting student research on symbolic computation and computational mathematics at the 17th International Conference on Applications of Computer Algebra (ACA 2011), which is hosted by Lamar University and held in Houston, Texas, on June 27-30, 2011. In the past several years there has been a dramatic increase in the use of algebraic and symbolic computation in engineering, science and education. The ACA series of annual conferences is devoted to stimulating and enhancing this important progress through international meetings that emphasize theoretical research and algorithm design for software development, as well as the applications of algebraic and symbolic computation in engineering, physical and medical sciences, pure and applied mathematics, and education. The ACA conferences traditionally work to ensure the future vitality of the application fields of algebraic and symbolic computation by facilitating development and nurturing of a community of capable graduate students and entry-level scientists. Through keynote speakers, talks, themed workshops, timely and topical tutorials, this conference provides mechanisms for graduate students and young scientists to meet each other in a scientifically rigorous setting. With researchers coming from all around the world, this conference makes a broad impact on both the algebraic and symbolic computation research community and the user community. Leading software companies such as MapleSoft and Wolfram Research have been regularly attending ACA meetings.
期刊论文(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
-
依托单位:
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
-
依托单位:
International Conference on Applications of Symbolic Computation (ACA-2004); July 21-23, 2004; Beaumont, TX
-
批准号:0435826
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2004
-
负责人:Quoc-Nam Tran
-
依托单位:
SGER: Efficient Groebner Basis Computation for Finding Implicit Representations of Geometric Objects
-
批准号:0333746
-
项目类别:Standard Grant
-
资助金额:$7.59万
-
财政年份:2003
-
负责人:Quoc-Nam Tran
-
依托单位:
海外基金