Toggle navigation
Repositorio Institucional
CONICET Digital
Inicio
EXPLORAR
AUTORES
DISCIPLINAS
COMUNIDADES
Estadísticas
Novedades
Noticias
Boletines
Ayuda
General
Datos de investigación
Acerca de
CONICET Digital
Equipo
Red Federal
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Refinar búsqueda
Fecha de publicación
2022
1
2019
1
2018
1
Disciplinas
CIENCIAS NATURALES Y EXACTAS
3
Ciencias de la Computación e Información
2
Matemáticas
2
Ciencias de la Computación
1
Matemática Aplicada
1
Otras Ciencias de la Computación e Información
1
Otras Matemáticas
1
Tipo de documento
Artículos
3
Tipo de acceso
Acceso restringido
2
Acceso abierto
1
Idioma
Inglés
3
Autor
Allamigeon, Xavier
2
Katz, Ricardo David
2
Gadea, Alejandro Emilio
1
Gunther, Emmanuel
1
Pagano, Miguel Maria
1
Strub, Pierre Yves
1
Palabras clave
FORMALIZATION OF MATHEMATICS
3
CONVEX POLYHEDRA
2
LINEAR PROGRAMMING
2
SIMPLEX METHOD
2
EQUATIONAL LOGIC
1
FACE LATTICE
1
UNIVERSAL ALGEBRA
1
Buscar
Filtros
Use los filtros para refinar su búsqueda.
Filtro actual:
Titulo
Autor
Fecha de publicación
Tipo de documento
xmlui.ArtifactBrowser.SimpleSearch.filter.acceso
Idioma
xmlui.ArtifactBrowser.SimpleSearch.filter.subjectClassification
Tema
Contiene
Es igual
No contiene
No es igual
Nuevo filtro:
Titulo
Autor
Fecha de publicación
Tipo de documento
xmlui.ArtifactBrowser.SimpleSearch.filter.acceso
Idioma
xmlui.ArtifactBrowser.SimpleSearch.filter.subjectClassification
Tema
Contiene
Es igual
No contiene
No es igual
Palabra clave:FORMALIZATION OF MATHEMATICS
X
Mostrando 3 de un total de 3 resultados.
(0.003 segundos)
Mostrando ítems 1-3 de 3
1
Orden:
Relevancia
Titulo Asc
Titulo Desc
Fecha de publicación Asc
Fecha de publicación Desc
Resultados por página:
5
10
20
40
60
80
100
Artículo
Formalization of Universal Algebra in Agda
Gunther, Emmanuel
;
Gadea, Alejandro Emilio
;
Pagano, Miguel Maria
(
Elsevier
,
2018-10
)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo
A Formalization of Convex Polyhedra Based on the Simplex Method
Allamigeon, Xavier
;
Katz, Ricardo David
(
Springer
,
2019-07
)
Matemática Aplicada. Matemáticas. Ciencias Naturales Y Exactas
Artículo
Formalizing the Face Lattice of Polyhedra
Allamigeon, Xavier
;
Katz, Ricardo David
;
Strub, Pierre Yves
(
Technische Universität Braunschweig
,
2022-05
)
Otras Matemáticas. Matemáticas. Ciencias Naturales Y Exactas . Otras Ciencias de la Computación e Información. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Mostrando ítems 1-3 de 3
1
Orden:
Relevancia
Titulo Asc
Titulo Desc
Fecha de publicación Asc
Fecha de publicación Desc
Resultados por página:
5
10
20
40
60
80
100