Buscar

Estamos realizando la búsqueda. Por favor, espere...

Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures

 Libro: Proof Technology in Mathematics Research and Teaching

 Editorial: Springer, Cham

 Año de publicación: 2019

 Nº de páginas: 22

 Páginas: 215 a 236

 Tipo de publicación: Capítulo de libro

 DOI: 10.1007/978-3-030-28483-1_10

 ISBN: 978-3-030-28482-4

 Proyecto español: MTM2017-88796-P

 Url de la publicación: https://doi.org/10.1007/978-3-030-28483-1_10

Consultar en Biblioteca

Autoría

HOHENWARTER, MARKUS

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