课题基金 / 基金详情

A Workshop for Symbolic and Algebraic Computation: Directions for Future Research

A Workshop for Symbolic and Algebraic Computation: Directions for Future Research
符号和代数计算研讨会:未来研究方向
批准号:
8814224
负责人:
Anil Nerode
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1988
资助国家:
美国
项目状态:
已结题
起止时间:
1988-04-01 至 1988-12-31

项目摘要

项目成果

Anil Nerode的其他基金

相似基金

相关文献

中文摘要
翻译
数学科学研究所将于1988年4月28日至30日在华盛顿特区举办一个关于“符号和代数计算”的讲习班。至少自20世纪60年代初S以来,世界各地的一小群研究人员一直在符号与代数计算方面进行着活跃的研究。这项研究在早期软件的开发和一些重要的应用中,对一些基本的重要问题,如多项式GCD计算,产生了实质性的改进算法。到目前为止,研究已经揭示了这种计算的巨大潜力,但这种潜力在很大程度上仍未实现,该领域的研究仍处于不成熟状态。这次研讨会的目的是将一群来自不同背景的著名科学家和工程师聚集在一起,审查并确定需要采取什么行动来加快这一领域的研究。与会者得出的结论将记录在一份报告中。该报告将包括对这一领域研究现状的评估,概述和证明近期和长期目标的合理性,并向联邦机构,特别是国家科学基金会提出建议,以采取行动实现这些目标。
英文摘要
The Mathematical Sciences Institute will host a workshop on "Symbolic and Algebraic Computation" in the Washington D.C. area 28-30 April 1988. There has been active research in Symbolic and Algebraic Computation (SAC) since at least the early 1960's by a small group of researchers world-wide. This research has resulted in substantially improved algorithms for some fundamentally important problems such as polynomial gcd calculation, in the development of early generation of software and in a few significant applications. The research to date has revealed a substantial potential for this kind of computation, but the potential remains largely unrealized and the research area is still in an immature state. It is the purpose of this workshop to bring together a group of eminent scientists and engineers from a wide variety of backgrounds to examine and see what action, if any, is desirable to accelerate research in this area. The conclusions reached by the participants will be documented in a report. The report will include an assessment of the current status of research in this area, outline and justify near-term and long-term goals, and make recommendations to federal agencies, especially the National Science Foundation, for action to meet these goals.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Hybrid Systems Workshop to be held In Ithaca, New York, October 12-14, l996
  • 批准号:
    9632674
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.0万
  • 财政年份:
    1996
  • 负责人:
    Anil Nerode
  • 依托单位:
U.S.-FSU Seminar on Logic (Tver University, Russia: July 20-24, 1992)
  • 批准号:
    9213577
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    1992
  • 负责人:
    Anil Nerode
  • 依托单位:
Mathematical Sciences: Logic and Computability
  • 批准号:
    9204308
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $16.04万
  • 财政年份:
    1992
  • 负责人:
    Anil Nerode
  • 依托单位:
Mathematical Sciences: Research in Mathematical Logic from Computer Science
  • 批准号:
    9013068
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    1991
  • 负责人:
    Anil Nerode
  • 依托单位:
海外基金