New Domains for Applied Quantifier Elimination (Plenary Talk)

机译：消除应用量词的新领域（全体会议）

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We address various aspects of our computer algebra-based computer logic system REDLOG. There are numerous examples in the literature for successful applications of REDLOG to practical problems. This includes work by the group around the REDLOG developers as well as by many others. REDLOG is, however, not at all restricted to the real numbers but comprises a variety of other domains. We particularly point at the immense potential of quantifier elimination techniques for the integers. We also address another new REDLOG domain, which is queues over arbitrary basic domains. Both have most promising applications in practical computer science, viz. automatic loop parallelization and software security.

机译：我们解决基于计算机代数的计算机逻辑系统REDLOG的各个方面。文献中有许多实例将REDLOG成功应用于实际问题。这包括REDLOG开发人员周围的小组以及其他许多人的工作。但是，REDLOG完全不限于实数，而是包括各种其他域。我们特别指出了整数的量词消除技术的巨大潜力。我们还将解决另一个新的REDLOG域，该域在任意基本域上排队。两者在实际计算机科学中都有最有前途的应用，即。自动循环并行化和软件安全性。

著录项

来源
《International Workshop on Computer Algebra in Scientific Computing(CASC 2006); 20060911-15; Chisinau(MD)》|2006年|P.295-301|共7页
会议地点 Chisinau(MD)
作者
Thomas Sturm;
展开▼
作者单位

Fakultaet fuer Mathematik und Informatik, Universitaet Passau, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;代数、数论、组合理论;
关键词

相似文献

外文文献
中文文献
专利

1. QUANTIFIER ELIMINATION IN APPLIED MECHANICS PROBLEMS WITH CYLINDRICAL ALGEBRAIC DECOMPOSITION [Review] [J] . Ioakimidis NI. International Journal of Solids and Structures . 1997,第30期

机译：圆柱代数分解在应用力学问题中的量化消除[综述]
2. Quantifying Geophysical Inversion Uncertainty Using Airborne Frequency Domain Electromagnetic Data-Applied at the Province of Zeeland, the Netherlands [J] . King Jude, Essink Gualbert Oude, Karaolis Marios, Water resources research . 2018,第10期

机译：使用机载频域电磁数据量化地球物理反演的不确定性-在荷兰泽兰省应用
3. In situ antiphase domain quantification applied on heteroepitaxial GaP growth on Si(100) [J] . Doscher Henning, Kunert Bernardette, Beyer Andreas, Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures . 2010,第4期

机译：原位逆相域量化应用于Si（100）上异质外延GaP的生长
4. New Domains for Applied Quantifier Elimination (Plenary Talk) [C] . Thomas Sturm International Workshop on Computer Algebra in Scientific Computing(CASC 2006); 20060911-15; Chisinau(MD) . 2006

机译：消除应用量词的新领域（全体会议）
5. Quantifying human population movement for malaria control and elimination planning in East Africa. [D] . Pindolia, Deepa Kishor. 2013

机译：为东非的疟疾控制和消灭计划量化人口流动。
6. An immuno-assay to quantify influenza virus hemagglutinin with correctly folded stalk domains in vaccine preparations [O] . Madhusudan Rajendran, Weina Sun, Phillip Comella, -1

机译：疫苗制剂中带有正确折叠的茎结构域的流感病毒血凝素定量免疫测定
7. Hybrid silicon nanotechnologies for ‘More-than-Moore’ and ‘Beyond-CMOS’ domains (Plenary Talk) [O] . Mizuta Hiroshi, Tsuchiya Yoshishige, Oda S 2008

机译：用于“超过摩尔”和“超越CmOs”领域的混合硅纳米技术（全体会议）

New Domains for Applied Quantifier Elimination (Plenary Talk)

摘要

著录项

相似文献

相关主题

期刊订阅