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

International Symposium on Symbolic and Algebraic Computation最新文献

筛选
英文 中文
A New Type of Dimension Polynomials of Inversive Difference Field Extensions 逆差分场扩展的新型维度多项式
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3669683
Alexander Levin
{"title":"A New Type of Dimension Polynomials of Inversive Difference Field Extensions","authors":"Alexander Levin","doi":"10.1145/3666000.3669683","DOIUrl":"https://doi.org/10.1145/3666000.3669683","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"2 3","pages":"126-133"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141641588","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
Reduction of Transcendental Decision Problems over the Reals 有理数上超越判定问题的还原
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3669675
Rizeng Chen, Bican Xia
{"title":"Reduction of Transcendental Decision Problems over the Reals","authors":"Rizeng Chen, Bican Xia","doi":"10.1145/3666000.3669675","DOIUrl":"https://doi.org/10.1145/3666000.3669675","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"49 14","pages":"56-64"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141643733","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
Encounters in Symbolic Computation: Ideas for the Ages 符号计算中的邂逅：时代的思想
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3672619
Erich Kaltofen
{"title":"Encounters in Symbolic Computation: Ideas for the Ages","authors":"Erich Kaltofen","doi":"10.1145/3666000.3672619","DOIUrl":"https://doi.org/10.1145/3666000.3672619","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"31 6","pages":"1-7"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141643858","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 New Sparse Polynomial GCD by Separating Terms 通过分离项实现新的稀疏多项式 GCD
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3669684
Michael B. Monagan, Qiao-Long Huang
{"title":"A New Sparse Polynomial GCD by Separating Terms","authors":"Michael B. Monagan, Qiao-Long Huang","doi":"10.1145/3666000.3669684","DOIUrl":"https://doi.org/10.1145/3666000.3669684","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"60 19","pages":"134-142"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141643950","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
Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty Corrigimus, verificamus, vincimus：在不确定的时代确保算法的准确性
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3672621
Daniel S. Roche
{"title":"Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty","authors":"Daniel S. Roche","doi":"10.1145/3666000.3672621","DOIUrl":"https://doi.org/10.1145/3666000.3672621","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"27 3","pages":"8-10"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141641389","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
Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting 用 FGLM 和 Hensel Lifting 计算多项式理想的通用纤维
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3669703
Jérémy Berthomieu, Rafael Mohr
{"title":"Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting","authors":"Jérémy Berthomieu, Rafael Mohr","doi":"10.1145/3666000.3669703","DOIUrl":"https://doi.org/10.1145/3666000.3669703","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"7 5","pages":"307-315"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141642785","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
Exploring the Geometric Buchberger Algorithm in Integer Programming 探索整数编程中的几何布赫伯格算法
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3669706
G. Langeloh
{"title":"Exploring the Geometric Buchberger Algorithm in Integer Programming","authors":"G. Langeloh","doi":"10.1145/3666000.3669706","DOIUrl":"https://doi.org/10.1145/3666000.3669706","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"1 4","pages":"334-341"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141642904","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
Preserving and Exploiting Symmetry in Algebraic Computation 在代数计算中保持和利用对称性
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3672624
Evelyne Hubert
{"title":"Preserving and Exploiting Symmetry in Algebraic Computation","authors":"Evelyne Hubert","doi":"10.1145/3666000.3672624","DOIUrl":"https://doi.org/10.1145/3666000.3672624","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"16 2","pages":"13"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141641462","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
Hybrid Symbolic-Numeric and Numerically-Assisted Symbolic Integration 符号-数值混合积分法和数值辅助符号积分法
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3669714
Shahriar Iravanian, Shashi Gowda, Christopher Rackauckas
{"title":"Hybrid Symbolic-Numeric and Numerically-Assisted Symbolic Integration","authors":"Shahriar Iravanian, Shashi Gowda, Christopher Rackauckas","doi":"10.1145/3666000.3669714","DOIUrl":"https://doi.org/10.1145/3666000.3669714","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"12 5","pages":"410-418"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141641797","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
Constant Depth Circuit Complexity for Generating Quasigroups 生成准群的恒定深度电路复杂性
International Symposium on Symbolic and Algebraic Computation Pub Date : 2024-07-16 DOI: 10.1145/3666000.3669691
Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiss
{"title":"Constant Depth Circuit Complexity for Generating Quasigroups","authors":"Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiss","doi":"10.1145/3666000.3669691","DOIUrl":"https://doi.org/10.1145/3666000.3669691","url":null,"abstract":"","PeriodicalId":243282,"journal":{"name":"International Symposium on Symbolic and Algebraic Computation","volume":"81 4","pages":"198-207"},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141643049","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
下一页 尾页
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学术官方微信