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

Diophantine Sets. Part II

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Karol Pąk

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

Tarski Geometry Axioms – Part II

JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics

Authors: Roland Coghetto | Adam Grabowski

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

Tarski Geometry Axioms. Part IV – Right Angle

JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics

Authors: Roland Coghetto | Adam Grabowski

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

Continuity of Barycentric Coordinates in Euclidean Topological Spaces

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Karol Pąk

https://doi.org/10.2478/v10037-011-0022-5 Actions

Characteristic of Rings. Prime Fields

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Christoph Schwarzweller | Artur Korniłowicz

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

Diophantine sets. Preliminaries

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Karol Pąk

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

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

Commutativeness of Fundamental Groups of Topological Groups

JOURNAL ARTICLE published 1 June 2013 in Formalized Mathematics

Authors: Artur Korniłowicz

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

Baire's Category Theorem and Some Spaces Generated from Real Normed Space1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Noboru Endou | Yasunari Shidama | Katsumasa Okamura

https://doi.org/10.2478/v10037-006-0024-x Actions

Linear Map of Matrices

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Karol Pąk

https://doi.org/10.2478/v10037-008-0032-0 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

Renamings and a Condition-free Formalization of Kronecker’s Construction

JOURNAL ARTICLE published 1 July 2020 in Formalized Mathematics

Authors: Christoph Schwarzweller

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

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

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

Free Magmas

JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics

Authors: Marco Riccardi

https://doi.org/10.2478/v10037-010-0003-0 Actions

The Sylow Theorems

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Marco Riccardi

https://doi.org/10.2478/v10037-007-0018-3 Actions

Banach Algebra of Bounded Functionals

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Yasunari Shidama | Hikofumi Suzuki | Noboru Endou

https://doi.org/10.2478/v10037-008-0017-z Actions
Feedback: support@crossref.org