CTAN
Comprehensive TeX Archive Network

calculation – Typesetting reasoned calculations, also called calculational proofs

The cal­cu­la­tion en­vi­ron­ment for­mats rea­soned cal­cu­la­tions, also called cal­cu­la­tional proofs.

The no­tion of rea­soned cal­cu­la­tions or cal­cu­la­tional proofs was orig­i­nally ad­vo­cated by Wim Fei­jen and Eds­ger Di­jk­stra. The pack­age ac­cepts op­tions fleqn and leqno (with the same ef­fect as the op­tions fleqn and leqno, or may in­herit the op­tions from the doc­u­ment class). It al­lows steps and ex­pres­sions to be num­bered (by equa­tion num­bers, obey­ing the \la­bel com­mand to re­fer to these num­bers), and a step doesn't take ver­ti­cal space if its hint is empty. An ex­pres­sion in a cal­cu­la­tion can be given a com­ment; it is placed at the side op­po­site to the equa­tion num­bers. Cal­cu­la­tions are al­lowed in­side hints al­though num­ber­ing and com­ment­ing is then dis­abled.

Sources /macros/latex/contrib/calculation
Doc­u­men­ta­tion
Ver­sion 1.0
Li­cense The Project Public Li­cense 1.3
Copy­right 2014–2015 Maarten Fokkinga
Main­tainer Maarten Fokkinga
Con­tained in TeX Live as cal­cu­la­tion
MiKTeX as cal­cu­la­tion
Topics sup­port for type­set­ting math­e­mat­ics
type­set proofs and proof di­a­grams

Down­load the con­tents of this pack­age in one zip archive (107.0k).

Com­mu­nity Com­ments

Load­ing...

An­nounce­ments

Here you can see a re­spec­tive di­a­gram in newer browsers.

more

Guest Book Sitemap Contact Contact Author