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)
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: 12-Sep-2024