首页> 外文OA文献 >Complete linear proofs of systems of linear inequalities

【2h】

Complete linear proofs of systems of linear inequalities

机译：线性不等式系统的完整线性证明

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

AI期刊论文写作 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Spira P.M.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Cuts from proofs: a complete and practical technique for solving linear inequalities over integers [J] . Isil Dillig, Thomas Dillig, Alex Aiken Formal Methods in System Design . 2011,第3期

机译：减少证明：解决整数上线性不等式的完整实用技术
2. Another approach to linearized elasticity and a new proof of Korn's inequality [J] . Ciarlet PG Mathematical models and methods in applied sciences . 2005,第2期

机译：线性弹性化的另一种方法以及Korn不等式的新证明
3. Linear- and Linear-Matrix-Inequality-Constrained State Estimation for Nonlinear Systems [J] . Aucoin Robin, Chee Stephen Alexander, Forbes James Richard IEEE Transactions on Aerospace and Electronic Systems . 2019,第6期

机译：非线性系统的线性和线性矩阵 - 不等式约束状态估计
4. Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers [C] . Isil Dillig, Thomas Dillig, Alex Aiken Computer aided verification . 2009

机译：减少证明：解决整数上线性不等式的完整实用技术
5. A categorical approach to linear logic, geometry of proofs and full completeness. [D] . Haghverdi, Esfandiar. 2000

机译：线性逻辑，证明几何和完全完整性的一种分类方法。
6. Proofs to one inequality conjecture for the non-integer part of a nonlinear differential form [O] . Mei Chen -1

机译：非线性微分形式的非整数部分的一个不等式猜想的证明
7. Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems) [O] . Okada Mitsuhiro, Terui Kazushige 1998

机译：基于证明搜索方法的线性逻辑完整性证明（初步报告）（类型理论及其在计算机系统中的应用）
8. Spira's Theorems on Complete Linear Proofs of Systems of Linear Inequalities. [R] . Klee, V. 1975

机译：关于线性不等式系统完全线性证明的spira定理。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号