A Toolkit for Non-linear Algebra

非线性代数工具包

基本信息

  • 批准号:
    9320588
  • 负责人:
  • 金额:
    $ 30.97万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    1994
  • 资助国家:
    美国
  • 起止时间:
    1994-08-01 至 1997-07-31
  • 项目状态:
    已结题

项目摘要

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.
这个项目承担了一个用C语言编写的代数几何工具包的实现,它可以求解复数上的方程组,以及实数上的不等式。这样的工具包有许多应用,因为来自科学和工程的许多分支的问题可以使用多项式方程和不等式系统来表示。通过几个著名的定理,特别是塔尔斯基的实数定理,在原则上解决这类问题是可能的。但最坏情况的界在变量的个数上是指数或双指数的,而且还没有出现能处理几种以上特殊情况的实用系统。另一方面,多项式系统可能有一种特殊的结构,一种稀疏性,这意味着复杂性(用代数度衡量)比最坏的情况低得多。事实上,大多数重要的应用都是这种类型的。最近,已经开发出了可以利用这种结构的算法。这一认识是此时开发该工具包的强大动力。此外,符号确定和符号-数字计算的算法也得到了改进,人们认为这些方法现在已经足够先进,足以保证实施。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

John Canny其他文献

Privacy Preserving Link Analysis on Dynamic Weighted Graph
Vacuum assisted biopsy versus surgical excision for the diagnosis and monitoring of B3 papillary lesions
  • DOI:
    10.1016/j.ejso.2017.01.098
  • 发表时间:
    2017-05-01
  • 期刊:
  • 影响因子:
  • 作者:
    Quratul Ain;John Canny;Bruce Tanchel;Balapathiran Balasubramanian
  • 通讯作者:
    Balapathiran Balasubramanian
Risk of colonic malignancy following acute appendicitis in older adults – a six year retrospective review
  • DOI:
    10.1016/j.ejso.2021.11.096
  • 发表时间:
    2022-01-01
  • 期刊:
  • 影响因子:
  • 作者:
    Catherine Gilmore;John Canny;Ian McAllister;Anthony McBrearty
  • 通讯作者:
    Anthony McBrearty

John Canny的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('John Canny', 18)}}的其他基金

HCC: Small: First Days: Improving Maternal and Infant Health with Persuasive Technology
HCC:小型:第一天:利用说服性技术改善母婴健康
  • 批准号:
    0915705
  • 财政年份:
    2009
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Standard Grant
Flexonic Actuators
Flexonic 执行器
  • 批准号:
    0501181
  • 财政年份:
    2005
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Standard Grant
ITR: Human-centered Design of Context-aware Computing: Scalability, Usability and Privacy
ITR:以人为本的上下文感知计算设计:可扩展性、可用性和隐私
  • 批准号:
    0205644
  • 财政年份:
    2002
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Continuing Grant
Ant Club Trails: Privacy and Collaboration in an Ubiquitous Computing World
蚂蚁俱乐部足迹:无处不在的计算世界中的隐私与协作
  • 批准号:
    0222745
  • 财政年份:
    2002
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Continuing Grant
PRoPs and Gesturing Avatars: Embodied Robotic Interfaces
PRoP 和手势化身:具体机器人界面
  • 批准号:
    9978138
  • 财政年份:
    1999
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Continuing Grant
NSF-US/Europe Workshop on Personal Robotics
NSF-美国/欧洲个人机器人研讨会
  • 批准号:
    9812428
  • 财政年份:
    1998
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Standard Grant
SGER: Tele-Embodiment: A Project Joining Robotics, HCI, and Social Psychology
SGER:远程体现:一个结合机器人、人机交互和社会心理学的项目
  • 批准号:
    9873759
  • 财政年份:
    1998
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Standard Grant
A RISC Approach to Sensing and Manipulation
传感和操纵的 RISC 方法
  • 批准号:
    9319412
  • 财政年份:
    1994
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Continuing Grant
CISE Research Instrumentation: Flexible Actuators and Sensors for Robotics Research
CISE 研究仪器:用于机器人研究的柔性执行器和传感器
  • 批准号:
    9121929
  • 财政年份:
    1992
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Standard Grant
Intelligent Material Handling Systems: Intelligent Distributed Control of Material Handling
智能物料搬运系统:物料搬运的智能分布式控制
  • 批准号:
    9114446
  • 财政年份:
    1991
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Continuing Grant

