A Toolkit for Non-linear Algebra
A Toolkit for Non-linear Algebra
批准号:
9320588
负责人:
John Canny
金额:
$30.97万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1994
资助国家:
美国
项目状态:
已结题
起止时间:
1994-08-01 至 1997-07-31
中文摘要
这个项目承担了一个代数几何工具包的实现,用C语言编写,可以解决 复数上的方程组和实数上的不等式。 有 这样的工具包的许多应用程序,因为许多分支的问题, 科学和工程可以用多项式方程系统来表述, 不等式 通过几个著名的定理,特别是塔斯基定理 实际上,这些问题在原则上是可以解决的。 但 最坏情况的界限是指数或双指数的数量, 变量,没有实际的系统已经出现,可以处理超过几个 特殊情况。 另一方面,多项式系统可能具有特殊的 结构,一种稀疏性,这意味着复杂性(由 代数次数)远低于最坏情况。 事实上,大多数重要的 应用程序就是这种类型。 最近,算法已经被开发出来, 可以利用这种结构。 这种认识是一种强烈的动机, 在这个时候开发工具包。 此外,在以下方面也有改进: 算法的符号确定和符号数字计算,它是 我认为这些方法现在已经足够先进,值得实施。
英文摘要
This project undertakes the implementation of an algebraic-geometric toolkit, written in C, which can solve systems of equations over the complex numbers, and inequalities over the reals. There are many applications of such a toolkit, since problems from many branches of science and engineering can be formulated using systems of polynomial equations and inequalities. By several well-known theorems, in particular, Tarski's theorem for the reals, it is possible to solve such problems in principle. But the worst case bounds are exponential or doubly-exponential in the number of variables, and no practical system has appeared that can deal with more than a few special cases. On the other hand, systems of polynomials may have a special structure, a kind of sparseness, that implies a complexity (measured by the algebraic degree) much lower than the worst case. Indeed, most of the important applications are of this type. Very recently, algorithms have been developed that can exploit this structure. This realization is a strong motivation for developing the toolkit at this time. In addition, there have been improvements in algorithms for sign determination and symbolic-numeric computation, and it is felt that these methods are now advanced enough to warrant implementation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
HCC: Small: First Days: Improving Maternal and Infant Health with Persuasive Technology
-
批准号:0915705
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2009
-
负责人:John Canny
-
依托单位:
Flexonic Actuators
-
批准号:0501181
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2005
-
负责人:John Canny
-
依托单位:
ITR: Human-centered Design of Context-aware Computing: Scalability, Usability and Privacy
-
批准号:0205644
-
项目类别:Continuing Grant
-
资助金额:$260.0万
-
财政年份:2002
-
负责人:John Canny
-
依托单位:
Ant Club Trails: Privacy and Collaboration in an Ubiquitous Computing World
-
批准号:0222745
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2002
-
负责人:John Canny
-
依托单位:
PRoPs and Gesturing Avatars: Embodied Robotic Interfaces
-
批准号:9978138
-
项目类别:Continuing Grant
-
资助金额:$36.06万
-
财政年份:1999
-
负责人:John Canny
-
依托单位:
NSF-US/Europe Workshop on Personal Robotics
-
批准号:9812428
-
项目类别:Standard Grant
-
资助金额:$3.54万
-
财政年份:1998
-
负责人:John Canny
-
依托单位:
SGER: Tele-Embodiment: A Project Joining Robotics, HCI, and Social Psychology
-
批准号:9873759
-
项目类别:Standard Grant
-
资助金额:$7.48万
-
财政年份:1998
-
负责人:John Canny
-
依托单位:
A RISC Approach to Sensing and Manipulation
-
批准号:9319412
-
项目类别:Continuing Grant
-
资助金额:$26.08万
-
财政年份:1994
-
负责人:John Canny
-
依托单位:
CISE Research Instrumentation: Flexible Actuators and Sensors for Robotics Research
-
批准号:9121929
-
项目类别:Standard Grant
-
资助金额:$4.8万
-
财政年份:1992
-
负责人:John Canny
-
依托单位:
Intelligent Material Handling Systems: Intelligent Distributed Control of Material Handling
-
批准号:9114446
-
项目类别:Continuing Grant
-
资助金额:$30.8万
-
财政年份:1991
-
负责人:John Canny
-
依托单位:
PYI: Motion Planning
-
批准号:8958577
-
项目类别:Continuing Grant
-
资助金额:$21.2万
-
财政年份:1989
-
负责人:John Canny
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Non-CG DNA甲基化平衡大豆产量和SMV抗性的分子机制
-
批准号:32301796
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:寻红卫
-
依托单位:
long non-coding RNA(lncRNA)-activatedby TGF-β(lncRNA-ATB)通过成纤维细胞影响糖尿病创面愈合的机制研究
-
批准号:LQ23H150003
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:厉怡
-
依托单位:
染色体不稳定性调控肺癌non-shedding状态及其生物学意义探索研究
-
批准号:82303936
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:张嘉涛
-
依托单位:
变分法在双临界Hénon方程和障碍系统中的应用
-
批准号:12301258
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:王聪
-
依托单位:
BTK抑制剂下调IL-17分泌增强CD20mb对Non-GCB型弥漫大B细胞淋巴瘤敏感性
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:李庆山
-
依托单位:
Non-TAL效应子NUDX4通过Nudix水解酶活性调控水稻白叶枯病菌致病性的分子机制
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:郭宝佃
-
依托单位:
一种新non-Gal抗原CYP3A29的鉴定及其在猪-猕猴异种肾移植体液排斥反应中的作用
-
批准号:--
-
项目类别:地区科学基金项目
-
资助金额:33万元
-
批准年份:2022
-
负责人:王毅
-
依托单位:
非经典BAF(non-canonical BAF,ncBAF)复合物在小鼠胚胎干细胞中功能及其分子机理的研究
-
批准号:32170797
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:张文胜
-
依托单位:
Non-Oberbeck-Boussinesq效应下两相自然对流问题的建模及高效算法研究
-
批准号:12101391
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:潘晓敏
-
依托单位:
植物胚乳发育过程中non-CG甲基化调控的分子机制探究
-
批准号:LQ21C060001
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2020
-
负责人:方慧慧
-
依托单位: