The art of guessing results and solving problems without doing a proof or an exact calculation. Techniques include extreme-cases reasoning, dimensional analysis, successive approximation, discretization, generalization, and pictorial analysis. Application to mental calculation, solid geometry, musical intervals, logarithms, integration, infinite series, solitaire, and differential equations.
A GNU-FDL book on algorithmic graph theory by David Joyner, Minh Van Nguyen, and Nathann Cohen. This is an introductory book on algorithmic graph theory. Theory and algorithms are illustrated using the Sage open source mathematics software.
presents background and context around the emergence of mainstream multicore processors; identifies key challenges for software developers; provides introduction to multithreading; and reviews several programming tools and available techniques
Code generation is the technique of using or writing programs that write source code. Code generators are tools built to serve engineers in the creation of applications.
In this Guide we address the full spectrum of spatial analysis and associated modelling techniques that are provided within currently available and widely used geographic information systems (GIS) and associated software.