A local estimate for typically real functions

George B. Leeman

doi:10.2140/pjm.1974.52.481

Pacific Journal of Mathematics

Paper

01 Jan 1974

A local estimate for typically real functions

Download paper

Abstract

In this paper it is shown that for each typically real function (formula presented) the local estimate formula presented holds, n = 2, 3, … The constant (1/6)n(n2-1) is best possible. © 1973, Pacific Journal of Mathematics.

Paper

Some Problems in Certifying Microprograms

George B. Leeman

IEEE TC

Paper

A new proof for an inequality of jenkins

George B. Leeman

Proceedings of the American Mathematical Society

Paper

Some regularity theorems for typically real functions

George B. Leeman

Proceedings of the American Mathematical Society

Paper

A Formal Approach to Undo Operations in Programming Languages

George B. Leeman

ACM Transactions on Programming Languages and Systems (TOPLAS)

View all publications

Abstract

Related

Some Problems in Certifying Microprograms

A new proof for an inequality of jenkins

Some regularity theorems for typically real functions

A Formal Approach to Undo Operations in Programming Languages