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
- LaTeX package for automatically putting proof environments in appendix☆25Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.☆39Updated last year
- A simple library to run variational inference on Stan models.☆30Updated last year
- This tutorial is a basic guide to understanding the Zig-Zag Sampling method. This document is released with the aim of diffusion and shar…☆20Updated 5 years ago
- BibLaTeX bibliography support for publication lists☆39Updated last week
- Convenient mode selection in Beamer documents☆23Updated 2 years ago
- Piecewise Deterministic Sampler library (Bouncy particle sampler, Zig Zag sampler, ...)☆33Updated 4 years ago
- Materials for ORIE 7191: Topics in Optimization for Machine Learning☆44Updated 5 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 8 months ago
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆65Updated 11 months ago
- GENO is a solver for non-linear optimization problems. It can solve constrained and unconstrained problems.☆36Updated 3 months 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
- Listing of online math seminars☆43Updated 6 months ago
- "Discontinuous Hamiltonian Monte Carlo for sampling discrete parameters" by Akihiko Nishimura, David Dunson, Jianfeng Lu☆27Updated 6 years ago
- Solves the best subset selection problem☆44Updated 3 years ago
- Pandoc filters for scientific writing☆18Updated 4 years ago
- Some teaching material and other educational resources☆41Updated 5 months ago
- Materials and syllabus for Cornell ORIE 7391, Faster: Algorithmic Ideas for Speeding Up Optimization☆22Updated 2 years ago
- Fast hyperparameter settings for non-smooth estimators:☆39Updated last year
- Stationary distributions for arbitrary finite state Markov processes, including specializations for the Moran, Wright-Fisher, and other …☆20Updated 6 years ago
- The Latex version of Mike Morrison's "better poster" template☆107Updated 2 years ago
- Simple and minimalistic beamer template using Tufte-LaTeX style☆22Updated last year
- A sklearn style interface to Stan regression models☆25Updated 5 months ago
- An HMC/NUTS implementation in Aesara☆32Updated last year
- probabilistic programming focused on fun☆40Updated 4 months ago
- Convex optimization modeling in Lean 4☆44Updated 9 months ago
- Practical tools for quantifying how well a sample approximates a target distribution☆27Updated 4 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 5 months ago
- Binaries for mathematicians☆9Updated this week