Inteligentní verze kalkulu definuje pojmy, jednotlivé početní metody jsou založeny na přesně formulovaných větách; během počítání se stále kontroluje, za jakých podmínek a ve kterém oboru jsou splněny potřebné předpoklady. Příklady do této sbírky autor shromažďoval desítky let, dle jeho zkušeností poskytuje matematická analýza mnoho příležitostí,...