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

Arrow's Impossibility Theorem

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Freek Wiedijk

https://doi.org/10.2478/v10037-007-0020-9 Actions

Alexandroff One Point Compactification

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Czesław Byliński

https://doi.org/10.2478/v10037-007-0019-2 Actions

Complex Integral

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Masahiko Yamazaki | Hiroshi Yamazaki | Yasunari Shidama | Katsumi Wasaki

https://doi.org/10.2478/v10037-009-0029-3 Actions

The Jordan-Hölder Theorem

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Marco Riccardi

https://doi.org/10.2478/v10037-007-0005-8 Actions

The Vector Space of Subsets of a Set Based on Symmetric Difference

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Jesse Alama

https://doi.org/10.2478/v10037-008-0001-7 Actions

Dynamic Programming for the Subset Sum Problem

JOURNAL ARTICLE published 1 April 2020 in Formalized Mathematics

Authors: Hiroshi Fujiwara | Hokuto Watari | Hiroaki Yamamoto

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

Miscellaneous Graph Preliminaries

JOURNAL ARTICLE published 1 April 2020 in Formalized Mathematics

Authors: Sebastian Koch

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

The Catalan Numbers. Part II1

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Karol Pąk

https://doi.org/10.2478/v10037-006-0019-7 Actions

Euler's Polyhedron Formula

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Jesse Alama

https://doi.org/10.2478/v10037-008-0002-6 Actions

Parity as a Property of Integers

JOURNAL ARTICLE published 1 July 2018 in Formalized Mathematics

Authors: Rafał Ziobro

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

Klein-Beltrami Model. Part II

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Roland Coghetto

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

Preliminaries to Classical First Order Model Theory

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Marco Caminati

https://doi.org/10.2478/v10037-011-0025-2 Actions

Partial Correctness of a Power Algorithm

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Adrian Jaszczak

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

Stability of the 4-2 Binary Addition Circuit Cells. Part I

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Katsumi Wasaki

https://doi.org/10.2478/v10037-008-0046-7 Actions

Basic Formal Properties of Triangular Norms and Conorms

JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics

Authors: Adam Grabowski

https://doi.org/10.1515/forma-2017-0009 Actions

The Matiyasevich Theorem. Preliminaries

JOURNAL ARTICLE published 20 December 2017 in Formalized Mathematics

Authors: Karol Pak

https://doi.org/10.1515/forma-2017-0029 Actions

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
Feedback: support@crossref.org