相似国自然基金

Non-CG DNA甲基化平衡大豆产量和SMV抗性的分子机制
  • 批准号:
    32301796
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
long non-coding RNA(lncRNA)-activatedby TGF-β(lncRNA-ATB)通过成纤维细胞影响糖尿病创面愈合的机制研究
  • 批准号:
    LQ23H150003
  • 批准年份:
    2023
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
染色体不稳定性调控肺癌non-shedding状态及其生物学意义探索研究
  • 批准号:
    82303936
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
变分法在双临界Hénon方程和障碍系统中的应用
  • 批准号:
    12301258
  • 批准年份:
    2023
  • 资助金额:
    30.00 万元
  • 项目类别:
    青年科学基金项目
BTK抑制剂下调IL-17分泌增强CD20mb对Non-GCB型弥漫大B细胞淋巴瘤敏感性
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Non-TAL效应子NUDX4通过Nudix水解酶活性调控水稻白叶枯病菌致病性的分子机制
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
一种新non-Gal抗原CYP3A29的鉴定及其在猪-猕猴异种肾移植体液排斥反应中的作用
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    33 万元
  • 项目类别:
    地区科学基金项目
非经典BAF(non-canonical BAF,ncBAF)复合物在小鼠胚胎干细胞中功能及其分子机理的研究
  • 批准号:
    32170797
  • 批准年份:
    2021
  • 资助金额:
    58 万元
  • 项目类别:
    面上项目
Non-Oberbeck-Boussinesq效应下两相自然对流问题的建模及高效算法研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
植物胚乳发育过程中non-CG甲基化调控的分子机制探究
  • 批准号:
    LQ21C060001
  • 批准年份:
    2020
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

CAREER: Scalable algorithms for regularized and non-linear genetic models of gene expression
职业:基因表达的正则化和非线性遗传模型的可扩展算法
  • 批准号:
    2336469
  • 财政年份:
    2024
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Continuing Grant
Statistical aspects of non-linear inverse problems
非线性反问题的统计方面
  • 批准号:
    EP/Y030249/1
  • 财政年份:
    2024
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Research Grant
Structural Performance Analysis of a Floating Green Energy Storage Subjected to Non-Linear Loads
非线性载荷下浮动绿色储能结构性能分析
  • 批准号:
    2902122
  • 财政年份:
    2024
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Studentship
Quantum Manybody Dynamical Effects in Non-linear Optical Spectroscopy
非线性光谱学中的量子多体动力学效应
  • 批准号:
    2404788
  • 财政年份:
    2024
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Standard Grant
A computational approach to identify non-linear sequence similarity between lncRNAs
识别 lncRNA 之间非线性序列相似性的计算方法
  • 批准号:
    2228805
  • 财政年份:
    2023
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Standard Grant
Quantum singularity and non-linear positive maps on operator algebras
算子代数上的量子奇点和非线性正映射
  • 批准号:
    23K03151
  • 财政年份:
    2023
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Non-linear modelling of performance limiting MHD and disruptions in spherical tokamaks
球形托卡马克性能限制 MHD 和破坏的非线​​性建模
  • 批准号:
    2910483
  • 财政年份:
    2023
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Studentship
CAREER: Simulating Mesoscale Quantum Dynamics and Non-linear Microscopy
职业:模拟中尺度量子动力学和非线性显微镜
  • 批准号:
    2341178
  • 财政年份:
    2023
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Continuing Grant
Resonance investigation for SILA: novel linear actuation with non-contact magnetic transmission
SILA 共振研究:具有非接触式磁传输的新型线性驱动
  • 批准号:
    10060949
  • 财政年份:
    2023
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Collaborative R&D
Non-linear large signal network analysis
非线性大信号网络分析
  • 批准号:
    512477106
  • 财政年份:
    2023
  • 资助金额:
    $ 30.97万
  • 项目类别:
    Major Research Instrumentation
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了