Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences

Yatsuka NakamuraHisashi Ito — 2008

Formalized Mathematics

Here, we develop the theory of zero based finite sequences, which are sometimes, more useful in applications than normal one based finite sequences. The fundamental function Sgm is introduced as well as in case of normal finite sequences and other notions are also introduced. However, many theorems are a modification of old theorems of normal finite sequences, they are basically important and are necessary for applications. A new concept of selected subsequence is introduced. This concept came from...

Page 1

Download Results (CSV)