smq/directoryAn evolving quant resource archive
Paper / 2024SMQ / 72470279990374
Double Auctions: Formalization and Automated Checkers
algorithms / programmingResource overview

Double Auctions: Formalization and Automated Checkers

Paper2024

by Abhishek Kr Singh, Mohit Garg, N. Raja, Suneel Sarswat

Tags
algorithmsprogramming

Continue on SelfMadeQuant

Understand this paper

Suggested foundations for trading research and honest backtests. Specialist prerequisites vary by paper.

Before you read

Go further

Explore a related reading path