首页 > 最新文献

Mathematical Software – ICMS 2020最新文献

英文 中文
The Program Generation in the Software Package QextNewEdition 软件包中的程序生成QextNewEdition
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_18
I. Bouyukliev
{"title":"The Program Generation in the Software Package QextNewEdition","authors":"I. Bouyukliev","doi":"10.1007/978-3-030-52200-1_18","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_18","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116052100","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
-Integral Points on a Mordell Curve -莫德尔曲线上的积分点
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_4
F. Bianchi
{"title":"-Integral Points on a Mordell Curve","authors":"F. Bianchi","doi":"10.1007/978-3-030-52200-1_4","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_4","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125028293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Classifying Simplicial Dissections of Convex Polyhedra with Symmetry 对称凸多面体简单剖分的分类
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_14
Anton Betten, Tarun Mukthineni
{"title":"Classifying Simplicial Dissections of Convex Polyhedra with Symmetry","authors":"Anton Betten, Tarun Mukthineni","doi":"10.1007/978-3-030-52200-1_14","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_14","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116982537","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Formalization of Properties of Continuous Functions on Closed Intervals 闭区间上连续函数性质的形式化
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_27
Yaoshun Fu, Wensheng Yu
{"title":"A Formalization of Properties of Continuous Functions on Closed Intervals","authors":"Yaoshun Fu, Wensheng Yu","doi":"10.1007/978-3-030-52200-1_27","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_27","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134552726","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Evaluating Fractional Derivatives of the Riemann Zeta Function 计算黎曼ζ函数的分数阶导数
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_9
Ricky E. Farr, S. Pauli, F. Saidak
{"title":"Evaluating Fractional Derivatives of the Riemann Zeta Function","authors":"Ricky E. Farr, S. Pauli, F. Saidak","doi":"10.1007/978-3-030-52200-1_9","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_9","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134210308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Phase Portraits of Bi-dimensional Zeta Values 二维Zeta值的相位肖像
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_39
Olivier Bouillot
{"title":"Phase Portraits of Bi-dimensional Zeta Values","authors":"Olivier Bouillot","doi":"10.1007/978-3-030-52200-1_39","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_39","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123208415","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Chordality Preserving Incremental Triangular Decomposition and Its Implementation 保持弦性的增量三角分解及其实现
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_3
Changbo Chen
{"title":"Chordality Preserving Incremental Triangular Decomposition and Its Implementation","authors":"Changbo Chen","doi":"10.1007/978-3-030-52200-1_3","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_3","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126020976","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Classification Results for Hyperovals of Generalized Quadrangles 广义四边形超椭圆的分类结果
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_15
B. Bruyn
{"title":"Classification Results for Hyperovals of Generalized Quadrangles","authors":"B. Bruyn","doi":"10.1007/978-3-030-52200-1_15","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_15","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130251082","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Markov Transition Matrix Analysis of Mathematical Expression Input Models 数学表达式输入模型的马尔可夫转移矩阵分析
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_45
Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr
{"title":"Markov Transition Matrix Analysis of Mathematical Expression Input Models","authors":"Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr","doi":"10.1007/978-3-030-52200-1_45","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_45","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124056785","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Classification of Linear Codes by Extending Their Residuals 基于残差扩展的线性码分类
Pub Date : 2020-06-06 DOI: 10.1007/978-3-030-52200-1_17
S. Bouyuklieva, I. Bouyukliev
{"title":"Classification of Linear Codes by Extending Their Residuals","authors":"S. Bouyuklieva, I. Bouyukliev","doi":"10.1007/978-3-030-52200-1_17","DOIUrl":"https://doi.org/10.1007/978-3-030-52200-1_17","url":null,"abstract":"","PeriodicalId":350947,"journal":{"name":"Mathematical Software – ICMS 2020","volume":"509 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134203979","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
Mathematical Software – ICMS 2020
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1