$Software tools for elementary math education : animated mathematical proofs$

Software tools for elementary math education : animated mathematical proofs

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2013.

Bibliographic Details
Main Author:	Mwangi, Timothy M
Other Authors:	Kimberle Koile.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2014
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/85451

Similar Items

Design and implementation of a division tool for elementary math education
by: Simon, Elizabeth M
Published: (2014)

Elementary mathematical and computational tools for electrical and computer engineers using MATLAB /
by: 441395 Manassah, Jamal T.
Published: (2007)

Improving feedback in elementary mathematics autograders
by: Greene, Stephanie Denise Carter
Published: (2016)

Automated proof checking in introductory discrete mathematics classes
by: Haven, Andrew J
Published: (2014)

Message passing tools for software integration
by: Carney, John C
Published: (2007)

Principles for design of software engineering visualization tools
by: Howard, Jeffrey (Jeffrey Rush), 1977-
Published: (2014)

Proof-carrying data
by: Chiesa, Alessandro
Published: (2011)

Denotational proof languages
by: Arkoudas, Konstantinos, 1968-
Published: (2013)

Evaluation of software tools for the development of an embedded medical device
by: Sanders, Benjamin W. (Benjamin Wesley), 1977-
Published: (2014)

Numerical analysis of finite difference schemes in automatically generated mathematical modeling software
by: Yau, Shuk-Han Ada
Published: (2007)

Super-efficient rational proofs
by: Azar, Pablo Daniel
Published: (2015)

Computers, music, and math : using technology in a learning environment
by: Wagenberg, Becky
Published: (2008)

On deploying succinct zero-knowledge proofs
by: Virza, Madars
Published: (2018)

Acoustic models for speech recognition using Deep Neural Networks based on approximate math
by: Liu, Leo, M. Eng. Massachusetts Institute of Technology
Published: (2016)

On the existence of 3-round zero-knowledge proofs
by: Lepinski, Matthew (Matthew Baker), 1978-
Published: (2014)

Educational software for teaching animation in computer graphics
by: Soh, Tong Bao.
Published: (2009)

Secret-chain zero-knowledge proofs and their applications
by: Eng, Tony Liang
Published: (2007)

Automated termination proofs using Walther recursion
by: Wu, Alexander
Published: (2007)

Educational fusion : an instructional, web-based, software development platform
by: Porter, Brandon W. (Brandon William), 1974-
Published: (2010)

A mobile instructor interface for collaborative software development education
by: Chang, Angela N. (Angela Ni-Hwey)
Published: (2013)

Mechanized proofs that hardware is safe from timing attacks
by: Duxovni, Faye(Faye Samara)
Published: (2019)

Correctness proofs of the Peterson-Fischer mutual exclusion algorithms
by: Colby, Christopher P
Published: (2013)

Using a denotational proof language to verify dataflow analyses
by: Hao, Melissa B. (Melissa Betty), 1979-
Published: (2014)

Security proofs for the MD6 hash function mode of operation
by: Crutchfield, Christopher Yale
Published: (2009)

Interactive proof system variants and approximation algorithms for optical networks
by: Sundaram, Ravi, 1968-
Published: (2008)

Query-efficient checking of proofs and improved PCP characterizations of NP
by: Guruswami, Venkatesan, 1976-
Published: (2013)

3-round weak zero-knowledge proofs for [Nu] [Rho]
by: Lim, Dah-Yoh, 1978-
Published: (2005)

A virtual machine for a type-[omega] denotational proof language
by: Arvizo, Teodoro, 1978-
Published: (2014)

A framework for synthesizing transactional database implementations in a proof assistant
by: Suriyakarn, Sorawit
Published: (2018)

CoqIOA : a formalization of IO automata in the Coq proof assistant
by: Athalye, Anish (Anish R.)
Published: (2017)

Discrete mathematics with proof /
by: 363209 Gossett, Eric
Published: (2003)

Using software tools to guide strategic planning in manufacture
by: Srikantiah, Ranjini, 1974-
Published: (2014)

Elementary mathematics for computing/
by: 220014 Lance, Larry R., et al.
Published: (1986)

Automated elementary geometry theorem discovery via inductive diagram manipulation
by: Johnson, Lars Erik
Published: (2016)

Caesar : a social code review tool for programming education
by: Tang, Mason
Published: (2013)

Software redesign of the Haystack project
by: Zych, David M. (David Michael Robert), 1980-
Published: (2014)

Energy aware software
by: Sinha, Amit, 1976-
Published: (2014)

Software instruction caching
by: Miller, Jason Eric, 1976-
Published: (2008)

A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls
by: Troxel, Gregory D. (Gregory Donald)
Published: (2005)

Evaluation of software energy consumption on microprocessors
by: Osqui, Mitra M., 1980-
Published: (2005)