{"id":"https://openalex.org/W2509917783","doi":"https://doi.org/10.1515/forma-2016-0001","title":"Modelling Real World Using Stochastic Processes and Filtration","display_name":"Modelling Real World Using Stochastic Processes and Filtration","publication_year":2016,"publication_date":"2016-03-01","ids":{"openalex":"https://openalex.org/W2509917783","doi":"https://doi.org/10.1515/forma-2016-0001","mag":"2509917783"},"language":"en","primary_location":{"id":"doi:10.1515/forma-2016-0001","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0001","pdf_url":"https://sciendo.com/pdf/10.1515/forma-2016-0001","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://sciendo.com/pdf/10.1515/forma-2016-0001","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004607775","display_name":"Peter De Jaeger","orcid":"https://orcid.org/0000-0003-3398-6833"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Peter Jaeger","raw_affiliation_strings":["Siegmund-Schacky-Str. 18a 80993 Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siegmund-Schacky-Str. 18a 80993 Munich, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5004607775"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8662,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.83995487,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"24","issue":"1","first_page":"1","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9589999914169312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9589999914169312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9315999746322632,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11413","display_name":"Risk and Portfolio Optimization","score":0.9254999756813049,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6080950498580933},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.5328450798988342},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.46808061003685},{"id":"https://openalex.org/keywords/filtration","display_name":"Filtration (mathematics)","score":0.46473953127861023},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4616715908050537},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3777529299259186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37423378229141235},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3640729486942291},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35426920652389526},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.32128822803497314},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2662404775619507},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.10271471738815308},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09426045417785645},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.07698962092399597}],"concepts":[{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6080950498580933},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.5328450798988342},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46808061003685},{"id":"https://openalex.org/C128489963","wikidata":"https://www.wikidata.org/wiki/Q1187724","display_name":"Filtration (mathematics)","level":2,"score":0.46473953127861023},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4616715908050537},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3777529299259186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37423378229141235},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3640729486942291},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35426920652389526},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.32128822803497314},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2662404775619507},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.10271471738815308},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09426045417785645},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.07698962092399597},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1515/forma-2016-0001","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0001","pdf_url":"https://sciendo.com/pdf/10.1515/forma-2016-0001","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:52a82abc4bc14f4faa55b161528f4110","is_oa":false,"landing_page_url":"https://doaj.org/article/52a82abc4bc14f4faa55b161528f4110","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formalized Mathematics, Vol 24, Iss 1, Pp 1-16 (2016)","raw_type":"article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/5486","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/5486","pdf_url":null,"source":{"id":"https://openalex.org/S4306400933","display_name":"The Repository of University in Bialystok (University in Bialystok)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210094198","host_organization_name":"University Clinical Hospital In Bialystok","host_organization_lineage":["https://openalex.org/I4210094198"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1515/forma-2016-0001","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0001","pdf_url":"https://sciendo.com/pdf/10.1515/forma-2016-0001","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2509917783.pdf","grobid_xml":"https://content.openalex.org/works/W2509917783.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W260340778","https://openalex.org/W753843557","https://openalex.org/W1557270667","https://openalex.org/W1993133013","https://openalex.org/W2098464720","https://openalex.org/W2105559527","https://openalex.org/W2262237570","https://openalex.org/W2295728669","https://openalex.org/W2777805251","https://openalex.org/W2987552422","https://openalex.org/W4230020565","https://openalex.org/W4238655348","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2002978035","https://openalex.org/W797688974","https://openalex.org/W2209382646","https://openalex.org/W2586133538"],"abstract_inverted_index":{"Summary":[0],"First":[1,120],"we":[2,36,50,65,70,82,93,121,631,644],"give":[3,37,94,125,149,371],"an":[4,150,358,361,372,380,607],"implementation":[5],"in":[6,111,116,155,417,448,458,469,617,627,663,672,687],"Mizar":[7],"[2]":[8],"basic":[9],"important":[10],"definitions":[11,77],"of":[12,86,507,535,538,556,623,683],"stochastic":[13,23,30,73,80,363],"finance,":[14],"i.e.":[15],"filtration":[16,684],"([9],":[17,25],"pp.":[18,113,118,564,568,595,689],"183":[19],"and":[20,28,41,99,115,139,163,170,255,293,345,468,542,566,600,654],"185),":[21],"adapted":[22,362],"process":[24,31,81],"p.":[26,33,551,598,601,666],"185)":[27],"predictable":[29],"([6],":[32],"224).":[34],"Second":[35],"some":[38,153],"concrete":[39],"formalization":[40],"verification":[42],"to":[43,52,60,103,128,206,370,374,485,526,545,549,562,576,592,633],"real":[44,96,320],"world":[45,97],"examples.":[46],"In":[47,405,436],"article":[48,571],"[8]":[49],"started":[51],"define":[53,71],"random":[54,321,540],"variables":[55],"for":[56,152,177,247,262,279,289,300,310,356,360,583,590,658,679],"a":[57,90,95,482,532,585,675],"similar":[58,107],"presentation":[59],"the":[61,72,84,101,104,140,156,185,207,390,414,426,445,455,465,478,486,524,527,536,539,543,546,554,573,577,614,635,647,659,681],"book":[62],"[6].":[63],"Here":[64],"continue":[66],"this":[67],"study.":[68],"Next":[69],"process.":[74,364],"For":[75,481,531,553],"further":[76],"based":[78],"on":[79],"implement":[83],"definition":[85,537,682],"filtration.":[87],"To":[88],"get":[89],"better":[91,533],"understanding":[92,534],"example":[98,359,584,591,615],"connect":[100],"statements":[102],"theorems.":[105],"Other":[106],"examples":[108,678],"are":[109,175,319,505,685],"given":[110,173,616,638,662,686],"[10],":[112],"143-159":[114],"[12],":[117],"110-124.":[119],"introduce":[122],"sets":[123,489,558],"which":[124,383,397,504,516],"informations":[126,203,625],"referring":[127],"today":[129],"(\u03a9":[130,135,144],"now":[131,159,189,205,327,385],",":[132,137,146,160,166,328,334,340],"Def.6),":[133],"tomorrow":[134,143,432],"fut1":[136,162,192,333],"Def.7)":[138],"day":[141,212,430],"after":[142,213,431],"fut2":[145,165,195,339],"Def.8).":[147],"We":[148,215,347,368],"overview":[151],"events":[154,174],"\u03c3-algebras":[157],"\u03a9":[158,161,164,188,191,194,326,332,338],"see":[167,196,238,270,314,341,512,650],"theorems":[168,342,651],"(22)":[169],"(23).":[171],"The":[172,182,429,488,520,656,668],"necessary":[176],"creating":[178],"our":[179,628,642],"next":[180,574],"functions.":[181],"implementations":[183],"take":[184],"form":[186],"of:":[187],"\u2282":[190,193],"theorem":[197,239,271,315,366],"(24).":[198],"This":[199,570],"tells":[200],"us":[201,515,523],"growing":[202],"from":[204],"future":[208],"1=now,":[209],"2=tomorrow,":[210],"3=the":[211],"tomorrow.":[214],"install":[216],"functions":[217,318,352,521,547],"f":[218,228,241,256,273,283,294,304,323,329,335],":":[219,230,243,258,275,285,296,306],"{1,":[220,508],"2,":[221,509],"3,":[222,303,510],"4}":[223],"\u2192":[224,232,245,260,277,287,298,308],"\u211d":[225],"as":[226,559,626],"following:":[227],"1":[229,250,324,388,407,438,491],"x":[231,244,248,252,259,263,267,276,280,286,290,297,301,307,311],"100,":[233,299],"\u2200x":[234],"\u2208":[235],"dom":[236],"f,":[237],"(36),":[240],"2":[242,254,257,292,330,419,450],"80,":[246,288,416,457],"=":[249,253,264,268,281,291,302,312],"or":[251,266,610],"120,":[261,309],"3":[265,274,284,295,305,336,460,637],"4,":[269],"(37),":[272],"60,":[278,447],"1,":[282],"4":[313,471,624],"(38).":[316],"These":[317],"variable:":[322],"over":[325,331,337],"(46),":[343],"(43)":[344],"(40).":[346],"can":[348,353,604],"prove":[349],"that":[350,613],"these":[351,375],"be":[354],"used":[355],"giving":[357],"See":[365],"(49).":[367],"want":[369,632],"interpretation":[373],"functions:":[376],"suppose":[377],"you":[378,581,603],"have":[379,646],"equity":[381],"A":[382,394,433],"has":[384,413,425,444,477],"(=":[386,408,420,439,451,461,472],"w":[387,409,421,440,452,462,473,490],")":[389,411,423,442,454,464,475],"value":[391,415,427,446,456,466,479],"100.":[392],"Tomorrow":[393],"changes":[395,434],"depending":[396],"scenario":[398,406,418,437,449,459,470,518],"occurs":[399],"\u2212":[400],"e.g.":[401],"another":[402],"marketing":[403],"strategy.":[404],"11":[410,493],"it":[412,424,443,476],"12":[422,495],"120.":[428,480],"again.":[435],"111":[441,497],"112":[453,499],"121":[463,501],"100":[467],"122":[474,503],"visualization":[483],"refer":[484,548,561],"tree:":[487],",w":[492,494,496,498,500,502],"subsets":[506],"4},":[511],"(22),":[513],"tell":[514,522],"market":[517,529],"occurs.":[519],"values":[525],"relevant":[528],"scenario:":[530],"variable":[541],"relation":[544],"[7],":[550,563],"20.":[552],"proof":[555],"certain":[557],"\u03c3-fields":[560],"10-11":[565],"[9],":[567,688],"1-2.":[569],"is":[572,661,670],"step":[575],"arbitrage":[578,608],"opportunity.":[579],"If":[580,630],"use":[582],"simple":[586],"probability":[587],"measure,":[588],"refer,":[589],"literature":[593,618,664],"[3],":[594,665],"28-34,":[596],"[6],":[597],"6":[599],"232":[602],"calculate":[605],"whether":[606],"exists":[609],"not.":[611],"Note,":[612],"[3]":[619],"needs":[620],"8":[621],"instead":[622],"model.":[629],"code":[634],"first":[636],"time":[639],"points":[640],"into":[641],"model":[643],"would":[645],"following":[648],"graph,":[649],"(47),":[652],"(44)":[653],"(41):":[655],"function":[657,669],"\u201cCall-Option\u201d":[660],"28.":[667],"realized":[671],"Def.5.":[673],"As":[674],"background,":[676],"more":[677],"using":[680],"185-188.":[690]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}