Examples — Math

Investigations into the properties of divergence and convergence in regards to (1)/(((ln(n))^P)n).

Homework Template. Note: This is a modified version of the original template by Dana Ernst.

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.

the sujet compiler ( xetex)

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.