Search

Your search keyword '"Roanes-Macías, Eugenio"' showing total 34 results
Start Over Author "Roanes-Macías, Eugenio" Publication Year Range Last 50 years
34 results on '"Roanes-Macías, Eugenio"'

2. A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry

Author

Roanes-Lozano, Eugenio, Roanes-Macías, Eugenio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gerdt, Vladimir P., editor, Koepf, Wolfram, editor, Mayr, Ernst W., editor, and Vorozhtsov, Evgenii V., editor

Published
2013
Full Text
View/download PDF

12. Utilización de metodologías activas de enseñanza para el aprendizaje de las matemáticas, centradas en el estudiante y desarrolladas en el espacio innovador de una hiperaula

Author

Fernández-Salinero Miguel, Carolina, Riva Picatoste, Beatriz De la, Roanes Lozano, Eugenio, Roanes Macías, Eugenio, Gómez González, Daniel, Muñoz Fernández, Gustavo Adolfo, Lucas Burgos, Daniel, Flores Vidal, Pablo Arcadio, Giorgis, Valentina, Sáez Maestro, Eva, Fernández-Salinero Miguel, Carolina, Riva Picatoste, Beatriz De la, Roanes Lozano, Eugenio, Roanes Macías, Eugenio, Gómez González, Daniel, Muñoz Fernández, Gustavo Adolfo, Lucas Burgos, Daniel, Flores Vidal, Pablo Arcadio, Giorgis, Valentina, and Sáez Maestro, Eva

Abstract

La inauguración de la hiperaula de la Facultad de Educación-CFP (UCM) en abril de 2019 y su prioridad de uso para el Máster en Formación del Profesorado de Educación Secundaria, Bachillerato, Formación Profesional y Enseñanza de Idiomas durante el curso académico 2019-2020, supone un marco experimental absolutamente novedoso. Estas circunstancias permiten a la responsable del proyecto y a varios profesores participantes en el mismo, algunos de ellos docentes en el mencionado Máster y pertenecientes a diferentes Departamentos y Facultades de la UCM, así como a varios alumni y personal de administración y servicios implicados en el proyecto, utilizar este innovador espacio para la enseñanza de la asignatura de "Innovación docente e iniciación a la investigación educativa" (especialidad de matemáticas del Máster en Formación del Profesorado), empleando para ello metodologías activas de enseñanza centradas en el estudiante.

Published
2021

13. Geometría dinámica y enseñanza de la matemática en tiempos de pandemia: nuevos retos, nuevas oportunidades

Author

Martínez Zarzuelo, Angélica, Roanes Lozano, Eugenio, Seoane-Sepúlveda, Juan B., Muñoz Fernández, Gustavo Adolfo, Ariño Morera, María Belén, Guerra Perlado, Francisco Javier, Kovács, Zoltán, Roanes Macías, Eugenio, Anguís Martínez, Irene, Lucas Burgos, Daniel, Martínez Zarzuelo, Angélica, Roanes Lozano, Eugenio, Seoane-Sepúlveda, Juan B., Muñoz Fernández, Gustavo Adolfo, Ariño Morera, María Belén, Guerra Perlado, Francisco Javier, Kovács, Zoltán, Roanes Macías, Eugenio, Anguís Martínez, Irene, and Lucas Burgos, Daniel

Abstract

El objetivo principal del proyecto es analizar las características de algunos de los sistemas de geometría dinámica (GeoGebra, Cabri, Sketchpad, etc.) y sus distintas posibilidades metodológicas para la formación matemática presencial y online.

Published
2021

27. Some reflections on dynamic geometry systems (the GUI for ADG)

Author

Roanes-Lozano, Eugenio and Roanes-Macías, Eugenio

Subjects
Informática, Matemáticas, Geometría, ComputingMethodologies_COMPUTERGRAPHICS
Abstract

Dynamic Geometry Systems (DGS) are the Graphic User Interfaces for Automatic Deduction in Geometry (ADG). We will develop below some reflections regarding how geometric data are introduced to the most frequently adopted DGS and how the constructive geometric processes (that are similar to the programs of "usual" computer languages) are stored. The later can be used as input for ADG processes.

Published
2014

28. A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems

Author

