Acceso abierto

Formalized Mathematics

Volumen 20 (2012): Edición 2 (Junio 2012)

Descargar portada

Edición anterior

Próxima edición

9 Artículos

Ordenar por

Categorías

Acceso abierto | 02 feb 2013

Fundamental Group of n-sphere for n ≥ 2

Acceso abierto | 02 feb 2013

The Borsuk-Ulam Theorem

Acceso abierto | 02 feb 2013

Higher-Order Partial Differentiation

Acceso abierto | 02 feb 2013

Formalization of the Data Encryption Standard

Acceso abierto | 02 feb 2013

Semantics of MML Query

Grzegorz Bancerek

Bancerek, Grzegorz

Acceso abierto | 02 feb 2013

Routh’s, Menelaus’ and Generalized Ceva’s Theorems

Boris A. Shminke

Shminke, Boris A.

Acceso abierto | 02 feb 2013

Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph

Acceso abierto | 02 feb 2013

Extended Euclidean Algorithm and CRT Algorithm

Acceso abierto | 02 feb 2013

Introduction to Rational Functions

Christoph Schwarzweller

Schwarzweller, Christoph

Buscar

Todos los volúmenes y ediciones en esta revista

Volumen 32 (2024)

Edición 1 (Agosto 2024)

Volumen 31 (2023)

Edición 1 (Septiembre 2023)

Volumen 30 (2022)

Volumen 29 (2021)

Volumen 28 (2020)

Volumen 27 (2019)

Volumen 26 (2018)

Volumen 25 (2017)

Volumen 24 (2016)

Volumen 23 (2015)

Volumen 22 (2014)

Volumen 21 (2013)

Volumen 20 (2012)

Volumen 19 (2011)

Volumen 18 (2010)

Volumen 17 (2009)

Volumen 16 (2008)

Volumen 15 (2007)

Volumen 14 (2006)

Idioma:: Inglés

Calendario de la edición:: 1 veces al año
Temas de la revista:: Matemáticas, Matemáticas generales, Informática, Informática, otros

RSS Feed de revista