Essays about: "Computer technologies for Mathematics"
Found 3 essays containing the words Computer technologies for Mathematics.
-
1. Mathematical Unconcealment and the Surveying of Proofs
University essay from Uppsala universitet/Filosofiska institutionenAbstract : Ever since the advent of computerized methods for solving mathematical problems, the concept of surveyability has played a central role in the debate surrounding what constitutes a mathematical proof. Ordinarily, it is by surveying the argument presented that the mathematician ascertains the truth of the conclusion, but with the advent of computer assisted technologies, there are mathematical conclusions known to be true without anyone ever having been able to survey the argument in its entirety. READ MORE
-
2. EVALUATION OF UNSUPERVISED MACHINE LEARNING MODELS FOR ANOMALY DETECTION IN TIME SERIES SENSOR DATA
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : With the advancement of the internet of things and the digitization of societies sensor recording time series data can be found in an always increasing number of places including among other proximity sensors on cars, temperature sensors in manufacturing plants and motion sensors inside smart homes. This always increasing reliability of society on these devices lead to a need for detecting unusual behaviour which could be caused by malfunctioning of the sensor or by the detection of an uncommon event. READ MORE
-
3. Improving The Programming Logic of Children by Creating Computer Games on Greenfoot Framework
University essay from Institutionen för datavetenskap, fysik och matematik, DFMAbstract : In our modern time, age of education is decreasing day by day. People have started tolearn more advanced things at earlier ages. This fact is also true for children. They arelearning more advanced thing now because they are facing new technology in everyaspect of life. READ MORE