Formalized Mathematics's Cover Image
Acceso abierto

Formalized Mathematics

Volumen 30 (2022): Edición 4 (Diciembre 2022)

Descargar portada
4 Artículos
Acceso abierto | 18 feb 2023
Prime Representing Polynomial with 10 Unknowns – Introduction. Part II
  
Acceso abierto | 18 feb 2023
Prime Representing Polynomial with 10 Unknowns
  
Acceso abierto | 18 feb 2023
Existence and Uniqueness of Algebraic Closures
  
Acceso abierto | 18 feb 2023
Formalization of Orthogonal Decomposition for Hilbert Spaces
  

Buscar

Todos los volúmenes y ediciones en esta revista

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