Roanes Macías, Eugenio and Roanes Lozano, Eugenio

Subjects
3D-geometry, Simbolyc computation, Automatic theorem proving
Abstract

A method that automates hypotheses completion in 3D-Geometry is presented. It consists of three processes: defi ning the geometric objects in the confi guration; determining the hypothesis conditions of the confi guration (through a point-on-object declaration method); and applying an algebraic automatic theorem proving method to obtain and prove the sufficiency of complementary hypothesis conditions. To avoid as much as possible the appearance of rational expressions, projective coordinates are used (although affine and Euclidean problems can also be treated). A Maple implementation of the method has been used to extend to 3D classic 2D geometric theorems like Ceva's and Menelaus'.

Published
2004

31. A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.

Author

Carbonell, Jaime G., Siekmann, Jörg, Botana, Francisco, Recio, Tomas, Roanes-Macías, Eugenio, and Roanes-Lozano, Eugenio

Abstract

A package for investigating problems about configuration theorems in 3D-geometry and performing mechanical theorem proving and discovery is presented. It includes the preparation of the problem, consisting of three processes: defining the geometric objects in the configuration; determining the hypothesis conditions through a point-on-object declaration method; and fixing the thesis conditions. After this preparation, methods based both on Groebner Bases and Wu's method can be applied to prove thesis conditions or to complete hypothesis conditions. Homogeneous coordinates are used in order to treat projective problems (although affine and Euclidean problems can also be treated). A Maple implementation of the method has been developed. It has been used to extend to 3D some classic 2D theorems. [ABSTRACT FROM AUTHOR]

Published
2007
Full Text
View/download PDF

32. Ramificación en k-álgebras y teoremas de ascenso y descenso

Author

Roanes Macías, Eugenio, Universidad de Sevilla. Departamento de Álgebra, Roanes Lozano, Eugenio, Roanes Macías, Eugenio, Universidad de Sevilla. Departamento de Álgebra, and Roanes Lozano, Eugenio

Abstract

"En la presente memoria se estudia la ramificación de ideales primos de un subanillo de polinomios, A, sobre un cuerpo, k, de característica cero, al extender a una k-álgebra afín, B, finitamente generada sobre A. los objetivos que nos proponemos sucesivamente en este ... trabajo son cuatro:a) Profundizar en el estudio del orden de ramificación de un ideal primo, introducido en [Roa 4], definiéndolo vía geométrica y caracterizándolo de varios modos.b) Estudiar condiciones de no-ramificación local, que después se aplicarán a determinar condiciones de no-ramificación global para ideales de punto (esto es, para ideales maximales que sean ideales de puntos de la variedad, cuyo anillo de coordenadas es A).c) Adaptar los teoremas de Cohen-Seidemberg (de ascenso y descenso) al caso de extensiones algebraicas, sustituyendo la condición de ser B entero sobre A, por una condición de no-ramificación, para algún ideal de punto que contenga a los ideales de A considerados.d) Determinar criterios de no-ramificación de primos del subanillo de polinomios A, al extender a la k-álgebra B, aprovechando aquellos teoremas de ascenso adaptados (lo cual proporciona criterios para detectar ideales radicales de B).e) Automatizar el cálculo del rango de matrices jacobian, cuyos elementos pertenezcan a una k-álgebra finitamente generada (no necesariamente anillo de polinomios), que permita realizar con comodidad el cálculo efectivo del orden de ramificación, a partir de su implementación en lenguaje Reduce.f) Automatizar un criterio de no-ramificación de ideales primos de un anillo de polinomios en una extensión simple y entera, llegando también a su implementación en Reduce."

Published
1991

33. SOME APPLICATIONS OF GRÖBNER BASES.

Author

Roanes-Lozano, Eugenio, Roanes-Macías, Eugenio, Laita, Luis M., Beichl, Isabel, and Noble, Julian V.

Subjects
GROBNER bases, QUASIVARIETIES (Universal algebra), ALGEBRA, EXPERT systems, LINEAR algebra, GEOMETRY
Abstract

Discusses the applications of Grobner bases in algebraic system solving. Algebraic linear combinations; Automatic theorem-proving in geometry; Expert systems; Distinction between real and complex solutions; Railway interlocking systems.

Published
2004
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results