{"id":"https://openalex.org/W4414399848","doi":"https://doi.org/10.1134/s0361768825700173","title":"Application of Monadic Calculations in Solving Numerical Problems","display_name":"Application of Monadic Calculations in Solving Numerical Problems","publication_year":2025,"publication_date":"2025-09-22","ids":{"openalex":"https://openalex.org/W4414399848","doi":"https://doi.org/10.1134/s0361768825700173"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768825700173","is_oa":true,"landing_page_url":"https://doi.org/10.1134/s0361768825700173","pdf_url":"https://link.springer.com/content/pdf/10.1134/S0361768825700173.pdf","source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261","3034-5847"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1134/S0361768825700173.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037268844","display_name":"\u041c\u0438\u0445\u0430\u0438\u043b \u041c\u0438\u0445\u0430\u0439\u043b\u043e\u0432\u0438\u0447 \u041a\u0440\u0430\u0441\u043d\u043e\u0432","orcid":"https://orcid.org/0000-0001-7988-6323"},"institutions":[{"id":"https://openalex.org/I86427540","display_name":"Keldysh Institute of Applied Mathematics","ror":"https://ror.org/01dv3hq14","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210124601","https://openalex.org/I86427540"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"M. M. Krasnov","raw_affiliation_strings":["Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Miusskaya pl. 4, 125047, Moscow, Russia"],"raw_orcid":"https://orcid.org/0000-0001-7988-6323","affiliations":[{"raw_affiliation_string":"Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Miusskaya pl. 4, 125047, Moscow, Russia","institution_ids":["https://openalex.org/I86427540"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5037268844"],"corresponding_institution_ids":["https://openalex.org/I86427540"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.33549514,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"5","first_page":"297","last_page":"304"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12661","display_name":"Iterative Methods for Nonlinear Equations","score":0.902999997138977,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12661","display_name":"Iterative Methods for Nonlinear Equations","score":0.902999997138977,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6209999918937683},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6064000129699707},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5957000255584717},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.5778999924659729},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.46799999475479126},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.39750000834465027},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.3718000054359436},{"id":"https://openalex.org/keywords/functional-reactive-programming","display_name":"Functional reactive programming","score":0.3716000020503998}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6535999774932861},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6209999918937683},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6064000129699707},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5957000255584717},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.5778999924659729},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48809999227523804},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.46799999475479126},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.39750000834465027},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3970000147819519},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.3718000054359436},{"id":"https://openalex.org/C119489759","wikidata":"https://www.wikidata.org/wiki/Q5508843","display_name":"Functional reactive programming","level":5,"score":0.3716000020503998},{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.358599990606308},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.35269999504089355},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.31540000438690186},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.30649998784065247},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.29980000853538513},{"id":"https://openalex.org/C32802771","wikidata":"https://www.wikidata.org/wiki/Q2443617","display_name":"Port (circuit theory)","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.2831000089645386},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.2825999855995178},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.26840001344680786},{"id":"https://openalex.org/C77781355","wikidata":"https://www.wikidata.org/wiki/Q223335","display_name":"Structured programming","level":2,"score":0.26429998874664307},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2551000118255615},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768825700173","is_oa":true,"landing_page_url":"https://doi.org/10.1134/s0361768825700173","pdf_url":"https://link.springer.com/content/pdf/10.1134/S0361768825700173.pdf","source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261","3034-5847"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1134/s0361768825700173","is_oa":true,"landing_page_url":"https://doi.org/10.1134/s0361768825700173","pdf_url":"https://link.springer.com/content/pdf/10.1134/S0361768825700173.pdf","source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261","3034-5847"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414399848.pdf","grobid_xml":"https://content.openalex.org/works/W4414399848.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1558288195","https://openalex.org/W2575751031","https://openalex.org/W2761982636","https://openalex.org/W2990119155","https://openalex.org/W3022754830","https://openalex.org/W3091207059","https://openalex.org/W4210839962","https://openalex.org/W4248294582","https://openalex.org/W4398211446"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2,49],"continues":[3],"our":[4],"research":[5],"on":[6,34,51],"the":[7,57,78],"application":[8],"of":[9,42,56,60,80,89,100],"functional":[10,17,61],"programming":[11,18,62],"to":[12,23,70,86],"numerical":[13],"methods.":[14],"In":[15,92],"particular,":[16],"can":[19],"help":[20],"port":[21],"programs":[22],"graphics":[24],"accelerators":[25],"that":[26],"support":[27],"CUDA.":[28],"Our":[29],"previous":[30],"work":[31],"was":[32,45],"focused":[33],"functors":[35],"(and":[36],"applicative":[37],"functors).":[38],"The":[39],"theoretical":[40],"foundation":[41],"monadic":[43,106],"calculations":[44],"outlined,":[46],"so":[47],"this":[48],"focuses":[50],"their":[52],"practical":[53],"application.":[54],"One":[55],"basic":[58],"principles":[59],"is":[63],"function":[64],"composition,":[65],"which":[66],"allows":[67],"complex":[68,81,90],"functions":[69],"be":[71],"built":[72],"from":[73],"simple":[74],"ones,":[75],"thus":[76],"facilitating":[77],"development":[79],"programs.":[82],"Monads":[83],"allow":[84],"one":[85],"construct":[87],"chains":[88,96],"computations.":[91],"a":[93,104],"sense,":[94],"these":[95],"are":[97],"also":[98],"compositions":[99],"functions,":[101],"but":[102],"at":[103],"higher,":[105],"level":[107],"(monadic":[108],"composition).":[109]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}
