Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 379 results
Sort by: relevance publication year
Showing results for ISSN matching 1426-2630

Zariski Topology

JOURNAL ARTICLE published 1 December 2018 in Formalized Mathematics

Authors: Yasushige Watase

https://doi.org/10.2478/forma-2018-0024 Actions

On Subnomials

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Rafał Ziobro

https://doi.org/10.1515/forma-2016-0022 Actions

Brouwer Fixed Point Theorem in the General Case

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Karol Pąk

https://doi.org/10.2478/v10037-011-0024-3 Actions

Linear Congruence Relation and Complete Residue Systems

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Xiquan Liang | Li Yan | Junjie Zhao

https://doi.org/10.2478/v10037-007-0022-7 Actions

Partial Differentiation on Normed Linear Spaces Rn

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama | Keiichi Miyajima

https://doi.org/10.2478/v10037-007-0008-5 Actions

Modular Integer Arithmetic

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Christoph Schwarzweller

https://doi.org/10.2478/v10037-008-0029-8 Actions

Continuity of Bounded Linear Operators on Normed Linear Spaces

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yuichi Futa | Yasunari Shidama

https://doi.org/10.2478/forma-2018-0021 Actions

On the Representation of Natural Numbers in Positional Numeral Systems1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Adam Naumowicz

https://doi.org/10.2478/v10037-006-0025-9 Actions

Differentiable Functions on Normed Linear Spaces

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Yasunari Shidama

https://doi.org/10.2478/v10037-012-0005-1 Actions

Grothendieck Universes

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Karol Pąk

https://doi.org/10.2478/forma-2020-0018 Actions

Implicit Function Theorem. Part II

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Kazuhisa Nakasho | Yasunari Shidama

https://doi.org/10.2478/forma-2019-0013 Actions

Invertible Operators on Banach Spaces

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Kazuhisa Nakasho

https://doi.org/10.2478/forma-2019-0012 Actions

On Monomorphisms and Subfields

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Christoph Schwarzweller

https://doi.org/10.2478/forma-2019-0014 Actions

Niven’s Theorem

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Artur Korniłowicz | Adam Naumowicz

https://doi.org/10.1515/forma-2016-0026 Actions

Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Takao Inoué | Adam Naumowicz | Noboru Endou | Yasunari Shidama

https://doi.org/10.2478/v10037-011-0011-8 Actions

Integrability and the Integral of Partial Functions from R into R1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama | Masahiko Yamazaki

https://doi.org/10.2478/v10037-006-0023-y Actions

On the Intersection of Fields F with F [X]

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Christoph Schwarzweller

https://doi.org/10.2478/forma-2019-0021 Actions

About Supergraphs. Part III

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Sebastian Koch

https://doi.org/10.2478/forma-2019-0016 Actions

Fundamental Properties of Fuzzy Implications

JOURNAL ARTICLE published 1 December 2018 in Formalized Mathematics

Authors: Adam Grabowski

https://doi.org/10.2478/forma-2018-0023 Actions

Underlying Simple Graphs

JOURNAL ARTICLE published 1 October 2019 in Formalized Mathematics

Authors: Sebastian Koch

https://doi.org/10.2478/forma-2019-0023 Actions
Feedback: support@crossref.org