Scientific Research Publishing

A Note on the Proof of the Perron-Frobenius Theorem

This paper provides a simple proof for the Perron-Frobenius theorem concerned with positive matrices using a homotopy technique. By analyzing the behaviour of the eigenvalues of a family of positive ...
IEEE

Symmetric Temporal Theorem Proving

Abstract: In this paper we consider the deductive verification of propositional temporal logic specifications of symmetric systems. In particular, we provide a heuristic approach to the scalability ...
JSTOR Daily

Proof of Conjectures About the Expected Values of the Elementary Symmetric Functions of a Noncentral Wishart Matrix

This paper provides proof of conjectures about the expected values of the jth elementary symmetric function of the roots (i.e. $E(\operatorname{tr}_j A)$) of a non ...
Scientific Research Publishing

A Simple Way to Prove the Characterization of Differentiable Quasiconvex Functions ()

Quasiconvex functions play an important role in several branches of applied mathematics (e.g. mathematical programming, minimax theory, games theory, etc.) and of economic analysis (production theory, ...
JSTOR Daily

The Fundamental Theorem on Symmetric Polynomials: History's First Whiff of Galois Theory

https://doi.org/10.4169/college.math.j.48.1.18 https://www.jstor.org/stable/10.4169/college.math.j.48.1.18 We describe the fundamental theorem on symmetric ...
GitHub

A profit maximization calculator for Cournot duopoly, Stackelberg duopoly, symmetric cartel, and folk theorem.

All functions are oriented around inverse demand and cost functions. Where x = firm1 quantity and y = firm2 quantity. Inverse demand refers to all demand curves being in the form of Price = All ...