Matches in SemOpenAlex for { <https://semopenalex.org/work/W1666573805> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1666573805 endingPage "334" @default.
- W1666573805 startingPage "330" @default.
- W1666573805 abstract "The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics’ theoretical results, to aid in discovering new results, and to foster interest in formal methods, i.e. computer-aided reasoning, within economics. To formal methods, we seek to contribute user experience feedback from new audiences, as well as new challenge problems. In the first project year, we continued earlier game theory studies but then focused on auctions, where we are building a toolbox of formalisations, and have started to study matching and financial risk. In parallel to conducting research that connects economics and formal methods, we organise events and provide infrastructure to connect both communities, from fostering mutual awareness to targeted matchmaking. These efforts extend beyond economics, towards generally enabling domain experts to use mechanised reasoning." @default.
- W1666573805 created "2016-06-24" @default.
- W1666573805 creator A5007714809 @default.
- W1666573805 creator A5024794217 @default.
- W1666573805 creator A5085218051 @default.
- W1666573805 date "2013-01-01" @default.
- W1666573805 modified "2023-10-18" @default.
- W1666573805 title "The ForMaRE Project – Formal Mathematical Reasoning in Economics" @default.
- W1666573805 cites W1606650395 @default.
- W1666573805 cites W1840672264 @default.
- W1666573805 cites W1873980923 @default.
- W1666573805 cites W2011937745 @default.
- W1666573805 cites W2116274133 @default.
- W1666573805 cites W2143444807 @default.
- W1666573805 cites W3124731258 @default.
- W1666573805 cites W101718253 @default.
- W1666573805 doi "https://doi.org/10.1007/978-3-642-39320-4_23" @default.
- W1666573805 hasPublicationYear "2013" @default.
- W1666573805 type Work @default.
- W1666573805 sameAs 1666573805 @default.
- W1666573805 citedByCount "7" @default.
- W1666573805 countsByYear W16665738052013 @default.
- W1666573805 countsByYear W16665738052014 @default.
- W1666573805 countsByYear W16665738052015 @default.
- W1666573805 countsByYear W16665738052016 @default.
- W1666573805 countsByYear W16665738052018 @default.
- W1666573805 crossrefType "book-chapter" @default.
- W1666573805 hasAuthorship W1666573805A5007714809 @default.
- W1666573805 hasAuthorship W1666573805A5024794217 @default.
- W1666573805 hasAuthorship W1666573805A5085218051 @default.
- W1666573805 hasBestOaLocation W16665738052 @default.
- W1666573805 hasConcept C105795698 @default.
- W1666573805 hasConcept C115903868 @default.
- W1666573805 hasConcept C134306372 @default.
- W1666573805 hasConcept C154945302 @default.
- W1666573805 hasConcept C162324750 @default.
- W1666573805 hasConcept C163239763 @default.
- W1666573805 hasConcept C165064840 @default.
- W1666573805 hasConcept C175444787 @default.
- W1666573805 hasConcept C195344581 @default.
- W1666573805 hasConcept C199360897 @default.
- W1666573805 hasConcept C2777655017 @default.
- W1666573805 hasConcept C33923547 @default.
- W1666573805 hasConcept C36503486 @default.
- W1666573805 hasConcept C41008148 @default.
- W1666573805 hasConcept C539667460 @default.
- W1666573805 hasConcept C75606506 @default.
- W1666573805 hasConceptScore W1666573805C105795698 @default.
- W1666573805 hasConceptScore W1666573805C115903868 @default.
- W1666573805 hasConceptScore W1666573805C134306372 @default.
- W1666573805 hasConceptScore W1666573805C154945302 @default.
- W1666573805 hasConceptScore W1666573805C162324750 @default.
- W1666573805 hasConceptScore W1666573805C163239763 @default.
- W1666573805 hasConceptScore W1666573805C165064840 @default.
- W1666573805 hasConceptScore W1666573805C175444787 @default.
- W1666573805 hasConceptScore W1666573805C195344581 @default.
- W1666573805 hasConceptScore W1666573805C199360897 @default.
- W1666573805 hasConceptScore W1666573805C2777655017 @default.
- W1666573805 hasConceptScore W1666573805C33923547 @default.
- W1666573805 hasConceptScore W1666573805C36503486 @default.
- W1666573805 hasConceptScore W1666573805C41008148 @default.
- W1666573805 hasConceptScore W1666573805C539667460 @default.
- W1666573805 hasConceptScore W1666573805C75606506 @default.
- W1666573805 hasLocation W16665738051 @default.
- W1666573805 hasLocation W16665738052 @default.
- W1666573805 hasLocation W16665738053 @default.
- W1666573805 hasOpenAccess W1666573805 @default.
- W1666573805 hasPrimaryLocation W16665738051 @default.
- W1666573805 hasRelatedWork W1666573805 @default.
- W1666573805 hasRelatedWork W2046186274 @default.
- W1666573805 hasRelatedWork W2324336873 @default.
- W1666573805 hasRelatedWork W2468351430 @default.
- W1666573805 hasRelatedWork W2951806952 @default.
- W1666573805 hasRelatedWork W3107474891 @default.
- W1666573805 hasRelatedWork W4293148923 @default.
- W1666573805 hasRelatedWork W4298056273 @default.
- W1666573805 hasRelatedWork W1767730754 @default.
- W1666573805 hasRelatedWork W2085121363 @default.
- W1666573805 isParatext "false" @default.
- W1666573805 isRetracted "false" @default.
- W1666573805 magId "1666573805" @default.
- W1666573805 workType "book-chapter" @default.