Fast Bit Complexity in Symbolic Computation Algorithms

符号计算算法中的快速位复杂性

基本信息

  • 批准号:
    0305314
  • 负责人:
  • 金额:
    $ 31.06万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2003
  • 资助国家:
    美国
  • 起止时间:
    2003-08-15 至 2006-12-31
  • 项目状态:
    已结题

项目摘要

Erich Kaltofen is studying the connection of the bit cost of arithmetic on the numeric coefficients to the overall efficiency of symbolic computation algorithms. He designs and implements new algorithms for fundamental problems in exact polynomial and linear algebra and such polynomial resultants that achieve speedup through controlling the lengths of the intermediately computed rational numbers. Faster arithmetic cost is also achieved by fixed or variable precision floating point operations, and such approximate input and output data is the subject of our investigations into hybrid symbolic/numeric algorithms for polynomial factorization and structured system solving. Randomized algorithms for sparse interpolation problems are being executed as good heuristics with a limited number of coin flips in order to keep intermediate coefficients small. The algorithms in the LinBox program library for sparse, structured and black box matrices through its generic, reusable design are compiled with arithmetic that is specialized, for example, for particularly efficient finite field operations.The overarching goal of the field of symbolic computation is doing mathematics with the aid of a computer. Programs such as Mathematica by Wolfram Research Inc. and Maple by Maplesoft have already reached millions of users, who use them to automatically and error-free perform the mechanics of mathematical manipulation. Thus, the users can concentrate on the interpretation of the mathematical results and, equally important, manipulate large mathematical models that are closer to reality. Kaltofen's research contributes to the infrastructure of the underlying mathematics engine on the computer. The investigated speedups make the execution significantly faster, thus allowing even better models and providing mathematics servers to even more users ranging from practicing scientists to high school students. Kaltofen under the umbrella of the LinBox group (www.linalg.org) is making the developed software freely available. Users can download and run the algorithms and experts in the discipline can scrutinize the fine points.
埃里希·卡尔托芬正在研究数字系数上的算术比特成本与符号计算算法的整体效率之间的关系。他设计并实现了精确多项式和线性代数中基本问题的新算法,以及通过控制中间计算的有理数的长度来实现加速的多项式结果。通过固定或可变精度的浮点运算也可以获得更快的算术成本,这种近似的输入和输出数据是我们研究用于多项式因式分解和结构化系统求解的混合符号/数字算法的主题。稀疏内插问题的随机化算法被作为良好的启发式算法执行,只需有限次数的掷硬币,以保持中间系数较小。LinBox程序库中用于稀疏、结构化和黑盒矩阵的算法通过其通用的、可重复使用的设计,用专门的算法编译,例如,特别有效的有限域运算。符号计算领域的首要目标是在计算机的帮助下进行数学运算。像Wolfram Research Inc.的MATHEMICAL A和Maplesoft的Maple这样的程序已经接触到了数百万用户,他们使用这些程序来自动、无错误地执行数学处理的机制。因此,用户可以集中精力解释数学结果,同样重要的是,可以操纵更接近现实的大型数学模型。卡尔托芬的研究为计算机基础数学引擎的基础设施做出了贡献。所调查的加速比使执行速度显著加快,从而允许更好的模型,并为从实践科学家到高中生的更多用户提供数学服务器。在LinBox集团(www.linalg.org)旗下的Kaltofen正在免费提供开发的软件。用户可以下载并运行该算法,该学科的专家可以仔细查看细微之处。

项目成果

期刊论文数量(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 }}

Erich Kaltofen其他文献

Deterministic distinct-degree factorization of polynomials over finite fields
有限域上多项式的确定性异次因式分解
  • DOI:
  • 发表时间:
    2004
  • 期刊:
  • 影响因子:
    0.7
  • 作者:
    Shuhong Gao;Erich Kaltofen;Alan G. B. Lauder
  • 通讯作者:
    Alan G. B. Lauder
What is Hybrid Symbolic-Numeric Computation?
Parallel Computation of Polynomial Greatest Common Divisors
多项式最大公约数的并行计算
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Erich Kaltofen
  • 通讯作者:
    Erich Kaltofen
Factorization of Polynomials
  • DOI:
    10.1007/978-3-7091-7551-4_8
  • 发表时间:
    1983
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Erich Kaltofen
  • 通讯作者:
    Erich Kaltofen

Erich Kaltofen的其他文献

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

{{ truncateString('Erich Kaltofen', 18)}}的其他基金

AF: Small: Symbolic Computation with Certificates, Sparsity and Error Correction
AF:小:带有证书、稀疏性和纠错的符号计算
  • 批准号:
    1717100
  • 财政年份:
    2017
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
AF: Small: Symbolic computation with sparsity, error checking and error correction
AF:小:具有稀疏性、错误检查和纠错的符号计算
  • 批准号:
    1421128
  • 财政年份:
    2014
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
AF: Small: Efficient Exact/Certified Symbolic Computation By Hybrid Symbolic-Numeric and Parallel Methods
AF:小型:通过混合符号数字和并行方法进行高效精确/认证符号计算
  • 批准号:
    1115772
  • 财政年份:
    2011
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
Model Discovery and Verification With Symbolic, Hybrid Symbolic-Numeric and Parallel Computation
使用符号、混合符号数值和并行计算进行模型发现和验证
  • 批准号:
    0830347
  • 财政年份:
    2008
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
Workshop on Advanced Cyber-Enabled Discovery & Innovation (CDI) Through Symbolic and Numeric Computation
高级网络驱动发现研讨会
  • 批准号:
    0751501
  • 财政年份:
    2007
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
Challenges in Linear and Polynomil Algebra in Symbolic Computation Algorithms
符号计算算法中线性代数和多项式代数的挑战
  • 批准号:
    0514585
  • 财政年份:
    2005
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Continuing Grant
ITR/ACS: Collaborative Research LinBox: A Generic Library for Seminumeric Black Box Linear Algebra
ITR/ACS:协作研究 LinBox:半数值黑盒线性代数通用库
  • 批准号:
    0113121
  • 财政年份:
    2001
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
Optimization, Randomization, and Generalization in Symbolic Computation
符号计算中的优化、随机化和泛化
  • 批准号:
    9988177
  • 财政年份:
    2000
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
Multi-Use "Plug-And-Play" Software Packages for Black Box and Inexact Symbolic Objects
用于黑匣子和不精确符号对象的多用途“即插即用”软件包
  • 批准号:
    9712267
  • 财政年份:
    1997
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
Efficient Computer Algorithms for Symbolic Mathematics
符号数学的高效计算机算法
  • 批准号:
    9696203
  • 财政年份:
    1996
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Continuing Grant

