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
中文摘要
该项目为在2011年6月27-30日在德克萨斯州休斯顿举行的第17届国际计算机代数应用会议(ACA 2011)上促进学生对符号计算和计算数学的研究提供支持。在过去的几年里,代数和符号计算在工程、科学和教育中的使用有了戏剧性的增长。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
-
依托单位:
海外基金