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

Basic Operations on Preordered Coherent Spaces

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Klaus Grue | Artur Korniłowicz

https://doi.org/10.2478/v10037-007-0025-4 Actions

Summable Family in a Commutative Group

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Roland Coghetto

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

Constructing Binary Huffman Tree

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Hiroyuki Okazaki | Yuichi Futa | Yasunari Shidama

https://doi.org/10.2478/forma-2013-0015 Actions

Cell Petri Net Concepts

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Mitsuru Jitsukawa | Pauline Kawamoto | Yasunari Shidama | Yatsuka Nakamura

https://doi.org/10.2478/v10037-009-0004-z Actions

Collective Operations on Number-Membered Sets

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Artur Korniłowicz

https://doi.org/10.2478/v10037-009-0011-0 Actions

Basic Properties of Determinants of Square Matrices over a Field1

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Karol Pąk

https://doi.org/10.2478/v10037-007-0003-x 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

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

Refined Finiteness and Degree Properties in Graphs

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Sebastian Koch

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

Binary Representation of Natural Numbers

JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics

Authors: Hiroyuki Okazaki

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

Sequences of Prime Reciprocals. Preliminaries

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Adam Grabowski

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

Zariski Topology

JOURNAL ARTICLE published 1 December 2018 in Formalized Mathematics

Authors: Yasushige Watase

https://doi.org/10.2478/forma-2018-0024 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 Subnomials

JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics

Authors: Rafał Ziobro

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

Formalization of Quasilattices

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Dominik Kulesza | Adam Grabowski

https://doi.org/10.2478/forma-2020-0019 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

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

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

Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Ievgen Ivanov | Mykola Nikitchenko | Uri Abraham

https://doi.org/10.1515/forma-2015-0026 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
Feedback: support@crossref.org