Departamento
Matemática aplicada I
Achegas congreso (4) Publicacións nas que participase algún/ha investigador/a
2002
-
A dynamic-symbolic interface for geometric theorem discovery
Computers and Education
-
Envolventes, cáusticas, podarias ...: extendiendo la cooperación entre la Geometría Dinámica y el Cálculo Simbólico
Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002
-
Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Some interpolation results that are the exclusive property of compact operators
Royal Society of Edinburgh - Proceedings A