相似国自然基金

高速Multi-bit/cycle SAR ADC性能优化理论研究
  • 批准号:
    62004023
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
面向水下被动定位的稳健1-bit压缩感知关键算法研究
  • 批准号:
    61901273
  • 批准年份:
    2019
  • 资助金额:
    24.5 万元
  • 项目类别:
    青年科学基金项目
1-bit 压缩感知理论及其应用的研究
  • 批准号:
    11971491
  • 批准年份:
    2019
  • 资助金额:
    53.0 万元
  • 项目类别:
    面上项目
针对SAR的快速1-bit极简欺骗干扰方法研究
  • 批准号:
    61801297
  • 批准年份:
    2018
  • 资助金额:
    27.0 万元
  • 项目类别:
    青年科学基金项目
环境友好的BIT/丙烯酸酯自抛光海洋防污涂料的制备及性能研究
  • 批准号:
    51663009
  • 批准年份:
    2016
  • 资助金额:
    39.0 万元
  • 项目类别:
    地区科学基金项目
面向星载综合电子设备的智能BIT关键技术研究
  • 批准号:
    61501281
  • 批准年份:
    2015
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目
分布式算法,函数型数据分析,1-bit压缩感知的学习理论及其应用
  • 批准号:
    11571078
  • 批准年份:
    2015
  • 资助金额:
    45.0 万元
  • 项目类别:
    面上项目
肿瘤细胞中BIT1介导内质网应激诱导细胞凋亡的机制研究
  • 批准号:
    31371423
  • 批准年份:
    2013
  • 资助金额:
    75.0 万元
  • 项目类别:
    面上项目
Bit1介导的星形胶质细胞失巢凋亡在视网膜血管发育重塑中的作用及机制研究
  • 批准号:
    81300773
  • 批准年份:
    2013
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Mathematical analyses on one-bit secret sharing schemes and their extensions
一位秘密共享方案及其扩展的数学分析
  • 批准号:
    23K10979
  • 财政年份:
    2023
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Collaborative Research: SaTC: CORE: Small: Understanding and Taming Deterministic Model Bit Flip attacks in Deep Neural Networks
协作研究:SaTC:核心:小型:理解和驯服深度神经网络中的确定性模型位翻转攻击
  • 批准号:
    2342618
  • 财政年份:
    2023
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Standard Grant
Ion beams and x-ray scattering for materials physics and a little bit of gravitational waves
用于材料物理的离子束和 X 射线散射以及一点引力波
  • 批准号:
    RGPIN-2018-04659
  • 财政年份:
    2022
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Discovery Grants Program - Individual
Practical large-scale antenna systems (LSAS) for high bit-rate communications based on antenna selection and spatial modulation
基于天线选择和空间调制的实用大规模天线系统(LSAS),用于高比特率通信
  • 批准号:
    RGPIN-2018-06124
  • 财政年份:
    2022
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Discovery Grants Program - Individual
Searching for a bit of peace and quiet despite unreliable cues: dispersal, settlement, and fitness of a top predator in multi-use forests and
尽管存在不可靠的线索,但仍在寻找一点和平与安静:顶级捕食者在多用途森林中的分散、定居和适应
  • 批准号:
    2773131
  • 财政年份:
    2022
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Studentship
Intelligence temps réel embarquée pour détecteurs à débit ultrarapide
情报人员陷入困境 — däbit ultrarapide
  • 批准号:
    CRC-2019-00032
  • 财政年份:
    2022
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Canada Research Chairs
Développement et validation expérimentale d'outils de simulation énergétique pour systèmes de pompe à chaleur à débit de réfrigérant variable
仿真技术的开发和验证实验 - 庞贝系统的能量 - 查尔 - d - 比特
  • 批准号:
    546530-2020
  • 财政年份:
    2022
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Bit dullness grading using a handheld device
使用手持设备进行钻头钝度分级
  • 批准号:
    561422-2020
  • 财政年份:
    2021
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Alliance Grants
Ion beams and x-ray scattering for materials physics and a little bit of gravitational waves
用于材料物理的离子束和 X 射线散射以及一点引力波
  • 批准号:
    RGPIN-2018-04659
  • 财政年份:
    2021
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Discovery Grants Program - Individual
Practical large-scale antenna systems (LSAS) for high bit-rate communications based on antenna selection and spatial modulation
基于天线选择和空间调制的实用大规模天线系统(LSAS),用于高比特率通信
  • 批准号:
    RGPIN-2018-06124
  • 财政年份:
    2021
  • 资助金额:
    $ 31.06万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了