Examples — Math

Proof

Some examples of typesetting inference rules and T-diagrams using the semantic package.

Exercício de nivelamento de Lógica II, feito pelo aluno Fellipe de Carvalho Silva na UFRJ, em 2018.2.

Mathe KIT

A simple trick to decorate Theorem-like environments with poker suits QED symbols. I did not come up with this theorem decoration style (I've first seen it here) nor with the whole code (I salvaged it from TeX StackExchange and other sources over the years). This is just my current implementation of the code.

This is a table I used in the paper W. Li, G. Wei, D. Ding, Y. Liu and F. E. Alsaadi, "A New Look at Boundedness of Error Covariance of Kalman Filtering," in IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 48, no. 2, pp. 309-314, Feb. 2018. I would like to share some LaTex codes for the table which might be helpful to some readers.

Trigonométrie anti-sèche résumé de cours de seconde. Mini-livre 8 A7 sur un A4 recto. cheatsheet antiseche pocketmod minibook trig sin cos circle cercle

homework template

Xelatex, Polyglossia, Amiri, Série, Exercices (A maths exercise sheet in Arabic)