Implementing theorem proving in GeoGebra by exact check o a statement in a bounded number of test cases (2012) Kovács, Zoltán Recio Muñiz, Tomás Jesús Weitzhofer, Simon Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones
- Número de citas: 1 (0.0% autocitas)
-
insert_chart_outlined Más Indicadores
Ámbito Citas EDUCACION 1
Citas por clasificación CIRC
Otras citas sin clasificación CIRC: 1
Artículos citantes
| Artículo citante | Anualidad | Localización | Autores |
|---|---|---|---|
| Construir, conjecturar, comprovar i demostrar amb el GeoGebra Núm. 36 Pág. 80-99 ARTICULO | 2015 | NouBiaix |
Bujosa, Pep
|
* Último cálculo de métricas Dialnet: 11-Oct-2026
Ver en Dialnet