default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormalized Mathematics, Volume 20
Volume 20, Number 1, 2012
- Peter Jaeger:
Elementary Introduction to Stochastic Finance in Discrete Time. 1-5 - Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz
:
Valuation Theory. Part I. 7-14 - Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama:
Functional Space C(ω), C0(ω). 15-22 - Karol Pak:
The Rotation Group. 23-29 - Yasunari Shidama:
Differentiable Functions on Normed Linear Spaces. 31-40 - Marco Riccardi:
Planes and Spheres as Topological Manifolds. Stereographic Projection. 41-45 - Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Z-modules. 47-59 - Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki:
Morphology for Image Processing. Part I. 61-63 - Keiko Narita, Artur Kornilowicz, Yasunari Shidama:
The Differentiable Functions from R into Rn. 65-71 - Xiquan Liang, Tao Wang:
Some Basic Properties of Some Special Matrices. Part III. 73-77 - Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama:
Riemann Integral of Functions from R into n-dimensional Real Normed Space. 79-86 - Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama:
Operations of Points on Elliptic Curve in Projective Coordinates. 87-95
Volume 20, Number 2, June 2012
- Marco Riccardi, Artur Kornilowicz:
Fundamental Group of n-sphere for n ≥ 2. 97-104 - Artur Kornilowicz, Marco Riccardi:
The Borsuk-Ulam Theorem. 105-112 - Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama:
Higher-Order Partial Differentiation. 113-124 - Hiroyuki Okazaki, Yasunari Shidama:
Formalization of the Data Encryption Standard. 125-146 - Grzegorz Bancerek:
Semantics of MML Query. 147-155 - Boris A. Shminke:
Routh's, Menelaus' and Generalized Ceva's Theorems. 157-159 - Piotr Rudnicki, Lorna Stewart:
Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph. 161-174 - Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama:
Extended Euclidean Algorithm and CRT Algorithm. 175-179 - Christoph Schwarzweller:
Introduction to Rational Functions. 181-191
Volume 20, Number 3, September 2012
- Julian J. Schlöder, Peter Koepke:
Transition of Consistency and Satisfiability under Language Extensions. 193-197 - Julian J. Schlöder, Peter Koepke:
The Gödel Completeness Theorem for Uncountable Languages. 199-203 - Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Quotient Module of Z-module. 205-214 - Mariusz Giero:
The Derivations of Temporal Logic Formulas. 215-219 - Mariusz Giero:
The Properties of Sets of Temporal Logic Subformulas. 221-226 - Mariusz Giero:
Weak Completeness Theorem for Propositional Linear Time Temporal Logic. 227-234 - Karol Pak:
The Friendship Theorem. 235-237 - Grzegorz Bancerek:
Free Term Algebras. 239-256
Volume 20, Number 4, December 2012
- Hiroyuki Okazaki:
Posterior Probability on Finite Set. 257-263 - Na Ma, Xiquan Liang:
Basic Properties of Primitive Root and Order Function. 265-269 - Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama:
Banach's Continuous Inverse Theorem and Closed Graph Theorem. 271-274 - Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Free ℤ-module. 275-280 - Artur Kornilowicz:
Cayley-Dickson Construction. 281-290 - Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama:
Contracting Mapping on Normed Linear Space. 291-301 - Artur Kornilowicz:
Products in Categories without Uniqueness of cod and dom. 303-307 - Grzegorz Bancerek:
Program Algebra over an Algebra. 309-341 - Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama:
Isomorphisms of Direct Products of Finite Cyclic Groups. 343-347 - Yasushige Watase, Noboru Endou, Yasunari Shidama:
On L1 Space Formed by Complex-Valued Partial Functions. 349-357
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
