Fast Bit Complexity in Symbolic Computation Algorithms
Fast Bit Complexity in Symbolic Computation Algorithms
批准号:
0305314
负责人:
Erich Kaltofen
金额:
$31.06万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-08-15 至 2006-12-31
中文摘要
Erich Kaltofen正在研究数字系数运算的位成本与符号计算算法的整体效率之间的联系。他设计并实现了新的算法的基本问题,在确切的多项式和线性代数等多项式resultants,实现加速通过控制长度的中间计算的有理数。更快的算术成本也实现了固定或可变精度浮点运算,这样的近似输入和输出数据是我们的调查的主题混合符号/数值算法多项式因式分解和结构化系统求解。稀疏插值问题的随机算法被执行为具有有限数量的硬币翻转以保持中间系数小的良好算法。LinBox程序库中的稀疏矩阵、结构矩阵和黑盒矩阵的算法通过其通用的、可重用的设计,用专门的算法进行编译,例如,特别有效的有限域运算。符号计算领域的首要目标是在计算机的帮助下进行数学运算。 Wolfram Research Inc.的Mathematica等程序。Maplesoft的Maple和Maple已经拥有数百万用户,他们使用它们来自动和无错误地执行数学操作的机制。 因此,用户可以集中精力解释数学结果,同样重要的是,操纵更接近现实的大型数学模型。Kaltofen的研究有助于计算机上基础数学引擎的基础设施。研究的加速使执行速度明显加快,从而允许更好的模型,并为从实践科学家到高中生的更多用户提供数学服务器。Kaltofen在LinBox集团(www.linalg.org)的保护下免费提供所开发的软件。用户可以下载并运行算法,该学科的专家可以仔细检查细节。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Symbolic Computation with Certificates, Sparsity and Error Correction
-
批准号:1717100
-
项目类别:Standard Grant
-
资助金额:$49.64万
-
财政年份:2017
-
负责人:Erich Kaltofen
-
依托单位:
AF: Small: Symbolic computation with sparsity, error checking and error correction
-
批准号:1421128
-
项目类别:Standard Grant
-
资助金额:$46.99万
-
财政年份:2014
-
负责人:Erich Kaltofen
-
依托单位:
AF: Small: Efficient Exact/Certified Symbolic Computation By Hybrid Symbolic-Numeric and Parallel Methods
-
批准号:1115772
-
项目类别:Standard Grant
-
资助金额:$42.5万
-
财政年份:2011
-
负责人:Erich Kaltofen
-
依托单位:
Model Discovery and Verification With Symbolic, Hybrid Symbolic-Numeric and Parallel Computation
-
批准号:0830347
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2008
-
负责人:Erich Kaltofen
-
依托单位:
Workshop on Advanced Cyber-Enabled Discovery & Innovation (CDI) Through Symbolic and Numeric Computation
-
批准号:0751501
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Erich Kaltofen
-
依托单位:
Challenges in Linear and Polynomil Algebra in Symbolic Computation Algorithms
-
批准号:0514585
-
项目类别:Continuing Grant
-
资助金额:$31.94万
-
财政年份:2005
-
负责人:Erich Kaltofen
-
依托单位:
ITR/ACS: Collaborative Research LinBox: A Generic Library for Seminumeric Black Box Linear Algebra
-
批准号:0113121
-
项目类别:Standard Grant
-
资助金额:$17.02万
-
财政年份:2001
-
负责人:Erich Kaltofen
-
依托单位:
Optimization, Randomization, and Generalization in Symbolic Computation
-
批准号:9988177
-
项目类别:Standard Grant
-
资助金额:$26.22万
-
财政年份:2000
-
负责人:Erich Kaltofen
-
依托单位:
Multi-Use "Plug-And-Play" Software Packages for Black Box and Inexact Symbolic Objects
-
批准号:9712267
-
项目类别:Standard Grant
-
资助金额:$21.52万
-
财政年份:1997
-
负责人:Erich Kaltofen
-
依托单位:
Efficient Computer Algorithms for Symbolic Mathematics
-
批准号:9696203
-
项目类别:Continuing Grant
-
资助金额:$8.69万
-
财政年份:1996
-
负责人:Erich Kaltofen
-
依托单位:
Symbolic Computation Systems for Young Scholars: Development and Industrial Applications
-
批准号:9353009
-
项目类别:Continuing Grant
-
资助金额:$5.92万
-
财政年份:1994
-
负责人:Erich Kaltofen
-
依托单位:
Efficient Computer Algorithms for Symbolic Mathematics
-
批准号:9319776
-
项目类别:Continuing Grant
-
资助金额:$15.29万
-
财政年份:1994
-
负责人:Erich Kaltofen
-
依托单位:
Workshop for Integrated Symbolic-Number Computing; University of California, Berkeley; July, 1992
-
批准号:9204286
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:1992
-
负责人:Erich Kaltofen
-
依托单位:
CISE 1991 Minority Graduate Fellowship Honorable Mention (Angel Diaz)
-
批准号:9121465
-
项目类别:Standard Grant
-
资助金额:$0.6万
-
财政年份:1991
-
负责人:Erich Kaltofen
-
依托单位:
Efficient Computer Algorithms for Symbolic Mathematics
-
批准号:9006077
-
项目类别:Continuing Grant
-
资助金额:$19.69万
-
财政年份:1991
-
负责人:Erich Kaltofen
-
依托单位:
Studies on the Sequential and Parallel Complexity of Computer Algebra Problems
-
批准号:8705363
-
项目类别:Continuing Grant
-
资助金额:$14.23万
-
财政年份:1987
-
负责人:Erich Kaltofen
-
依托单位:
Complexity Studies in Computer Algebra (Computer Research)
-
批准号:8504391
-
项目类别:Continuing Grant
-
资助金额:$5.47万
-
财政年份:1985
-
负责人:Erich Kaltofen
-
依托单位:
国内基金
海外基金
登录
查看更多内容
新发现长链非编码RNA Lnc207下调MFS超家族转运膜蛋白BIT33_RS14560表达对鲍曼不动杆菌生物膜的抑制作用及机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2021
-
负责人:周燕斌
-
依托单位:
高速Multi-bit/cycle SAR ADC性能优化理论研究
-
批准号:62004023
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:庄浩宇
-
依托单位:
面向水下被动定位的稳健1-bit压缩感知关键算法研究
-
批准号:61901273
-
项目类别:青年科学基金项目
-
资助金额:24.5万元
-
批准年份:2019
-
负责人:肖鹏
-
依托单位:
1-bit 压缩感知理论及其应用的研究
-
批准号:11971491
-
项目类别:面上项目
-
资助金额:53.0万元
-
批准年份:2019
-
负责人:毕宁
-
依托单位:
针对SAR的快速1-bit极简欺骗干扰方法研究
-
批准号:61801297
-
项目类别:青年科学基金项目
-
资助金额:27.0万元
-
批准年份:2018
-
负责人:赵博
-
依托单位:
环境友好的BIT/丙烯酸酯自抛光海洋防污涂料的制备及性能研究
-
批准号:51663009
-
项目类别:地区科学基金项目
-
资助金额:39.0万元
-
批准年份:2016
-
负责人:杨建新
-
依托单位:
面向星载综合电子设备的智能BIT关键技术研究
-
批准号:61501281
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2015
-
负责人:姜连祥
-
依托单位:
分布式算法,函数型数据分析,1-bit压缩感知的学习理论及其应用
-
批准号:11571078
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2015
-
负责人:石磊
-
依托单位:
肿瘤细胞中BIT1介导内质网应激诱导细胞凋亡的机制研究
-
批准号:31371423
-
项目类别:面上项目
-
资助金额:75.0万元
-
批准年份:2013
-
负责人:易平
-
依托单位:
Bit1介导的星形胶质细胞失巢凋亡在视网膜血管发育重塑中的作用及机制研究
-
批准号:81300773
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2013
-
负责人:马波
-
依托单位: