发布求助
文献互助 智能选刊 最新文献

Mathematical Software – ICMS 2020最新文献

筛选
英文 中文
The Program Generation in the Software Package QextNewEdition 软件包中的程序生成QextNewEdition
Mathematical Software – ICMS 2020 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 -莫德尔曲线上的积分点
Mathematical Software – ICMS 2020 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 对称凸多面体简单剖分的分类
Mathematical Software – ICMS 2020 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 闭区间上连续函数性质的形式化
Mathematical Software – ICMS 2020 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 计算黎曼ζ函数的分数阶导数
Mathematical Software – ICMS 2020 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值的相位肖像
Mathematical Software – ICMS 2020 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 保持弦性的增量三角分解及其实现
Mathematical Software – ICMS 2020 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 广义四边形超椭圆的分类结果
Mathematical Software – ICMS 2020 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 数学表达式输入模型的马尔可夫转移矩阵分析
Mathematical Software – ICMS 2020 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 基于残差扩展的线性码分类
Mathematical Software – ICMS 2020 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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信