课题基金 / 基金详情

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日在华盛顿特区地区主办一个关于“符号和代数计算”的讲习班。符号与代数计算(SAC)至少从20世纪60年代初就有了活跃的研究。这项研究已经导致了一些根本性的重要问题,如多项式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
  • 依托单位:
海外基金