Formalized Mathematics's Cover Image
Acceso abierto

Formalized Mathematics

Volume 20 (2012): Issue 2 (December 2012)

Descargar portada
Edición anterior
Próxima edición
9 Artículos
Acceso abierto | 02 feb 2013
Fundamental Group of n-sphere for n ≥ 2
Marco Riccardi
Marco Riccardi
 y 
Artur Korniłowicz
Artur Korniłowicz
  
Acceso abierto | 02 feb 2013
The Borsuk-Ulam Theorem
Artur Korniłowicz
Artur Korniłowicz
 y 
Marco Riccardi
Marco Riccardi
  
Acceso abierto | 02 feb 2013
Higher-Order Partial Differentiation
Noboru Endou
Noboru Endou
, 
Hiroyuki Okazaki
Hiroyuki Okazaki
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 02 feb 2013
Formalization of the Data Encryption Standard
Hiroyuki Okazaki
Hiroyuki Okazaki
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 02 feb 2013
Semantics of MML Query
Grzegorz Bancerek
Grzegorz Bancerek
  
Acceso abierto | 02 feb 2013
Routh’s, Menelaus’ and Generalized Ceva’s Theorems
Boris A. Shminke
Boris A. Shminke
  
Acceso abierto | 02 feb 2013
Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph
Piotr Rudnicki
Piotr Rudnicki
 y 
Lorna Stewart
Lorna Stewart
  
Acceso abierto | 02 feb 2013
Extended Euclidean Algorithm and CRT Algorithm
Hiroyuki Okazaki
Hiroyuki Okazaki
, 
Yosiki Aoki
Yosiki Aoki
 y 
Yasunari Shidama
Yasunari Shidama
  
Acceso abierto | 02 feb 2013
Introduction to Rational Functions
Christoph Schwarzweller
Christoph Schwarzweller
  

Buscar

Todos los volúmenes y ediciones en esta revista

eISSN:
1898-9934
ISSN:
1426-2630
Idioma:
Inglés
Calendario de la edición:
Volume Open
Temas de la revista:
Computer Sciences, other, Mathematics, General Mathematics
RSS Feed de revista