leo-colisson / proof-at-the-end
This package aims to provide a way to easily move LaTeX proofs in appendix.
☆25Updated last year
Alternatives and similar repositories for proof-at-the-end:
Users that are interested in proof-at-the-end are comparing it to the libraries listed below
- LattE integrale, software for counting lattice points and integration over convex polytopes☆44Updated last year
- LaTeX package for automatically putting proof environments in appendix☆24Updated last year
- Convex optimization modeling in Lean 4☆43Updated 8 months ago
- ☆39Updated last month
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆63Updated 9 months ago
- Piecewise Deterministic Sampler library (Bouncy particle sampler, Zig Zag sampler, ...)☆33Updated 4 years ago
- A simple, minimalistic Beamer theme to keep eyes on the content☆86Updated 4 years ago
- Solves the best subset selection problem☆41Updated 3 years ago
- ☆17Updated last year
- Materials and syllabus for Cornell ORIE 7391, Faster: Algorithmic Ideas for Speeding Up Optimization☆22Updated 2 years ago
- This tutorial is a basic guide to understanding the Zig-Zag Sampling method. This document is released with the aim of diffusion and shar…☆19Updated 5 years ago
- This is an unofficial LaTeX Beamer presentation template for Stanford University.☆58Updated 6 years ago
- An HTML+CSS template for making more accessible posters☆83Updated 2 years ago
- Practical tools for quantifying how well a sample approximates a target distribution☆27Updated 4 years ago
- A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.☆52Updated 3 years ago
- BibLaTeX bibliography support for publication lists☆40Updated 5 months ago
- A true minimalistic LaTeX beamer template☆149Updated 7 months ago
- Algorithms inspired by graph Laplacians: linear equation solvers, sparsification, clustering, optimization, etc.☆222Updated 4 months ago
- Prof. S. Boyd's LaTeX Templates☆13Updated 6 years ago
- Julia implementation for various Frank-Wolfe and Conditional Gradient variants☆97Updated this week
- Probabilistic programming system for fast and exact symbolic inference☆77Updated 7 months ago
- LaTeX Beamer themes for the University of Connecticut☆26Updated last year
- A light interface to serial and multi-threaded Sequential Monte Carlo☆31Updated 3 years ago
- "Discontinuous Hamiltonian Monte Carlo for sampling discrete parameters" by Akihiko Nishimura, David Dunson, Jianfeng Lu☆27Updated 6 years ago
- Binaries for mathematicians☆9Updated last year
- Lecture notes of the course Analysis On Manifolds☆20Updated 3 weeks ago
- pgfplots - A TeX package to draw normal and/or logarithmic plots directly in TeX in two and three dimensions with a user-friendly interfa…☆206Updated 6 months ago
- LaTeX package for typesetting pseudocode.☆39Updated last year
- A CVXPY extension for saddle problems☆26Updated last month
- A modern LaTeX poster theme☆36Updated 6 years ago