A Rocq formalization of information theory and linear error-correcting codes
-
Updated
Sep 22, 2025 - Rocq Prover
A Rocq formalization of information theory and linear error-correcting codes
Compute the minimal enclosing circle with Mosek, Clarabel, ...
Financial Quantitative Analysis
construction of a nowhere convex, non-negative, strictly increasing, continuously differentiable function tightly bounded from above by a convex one
This is a library for fixed income quant analytics.
Application of script in Fixed Income Analysis
Custom Python library focused on numerical methods for valuing fixed income securities: bonds, swaps, options, etc.
Toolkit for Fixed Income instruments
math from UCSB/Annapolis era
This repo is Homework-04 of EE-559(Machine Learning I: Supervised Methods) completed at USC. Topics Resources
Fixed Income Investing analysis with Python
some option technics within python and R
Special Structure Detection for Pyomo
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."