A Rocq formalization of information theory and linear error-correcting codes
-
Updated
Sep 17, 2025 - Rocq Prover
A Rocq formalization of information theory and linear error-correcting codes
Special Structure Detection for Pyomo
Custom Python library focused on numerical methods for valuing fixed income securities: bonds, swaps, options, etc.
This is a library for fixed income quant analytics.
Compute the minimal enclosing circle with Mosek, Clarabel, ...
Toolkit for Fixed Income instruments
Financial Quantitative Analysis
math from UCSB/Annapolis era
This repo is Homework-04 of EE-559(Machine Learning I: Supervised Methods) completed at USC. Topics Resources
Application of script in Fixed Income Analysis
some option technics within python and R
Fixed Income Investing analysis with Python
construction of a nowhere convex, non-negative, strictly increasing, continuously differentiable function tightly bounded from above by a convex one
Add a description, image, and links to the convexity topic page so that developers can more easily learn about it.
To associate your repository with the convexity topic, visit your repo's landing page and select "manage topics."