Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Arquitectura y diseño
Artes
Ciencias Sociales
Ciencias de la Información y Bibliotecas, Estudios del Libro
Ciencias de la vida
Ciencias de los materiales
Deporte y tiempo libre
Estudios clásicos y del Cercano Oriente antiguo
Estudios culturales
Estudios judíos
Farmacia
Filosofía
Física
Geociencias
Historia
Informática
Ingeniería
Interés general
Ley
Lingüística y semiótica
Literatura
Matemáticas
Medicina
Música
Negocios y Economía
Química
Química industrial
Teología y religión
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Carrito
Home
Revistas
Formalized Mathematics
Volumen 25 (2017): Edición 4 (December 2017)
Acceso abierto
Formally Real Fields
Christoph Schwarzweller
Christoph Schwarzweller
| 28 mar 2018
Formalized Mathematics
Volumen 25 (2017): Edición 4 (December 2017)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
28 mar 2018
Páginas:
249 - 259
Recibido:
29 nov 2017
DOI:
https://doi.org/10.1515/forma-2017-0024
Palabras clave
formally real fields
,
ordered fields
,
abstract value
,
square roots
© by Christoph Schwarzweller
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License.
Christoph Schwarzweller
Institute of Informatics Faculty of Mathematics, Physics and Informatics University of Gdansk Wita Stwosza 57, 80-308
Gdansk, Poland