KNOPPIX/Math: a live system for enjoying mathematics with computer
TL;DR: This tutorial demonstrates how to boot and use the KNOPPIX/Math system, a wonderful world of mathematical software without needing to install anything yourself.
Abstract: KNOPPIX/Math offers many documents and mathematical software packages. Once you run the live system, you can enjoy a wonderful world of mathematical software without needing to install anything yourself. We will demonstrate how to boot and use this system.
Citations
More filters
Posted Content•
TL;DR: The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs, as well as some examples from the literature.
Abstract: The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
20 citations
Journal Article•
TL;DR: The experience proves that combining containerized educational resources and free and open distribution channels can be one of the cornerstones of a new OER approach in STEAM subjects.
Abstract: This paper presents how virtual containers
enhance the implementation of STEAM (science, technology, engineering,
arts, and math) subjects as Open Educational Resources (OER). The
publication initially summarizes the limitations of delivering open
rich learning contents and corresponding assignments to students in
college level STEAM areas. The role that virtual containers can play
in current distant education is then discussed, starting by reviewing
related teaching efforts around the use of legacy virtual machines. We
then focus on the superseding container technology and how it can
bridge the gap between online students, humble computing resources,
teachers and IT specificities. As a practical example, we present an
experience carried out at the online School of Engineering &
Technology at Universidad Internacional de La Rioja (UNIR). Within the
context of a subject about Physics for Computing Engineers, we
describe the satisfactory evolution from using conventional software
distribution methods towards the transition to virtual containers.
Thanks to this virtualization approach, the necessary student
activities can be implemented, the required software tools can be
easily distributed, and the accompanying documentation can be
seamlessly presented. The results show how student engagement and
satisfaction increased over time, partly because of the easiness
introduced by the container technology. Our experience proves that
combining containerized educational resources and free and open
distribution channels can be one of the cornerstones of a new OER
approach in STEAM subjects.
10 citations
Cites background from "KNOPPIX/Math: a live system for enj..."
...The authors in (Kind et al., 2009) have implemented a VirtualBox virtual machine for teaching chemistry, and researchers in (Hamada, 2009) have done something similar in math-related subjects....
[...]
TL;DR: A view of transgenic learning focused on the delivery of enriched learning contents in STEAM areas is provided and the mutagenic role that the virtual containers may play in current distance education is discussed.
Abstract: Transgenic learning is a disruptive approach in education. It encourages modification of moving parts of the educational chain. This article provides a view of transgenic learning focused on the de...
7 citations
Cites background from "KNOPPIX/Math: a live system for enj..."
...Kind, Leamy, Leary, and Fiehn (2009) have launched a VirtualBox virtual machine for the teaching of chemistry and Hamada (2009) has done something similar for mathematics....
[...]
01 May 2014
TL;DR: A survey of mathematical proofs that rely on computer calculations and formal proofs is given in this article, along with a survey of proofs that are based on computer simulations and formal verification techniques.
Abstract: The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
7 citations
TL;DR: A technological set based on virtual containers used in education and training and a very specific case study carried out with freshman students of the Bachelor of Science in Computer Science, which stands for Science, Technology, Engineering and Maths.
Abstract: The new and challenging virtual containers are wide spread in a variety of sectors like systems administration, application deployment and service provision. However, these tools are not that much used in education and training, either in face-to-face or online forms. In this paper we show a technological set based on these containers and we discuss about a potential role in academic settings as a support to Open Educational Resources (OER). Furthermore, we present a very specific case study carried out with freshman students of the Bachelor of Science in Computer Science. These online students concentrate on a STEM subject, which stands for Science, Technology, Engineering and Maths. The promising results out of the tool evaluation might be migrated to other subjects, academic fields and educational levels. Likewise, we present already existing repositories of containers and discuss how good they are as a distribution service of OERs
6 citations
Cites background from "KNOPPIX/Math: a live system for enj..."
...Los autores de [34] han investigado el uso de una máquina Virtualbox para la docencia química y los investigadores de [35] han realizado una acción similar para asignaturas de matemáticas....
[...]
References
More filters
01 Sep 2006
TL;DR: This work proposes a new computer environment for mathematicians that can be set up easily and quickly and is applicable to all types of research.
Abstract: We propose a new computer environment for mathematicians that can be set up easily and quickly.
4 citations
"KNOPPIX/Math: a live system for enj..." refers methods in this paper
...([1]) The current version, KNOPPIX/Math/2008, was presented at the 2008 meeting of the Union of Research Activity groups, JSIAM2 (March 8–9, 2008) at the Tokyo Metropolitan University, and at the MSJ3 and JPS4 annual meeting (March 22–26, 2008) at Kinki University....
[...]