课题基金 / 基金详情

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)
计算机代数研究生对第 17 届计算机代数应用国际会议 (ACA 2011) 的支持
批准号:
1115922
负责人:
Quoc-Nam Tran
金额:
$0.7万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2011
资助国家:
美国
项目状态:
已结题
起止时间:
2011-05-01 至 2013-04-30

项目摘要

项目成果

Quoc-Nam Tran的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
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
  • 依托单位:
海外基金