Search for persons
X
?
Mathematics Education in the Age of Artificial Intelligence; Mathematics Education in the Digital Era ,
4
Evolution of Automated Deduction and Dynamic Constructions ..:
, In:
?
Advances in Science, Technology & Innovation; Water-Energy-Nexus in the Ecological Transition ,
5
Integrative Energy-Water Audits in Public Buildings:
, In:
?
Proof Technology in Mathematics Research and Teaching; Mathematics Education in the Digital Era ,
12
Computer-Generated Geometry Proofs in a Learning Context:
, In:
?
Artificial Intelligence and Symbolic Computation; Lecture Notes in Computer Science ,
13
Automatic Deduction in an AI Geometry Book:
, In:
?
15
Proceedings of the 12th Workshop on User Interfaces for The..
Coimbra, Portugal, 2nd July 2016
EPTCS ; 239