Research of Pre-Service Elementary Mathematics Teachers’ Beliefs in Proof, Proving Processes and Proof Evaluation Processes - Tanışlı, Dilek; Candaş Uygan; KÖSE, NİLÜFER; Dilek Tanışlı; Nilüfer Yavuzsoy Köse (My University, 2014)
Keywords: Elementary proof; Proof of concept; Mathematics education; Computer science; Computer-assisted proof; Elementary mathematics; Service (business); Calculus (dental); Mathematics; Theoretical computer science; Discrete mathematics; Medicine; Automated theorem proving; 4