The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.

Mathematics in the Age of the Turing Machine

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.

/pdf/open-distribution-of-virtual-containers-as-a-key-framework-4af0aab7qr.pdf

Open Distribution of Virtual Containers as a Key Framework for Open Educational Resources and STEAM Subjects

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...

Transgenic learning for STEAM subjects and virtual containers for OER

Mathematics in the age of the Turing machine

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

OERaaS: Open educational resources as a service with the help of virtual containers

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.

Math committers

Papers

KNOPPIX/Math: a live system for enjoying mathematics with computer