[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Formalized Mathematics's Cover Image
Open Access

Formalized Mathematics

Volume 31 (2023): Issue 1 (September 2023)

Download Cover
Previous Issue
Next Issue
27 Articles
Open Access | Sep 26, 2023
On Bag of 1. Part I
Yasushige Watase
Watase, Yasushige
  
Open Access | Sep 26, 2023
Differentiation on Interval
Noboru Endou
Endou, Noboru
  
Open Access | Sep 26, 2023
Elementary Number Theory Problems. Part VII
Artur Korniłowicz
Korniłowicz, Artur
  
Open Access | Sep 26, 2023
Introduction to Graph Enumerations
Sebastian Koch
Koch, Sebastian
  
Open Access | Sep 26, 2023
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Hiroyuki Okazaki
Okazaki, Hiroyuki
  
Open Access | Sep 26, 2023
Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method
Takashi Mitsuishi
Mitsuishi, Takashi
  
Open Access | Oct 04, 2023
Introduction to Algebraic Geometry
Yasushige Watase
Watase, Yasushige
  
Open Access | Oct 04, 2023
About Regular Graphs
Sebastian Koch
Koch, Sebastian
  
Open Access | Oct 26, 2023
Elementary Number Theory Problems. Part VIII
Artur Korniłowicz
Korniłowicz, Artur
  
Open Access | Oct 26, 2023
Internal Direct Products and the Universal Property of Direct Product Groups
Alexander M. Nelson
Nelson, Alexander M.
  
Open Access | Nov 01, 2023
Normal Extensions
Christoph Schwarzweller
Schwarzweller, Christoph
  
Open Access | Nov 01, 2023
Antiderivatives and Integration
Noboru Endou
Endou, Noboru
  
Open Access | Dec 23, 2023
Embedding Principle for Rings and Abelian Groups
Yasushige Watase
Watase, Yasushige
  
Open Access | Dec 26, 2023
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Adam Grabowski
Grabowski, Adam
  
Open Access | Dec 26, 2023
Elementary Number Theory Problems. Part IX
Artur Korniłowicz
Korniłowicz, Artur
  
Open Access | Dec 31, 2023
Elementary Number Theory Problems. Part X – Diophantine Equations
Artur Korniłowicz
Korniłowicz, Artur
  
Open Access | Dec 31, 2023
Multidimensional Measure Space and Integration
Noboru Endou
Endou, Noboru
 and 
Yasunari Shidama
Shidama, Yasunari
  
Open Access | Dec 31, 2023
Conway Numbers – Formal Introduction
Karol Pąk
Pąk, Karol
  
Open Access | Dec 31, 2023
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Karol Pąk
Pąk, Karol
  
Open Access | Dec 31, 2023
The Ring of Conway Numbers in Mizar
Karol Pąk
Pąk, Karol
  
Open Access | Dec 31, 2023
Elementary Number Theory Problems. Part XI
Adam Naumowicz
Naumowicz, Adam
  
Open Access | Dec 31, 2023
Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression
Adam Grabowski
Grabowski, Adam
  
Open Access | Dec 31, 2023
Simple Extensions
Christoph Schwarzweller
Schwarzweller, Christoph
 and 
Agnieszka Rowińska-Schwarzweller
Rowińska-Schwarzweller, Agnieszka
  
Open Access | Dec 31, 2023
Symmetrical Piecewise Linear Functions Composed by Absolute Value Function
Takashi Mitsuishi
Mitsuishi, Takashi
  
Open Access | Dec 31, 2023
Integral of Continuous Functions of Two Variables
Noboru Endou
Endou, Noboru
 and 
Yasunari Shidama
Shidama, Yasunari
  
Open Access | Dec 31, 2023
Tarski Geometry Axioms. Part V – Half-planes and Planes
Roland Coghetto
Coghetto, Roland
 and 
Adam Grabowski
Grabowski, Adam
  
Open Access | Dec 31, 2023
Extensions of Orderings
Christoph Schwarzweller
Schwarzweller, Christoph
  

Search

All Volumes and Issues in this Journal

eISSN:
1898-9934
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed