Examples — Math

Formula sheet for a statistics course

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.

An example that shows how to write proof outlines in LaTeX.

A brief explanation and some examples on how to compose sequent calculus derivations with Overleaf using bussproofs.

A sketch of the region \(R\) of space-time produced by field \(\Phi_{\mu}\). The figure is inspired in figure 3.3 of the book ``Quantum Field Theory'' by Lewis H. Ryder.

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

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.

Supported Vectored Machine (SVM) is one of the most historical, but also most commonly used machine learning models in supervised learning. In this project, I built a SVM model with the Sequential Minimal Optimization (SMO) algorithm using SAS IML procedure. Also, I simulated some linearly separable data using data step and compared the result of the SVM model with the SAS build-in Logistic Procedure. Finally, I applied the model to a famous dataset called credit.

Aufgaben zum Thema Grundrechenarten werden mit LuaLaTeX automatisch erzeugt. LuaLaTex provides math problems for the four basic arithmetical operations automatically.