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

Homework Template
Homework Template.
Note: This is a modified version of the original template by Dana Ernst.
Sarah Wright (based on the a original by Dana Ernst)

Math Proof
Proof
Matthew Pelto

Inference Rules and T-diagrams with the semantic Package
Some examples of typesetting inference rules and T-diagrams using the semantic package.
LianTze Lim

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

Lineare Algebra Mitschrieb
Mathe KIT
Craftgoll

Poker Theorems
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.
Níckolas Alves

compo3_1L2013
the sujet compiler ( xetex)
khaled

Supported Vector Machine with SAS
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.
Qi Zhao