{"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":1.0799,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87687639,"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,576,589],"give":[3,37,94,125,145,343],"an":[4,146,330,333,344,352,552],"implementation":[5],"in":[6,111,116,151,385,412,420,429,562,572,608,617,632],"Mizar":[7],"[2]":[8],"basic":[9],"important":[10],"definitions":[11,77],"of":[12,86,452,480,483,501,568,628],"stochastic":[13,23,30,73,80,335],"finance,":[14],"i.e.":[15],"filtration":[16,629],"([9],":[17,25],"pp.":[18,113,118,509,513,540,634],"183":[19],"and":[20,28,41,99,115,136,156,161,241,276,317,428,487,511,545,599],"185),":[21],"adapted":[22,334],"process":[24,31,81],"p.":[26,33,496,543,546,611],"185)":[27],"predictable":[29],"([6],":[32],"224).":[34],"Second":[35],"some":[38,149],"concrete":[39],"formalization":[40],"verification":[42],"to":[43,52,60,103,128,194,342,346,443,471,490,494,507,521,537,578],"real":[44,96,301],"world":[45,97],"examples.":[46],"In":[47,375,402],"article":[48,516],"[8]":[49],"started":[51],"define":[53,71],"random":[54,302,485],"variables":[55],"for":[56,148,168,233,247,263,272,282,291,328,332,528,535,603,624],"a":[57,90,95,440,477,530,620],"similar":[58,107],"presentation":[59],"the":[61,72,84,101,104,137,152,176,195,360,382,392,409,417,425,436,444,469,472,481,484,488,491,499,518,522,559,580,592,604,626],"book":[62],"[6].":[63],"Here":[64],"continue":[66],"this":[67],"study.":[68],"Next":[69],"process.":[74,336],"For":[75,439,476,498],"further":[76],"based":[78],"on":[79],"implement":[83],"definition":[85,482,627],"filtration.":[87],"To":[88],"get":[89],"better":[91,478],"understanding":[92,479],"example":[98,331,529,536,560],"connect":[100],"statements":[102],"theorems.":[105],"Other":[106],"examples":[108,623],"are":[109,166,300,450,630],"given":[110,164,561,583,607,631],"[10],":[112],"143-159":[114],"[12],":[117],"110-124.":[119],"introduce":[122],"sets":[123,447,503],"which":[124,355,367,449,461],"informations":[126,191,570],"referring":[127],"today":[129],"(\u03a9now,":[130],"Def.6),":[131],"tomorrow":[132,140,398],"(\u03a9fut1":[133],",":[134,142],"Def.7)":[135],"day":[138,200,396],"after":[139,201,397],"(\u03a9fut2":[141],"Def.8).":[143],"We":[144,203,319,340],"overview":[147],"events":[150,165],"\u03c3-algebras":[153],"\u03a9now,":[154,306],"\u03a9fut1":[155,181],"\u03a9fut2,":[157,312],"see":[158,184,225,255,295,313,457,595],"theorems":[159,314,596],"(22)":[160],"(23).":[162],"The":[163,173,395,446,465,601,613],"necessary":[167],"creating":[169],"our":[170,573,587],"next":[171,519],"functions.":[172],"implementations":[174],"take":[175],"form":[177],"of:":[178],"\u03a9now":[179],"\u2282":[180,182],"\u03a9fut2":[183],"theorem":[185,226,256,296,338],"(24).":[186],"This":[187,515],"tells":[188],"us":[189,460,468],"growing":[190],"from":[192],"now":[193,357],"future":[196],"1=now,":[197],"2=tomorrow,":[198],"3=the":[199],"tomorrow.":[202],"install":[204],"functions":[205,299,324,466,492],"f":[206],":":[207,217,229,243,259,268,278,287],"{1,":[208,453],"2,":[209,454],"3,":[210,285,455],"4}":[211],"\u2192":[212,219,231,245,261,270,280,289],"\u211d":[213],"as":[214,504,571],"following:":[215],"f1":[216,304],"x":[218,230,234,238,244,248,252,260,264,269,273,279,283,288,292],"100,":[220,281],"\u2200x":[221],"\u2208":[222],"dom":[223],"f,":[224],"(36),":[227],"f2":[228,242,307],"80,":[232,271,384,419],"=":[235,239,249,253,265,274,284,293],"1":[236,377,404],"or":[237,251,555],"2":[240,275,387,414],"120,":[246,290],"3":[250,422,582],"4,":[254],"(37),":[257],"f3":[258,267,277,286,310],"60,":[262,411],"1,":[266],"4":[294,431,569],"(38).":[297],"These":[298],"variable:":[303],"over":[305,308,311],"\u03a9fut1,":[309],"(46),":[315],"(43)":[316],"(40).":[318],"can":[320,325,549],"prove":[321],"that":[322,558],"these":[323,347],"be":[326],"used":[327],"giving":[329],"See":[337],"(49).":[339],"want":[341,577],"interpretation":[345],"functions:":[348],"suppose":[349],"you":[350,526,548],"have":[351,591],"equity":[353],"A":[354,364,399],"has":[356,381,391,408,435],"(=":[358,378,388,405,415,423,432],"w1)":[359],"value":[361,383,393,410,418,426,437],"100.":[362],"Tomorrow":[363],"changes":[365,400],"depending":[366],"scenario":[368,376,386,403,413,421,430,463],"occurs":[369],"\u2212":[370],"e.g.":[371],"another":[372],"marketing":[373],"strategy.":[374],"w11)":[379],"it":[380,390,407,434],"w12)":[389],"120.":[394,438],"again.":[401],"w111)":[406],"w112)":[416],"w121)":[424],"100":[427],"w122)":[433],"visualization":[441],"refer":[442,493,506],"tree:":[445],"w1,w11,w12,w111,w112,w121,w122":[448],"subsets":[451],"4},":[456],"(22),":[458],"tell":[459,467],"market":[462,474],"occurs.":[464],"values":[470],"relevant":[473],"scenario:":[475],"variable":[486],"relation":[489],"[7],":[495,508],"20.":[497],"proof":[500],"certain":[502],"\u03c3-fields":[505],"10-11":[510],"[9],":[512,633],"1-2.":[514],"is":[517,606,615],"step":[520],"arbitrage":[523,553],"opportunity.":[524],"If":[525,575],"use":[527],"simple":[531],"probability":[532],"measure,":[533],"refer,":[534],"literature":[538,563,609],"[3],":[539,610],"28-34,":[541],"[6],":[542],"6":[544],"232":[547],"calculate":[550],"whether":[551],"exists":[554],"not.":[556],"Note,":[557],"[3]":[564],"needs":[565],"8":[566],"instead":[567],"model.":[574],"code":[579],"first":[581],"time":[584],"points":[585],"into":[586],"model":[588],"would":[590],"following":[593],"graph,":[594],"(47),":[597],"(44)":[598],"(41):":[600],"function":[602,614],"\u201cCall-Option\u201d":[605],"28.":[612],"realized":[616],"Def.5.":[618],"As":[619],"background,":[621],"more":[622],"using":[625],"185-188.":[635]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}