A Rocq formalization of information theory and linear error-correcting codes
-
Updated
Sep 5, 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
This repository contains R codes for the manuscript ``Efficient constrained Gaussian process approximation using elliptical slice sampling''
Financial Quantitative Analysis
Application of script in Fixed Income Analysis
math from UCSB/Annapolis era
Fixed Income Investing analysis with Python
This repo is Homework-04 of EE-559(Machine Learning I: Supervised Methods) completed at USC. Topics Resources
construction of a nowhere convex, non-negative, strictly increasing, continuously differentiable function tightly bounded from above by a convex one
some option technics within python and R
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."