首页> 外文OA文献 >Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)

【2h】

Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)

机译：使用实量词消除法进行范围集计算（理论和在计算机代数中的应用）

页面导航

著录项
相似文献
相关主题

著录项

作者
Anai Hirokazu; Weispfenning Volker;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra [J] . Ziegler M. Annals of Pure and Applied Logic . 2012 ,第8期

机译：最少离散建议的实际计算：非均匀可计算性的复杂性理论及其在有效线性代数中的应用
2. Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019 FOREWORD [J] . Guenda Kenza, Honkala Iiro, Kotsireas Ilias, Applicable algebra in engineering, communication and computing . 2020 ,第3a4期

机译：特别问题：“计算机代数和组合学，编码理论和加密”ACA 2019，蒙特利尔，加拿大，2019年7月16日至20日前言
3. PROCEEDINGS OF THE THIRD CONFERENCE ON COMPUTATIONAL ALGEBRA, COMPUTATIONAL NUMBER THEORY AND APPLICATIONS [J] . Ali Reza Ashrafi, Hassan Daghigh Facta Universitatis. Series Mathematics and Informatics . 2019 ,第4期

机译：第三次计算代数，计算数理论和应用会议的诉讼程序
4. Reach Set Computations Using Real Quantifier Elimination [C] . Hirokazu Anai, Volker Weispfenning Hybrid Systems: Computation and Control . 2001

机译：使用实量词消除功能进行集合计算
5. Probabilistic reachability for Stochastic Hybrid Systems: Theory, computations, and applications. [D] . Abate, Alessandro. 2007

机译：随机混合系统的概率可达性：理论，计算和应用。
6. Computer Applications in Medical Care. Computers in Nursing. Nursing Practice Applications: Microcomputerization of a Theory-Based Nursing Assessment of Discharge Medication Knowledge [O] . Irene Carol Soble 1983

机译：医疗保健中的计算机应用。护理中的计算机。护理实践应用：基于理论的护理药物评估的微机化
7. Reach Set Computations Using Real Quantifier Elimination [O] . Hirokazu Anai, Volker Weispfenning 2000

机译：使用实际量词消除实现集计算
8. ADA-Based Real-Time Reduced Instruction Set Computer (RISC) Microprocessor: RISC-Based Hardwood Support for Real-Time Applications. [R] . Bush, W. R. 1989

机译：基于aDa的实时精简指令集计算机（RIsC）微处理器：基于RIsC的实时应用硬木支持。

Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)

著录项

相似文献

相关主题

期刊订阅