Matches in SemOpenAlex for { <https://semopenalex.org/work/W3126014207> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3126014207 abstract "We introduce a formal framework for analyzing trades in financial markets. These days, all big exchanges use computer algorithms to match buy and sell requests and these algorithms must abide by certain regulatory guidelines. For example, market regulators enforce that a matching produced by exchanges should be fair, uniform and individual rational. To verify these properties of trades, we first formally define these notions in a theorem prover and then develop many important results about matching demand and supply. Finally, we use this framework to verify properties of two important classes of double sided auction mechanisms. All the definitions and results presented in this paper are completely formalized in the Coq proof assistant without adding any additional axioms to it." @default.
- W3126014207 created "2021-02-01" @default.
- W3126014207 creator A5017642351 @default.
- W3126014207 creator A5048673029 @default.
- W3126014207 date "2020-01-01" @default.
- W3126014207 modified "2023-09-27" @default.
- W3126014207 title "Formally Verified Trades in Financial Markets" @default.
- W3126014207 hasPublicationYear "2020" @default.
- W3126014207 type Work @default.
- W3126014207 sameAs 3126014207 @default.
- W3126014207 citedByCount "0" @default.
- W3126014207 crossrefType "posted-content" @default.
- W3126014207 hasAuthorship W3126014207A5017642351 @default.
- W3126014207 hasAuthorship W3126014207A5048673029 @default.
- W3126014207 hasConcept C10138342 @default.
- W3126014207 hasConcept C105795698 @default.
- W3126014207 hasConcept C108710211 @default.
- W3126014207 hasConcept C120330832 @default.
- W3126014207 hasConcept C144133560 @default.
- W3126014207 hasConcept C159718280 @default.
- W3126014207 hasConcept C162324750 @default.
- W3126014207 hasConcept C165064840 @default.
- W3126014207 hasConcept C167729594 @default.
- W3126014207 hasConcept C175444787 @default.
- W3126014207 hasConcept C19244329 @default.
- W3126014207 hasConcept C206880738 @default.
- W3126014207 hasConcept C2524010 @default.
- W3126014207 hasConcept C33923547 @default.
- W3126014207 hasConcept C41008148 @default.
- W3126014207 hasConcept C80444323 @default.
- W3126014207 hasConceptScore W3126014207C10138342 @default.
- W3126014207 hasConceptScore W3126014207C105795698 @default.
- W3126014207 hasConceptScore W3126014207C108710211 @default.
- W3126014207 hasConceptScore W3126014207C120330832 @default.
- W3126014207 hasConceptScore W3126014207C144133560 @default.
- W3126014207 hasConceptScore W3126014207C159718280 @default.
- W3126014207 hasConceptScore W3126014207C162324750 @default.
- W3126014207 hasConceptScore W3126014207C165064840 @default.
- W3126014207 hasConceptScore W3126014207C167729594 @default.
- W3126014207 hasConceptScore W3126014207C175444787 @default.
- W3126014207 hasConceptScore W3126014207C19244329 @default.
- W3126014207 hasConceptScore W3126014207C206880738 @default.
- W3126014207 hasConceptScore W3126014207C2524010 @default.
- W3126014207 hasConceptScore W3126014207C33923547 @default.
- W3126014207 hasConceptScore W3126014207C41008148 @default.
- W3126014207 hasConceptScore W3126014207C80444323 @default.
- W3126014207 hasLocation W31260142071 @default.
- W3126014207 hasOpenAccess W3126014207 @default.
- W3126014207 hasPrimaryLocation W31260142071 @default.
- W3126014207 hasRelatedWork W2082263974 @default.
- W3126014207 hasRelatedWork W2088674899 @default.
- W3126014207 hasRelatedWork W2120165782 @default.
- W3126014207 hasRelatedWork W2176295195 @default.
- W3126014207 hasRelatedWork W2403126768 @default.
- W3126014207 hasRelatedWork W2417986256 @default.
- W3126014207 hasRelatedWork W2603618906 @default.
- W3126014207 hasRelatedWork W2883966671 @default.
- W3126014207 hasRelatedWork W2948128287 @default.
- W3126014207 hasRelatedWork W2960548256 @default.
- W3126014207 hasRelatedWork W3035679702 @default.
- W3126014207 hasRelatedWork W3046089505 @default.
- W3126014207 hasRelatedWork W3048781566 @default.
- W3126014207 hasRelatedWork W3116730060 @default.
- W3126014207 hasRelatedWork W3125434424 @default.
- W3126014207 hasRelatedWork W3126589037 @default.
- W3126014207 hasRelatedWork W3204584317 @default.
- W3126014207 hasRelatedWork W631315869 @default.
- W3126014207 hasRelatedWork W2185311320 @default.
- W3126014207 hasRelatedWork W2744380515 @default.
- W3126014207 isParatext "false" @default.
- W3126014207 isRetracted "false" @default.
- W3126014207 magId "3126014207" @default.
- W3126014207 workType "article" @default.