{"title":"OSCAR 中的可确认工作流程","authors":"Michael Joswig, Lars Kastner, Benjamin Lorenz","doi":"arxiv-2404.06241","DOIUrl":null,"url":null,"abstract":"We discuss what is special about the reproducibility of workflows in computer\nalgebra. It is emphasized how the programming language Julia and the new\ncomputer algebra system OSCAR support such a reproducibility, and how users can\nbenefit for their own work.","PeriodicalId":501256,"journal":{"name":"arXiv - CS - Mathematical Software","volume":"25 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Confirmable Workflows in OSCAR\",\"authors\":\"Michael Joswig, Lars Kastner, Benjamin Lorenz\",\"doi\":\"arxiv-2404.06241\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We discuss what is special about the reproducibility of workflows in computer\\nalgebra. It is emphasized how the programming language Julia and the new\\ncomputer algebra system OSCAR support such a reproducibility, and how users can\\nbenefit for their own work.\",\"PeriodicalId\":501256,\"journal\":{\"name\":\"arXiv - CS - Mathematical Software\",\"volume\":\"25 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-04-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Mathematical Software\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2404.06241\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Mathematical Software","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2404.06241","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
我们讨论了计算代数中工作流程可重现性的特殊之处。我们强调了编程语言 Julia 和新的计算机代数系统 OSCAR 如何支持这种可重现性,以及用户如何从自己的工作中获益。
We discuss what is special about the reproducibility of workflows in computer
algebra. It is emphasized how the programming language Julia and the new
computer algebra system OSCAR support such a reproducibility, and how users can
benefit for their own work.