全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用：99美元
投递稿件

为什么选择我们？ >>
- 开源期刊
- 同行审议
- 快速出刊
- 终身存储
- 免费检索
- 免费推广
- 更多...
- 搜索引擎

Formalized Mathematics

ISSN Print: 1426-2630

ISSN Online: 1898-9934

主页: http://versita.metapress.com/content/121073/?p=305348f2f8754f83bb34819488ba919a&pi=123

分享:




Go

The Differentiable Functions from R into Rn

Keiko Narita, Artur Korni owicz, Yasunari Shidama

Z-modules

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Differentiable Functions on Normed Linear Spaces

Yasunari Shidama

Functional Space C(ω), C0(ω)

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama

Elementary Introduction to Stochastic Finance in Discrete Time

Peter Jaeger

The Rotation Group

Karol P k

Valuation Theory. Part I

Grzegorz Bancerek, Hidetsune Kobayashi, Artur Korni owicz

Some Basic Properties of Some Special Matrices. Part III

Xiquan Liang, Tao Wang

Morphology for Image Processing. Part I

Hiroshi Yamazaki, Czes aw Byliński, Katsumi Wasaki

Planes and Spheres as Topological Manifolds. Stereographic Projection

Marco Riccardi

Cartesian Products of Family of Real Linear Spaces

Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama

Preliminaries to Classical First Order Model Theory

Marco B. Caminati

The Definition of Topological Manifolds

Marco Riccardi

Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama

Sequent Calculus, Derivability, Provability. G del's Completeness Theorem

Marco B. Caminati

First Order Languages: Further Syntax and Semantics

Marco B. Caminati

Cayley's Theorem

Artur Korni owicz

More on the Continuity of Real Functions

Keiko Narita, Artur Kornilowicz, Yasunari Shidama

Differentiable Functions into Real Normed Spaces

Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama

Veblen Hierarchy

Grzegorz Bancerek

The Axiomatization of Propositional Linear Time Temporal Logic

Mariusz Giero

Linear Transformations of Euclidean Topological Spaces

Karol P k

The Mycielskian of a Graph

Piotr Rudnicki, Lorna Stewart

Riemann Integral of Functions from R into Real Normed Space

Keiichi Miyajima, Takahiro Kato, Yasunari Shidama

Brouwer Fixed Point Theorem for Simplexes

Karol P k

Set of Points on Elliptic Curve in Projective Coordinates

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Continuity of Barycentric Coordinates in Euclidean Topological Spaces

Karol P k

Mazur-Ulam Theorem

Artur Korni owicz

More on Continuous Functions on Normed Linear Spaces

Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama

Formalization of Integral Linear Space

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama

Brouwer Fixed Point Theorem in the General Case

Karol P k

Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms

Marco B. Caminati

Normal Subgroup of Product of Groups

Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama

Difference and Difference Quotient. Part IV

Xiquan Liang, Ling Tang, Xichun Jiang

Some Properties of p-Groups and Commutative p-Groups

Xiquan Liang, Dailu Li

Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages

Marco B. Caminati

Miscellaneous Facts about Open Functions and Continuous Functions

Artur Korni owicz

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Takao Inoué, Noboru Endou, Yasunari Shidama

Counting Derangements, Non Bijective Functions and the Birthday Problem

Cezary Kaliszyk

The Sum and Product of Finite Sequences of Complex Numbers

Keiichi Miyajima, Takahiro Kato

The Geometric Interior in Real Linear Spaces

Karol P k

Integrability Formulas. Part II

Bo Li, Na Ma, Xiquan Liang

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets

Kazuhisa Ishida, Yasunari Shidama

Integrability Formulas. Part I

Bo Li, Na Ma

Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support

Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama

Difference and Difference Quotient. Part III

Xiquan Liang, Ling Tang

Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling

Magdalena Jastrz bska

Free Magmas

Marco Riccardi

Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces

Xiquan Liang, Piqing Zhao, Ou Bai

Integrability Formulas. Part III

Bo Li, Na Ma

Go




©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705