Steel's paper "Mathematics Needs New Axioms" (Bulletin of Symbolic Logic, vol. 6 (2000), 422-433) discusses Gödel's program, with special attention to questions of meaning and evidence.
This paper unravels the mathematics of Oyster as a flap-type absorber.
Algorithm of cubic computation and its VLSI implementation is described in this paper through 'Vedic mathematics' formulae.
Unfortunately this problem - the only one in this paper which involves mathematics and not applications - is currently unsolved.
Plotkin combines pencil-and-paper mathematics, computation, and statistical analysis to those records in an effort to figure out how genetic variation in the virus is related to the structure and function of the protein, including its virulence.
So ironically enough, it turns out that at least in this case, and surely there are others, "it is actually easier to verify the correctness of the program than to verify the correctness of the pen-and-paper mathematics" (Wiedijk 2006).
In this paper, we present Discrete Mathematics Learning system based on Android operating system.
This paper also reviews existing mathematics software and tools and presents game examples that utilized the SiGMA toolkit.
In this paper, starting from the mathematics learning difficulties of motor-impaired people with cerebral palsy, we argue that in this field specific educational tools are propaedeutic to a more informal learning approach based on serious games.
The analysis and results in this paper are interesting in mathematics and biology.
