✦ LIBER ✦

Upper bound on the lengthening of proofs by cut elimination

✍ Scribed by V. P. Orevkov

Publisher: Springer US
Year: 1986
Tongue: English
Weight: 689 KB
Volume: 34
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01095640

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An upper bound on the growth ratio of Ga

An upper bound on the growth ratio of Gaussian elimination

✍ Tuck Sang Leong 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 351 KB

An upper bound on the number of cuts nee

An upper bound on the number of cuts needed in Gomory's method of integer forms

✍ Francis J. Nourie; Enrique R. Venta 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 270 KB

Assuring a global optimum by the use of

Assuring a global optimum by the use of an upper bound on the lower (dual) bound

✍ Arthur W. Westerberg; Jigar V. Shah 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 702 KB

Upper bounds for the best one-sided appr

Upper bounds for the best one-sided approximation by splines of the classes WrL1

✍ V. G. Doronin; A. A. Ligun 📂 Article 📅 1976 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 221 KB

A study on precision forging of spur gea

A study on precision forging of spur gear forms and spline by the upper bound method

✍ Hung-Hsiou Hsu 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 274 KB

Precision forging is an important manufacturing procedure of spline and spur gear forms. It has advantages of improved strength, good tolerance, saving billet material, dispensing with the cutting, etc. In this paper, a mathematical model using an upper bound method is proposed for forging of spur g

An upper bound on the number of linear r

An upper bound on the number of linear relations identified from noisy data by the Frisch scheme

✍ Keith G. Woodgate 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 296 KB