Open Access

Formalized Mathematics

Volume 30 (2022): Issue 1 (April 2022)

Download Cover

Previous Issue

Next Issue

6 Articles

Sort By

Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II

and

Open Access | Dec 21, 2022

Compactness of Neural Networks

and

Open Access | Dec 21, 2022

Splitting Fields for the Rational Polynomials X²−2, X²+X+1, X³−1, and X³−2

Christoph Schwarzweller

Schwarzweller, Christoph

and

Sara Burgoa

Burgoa, Sara

Open Access | Dec 21, 2022

Absolutely Integrable Functions

Noboru Endou

Endou, Noboru

Open Access | Dec 21, 2022

Non-Trivial Universes and Sequences of Universes

Roland Coghetto

Coghetto, Roland

Open Access | Dec 21, 2022

Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces

and

Search

All Volumes and Issues in this Journal

Volume 32 (2024)

Issue 1 (August 2024)

Volume 31 (2023)

Issue 1 (September 2023)

Volume 30 (2022)

Volume 29 (2021)

Volume 28 (2020)

Volume 27 (2019)

Volume 26 (2018)

Volume 25 (2017)

Volume 24 (2016)

Volume 23 (2015)

Volume 22 (2014)

Volume 21 (2013)

Volume 20 (2012)

Volume 19 (2011)

Volume 18 (2010)

Volume 17 (2009)

Volume 16 (2008)

Volume 15 (2007)

Volume 14 (2006)

eISSN:: 1898-9934
Language:: English

Publication timeframe:: 1 times per year
Journal Subjects:: Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics

Journal RSS Feed

Formalized Mathematics

Volume 30 (2022): Issue 1 (April 2022)

Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II

Compactness of Neural Networks

Splitting Fields for the Rational Polynomials X2−2, X2+X+1, X3−1, and X3−2

Absolutely Integrable Functions

Non-Trivial Universes and Sequences of Universes

Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces

Search

All Volumes and Issues in this Journal

Splitting Fields for the Rational Polynomials X²−2, X²+X+1, X³−1, and X³−2