Mathematical Software

Authors and titles for recent submissions

• Fri, 21 Jun 2024
• Wed, 19 Jun 2024
• Tue, 18 Jun 2024
• Mon, 17 Jun 2024
• Fri, 14 Jun 2024

See today's new changes

Fri, 21 Jun 2024 (showing 1 of 1 entries )

[1] arXiv:2406.14408 (cross-list from cs.AI) [pdf, html, other]

Title: FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Mathematical Software (cs.MS)

Wed, 19 Jun 2024

No updates for this time period.

Tue, 18 Jun 2024 (showing 4 of 4 entries )

[2] arXiv:2406.10862 [pdf, other]

Title: OpenCAEPoro: A Parallel Simulation Framework for Multiphase and Multicomponent Porous Media Flows

Shizhe Li, Chen-Song Zhang

Comments: 29 pages, 19 figures

Subjects: Mathematical Software (cs.MS)

[3] arXiv:2406.10271 [pdf, html, other]

Title: Enhancing non-Perl bioinformatic applications with Perl: Building novel, component based applications using Object Orientation, PDL, Alien, FFI, Inline and OpenMP

Christos Argyropoulos

Comments: 36 pages, 8 figures

Subjects: Mathematical Software (cs.MS); Software Engineering (cs.SE)

[4] arXiv:2406.10437 (cross-list from cs.GR) [pdf, html, other]

Title: Learning from landmarks, curves, surfaces, and shapes in Geomstats

Luís F. Pereira, Alice Le Brigant, Adele Myers, Emmanuel Hartman, Amil Khan, Malik Tuerkoen, Trey Dold, Mengyang Gu, Pablo Suárez-Serrato, Nina Miolane

Subjects: Graphics (cs.GR); Mathematical Software (cs.MS); Differential Geometry (math.DG)

[5] arXiv:2406.10301 (cross-list from q-bio.TO) [pdf, html, other]

Title: 12 Labours tools for developing Functional Tissue Units

Jagir R. Hussan

Subjects: Tissues and Organs (q-bio.TO); Mathematical Software (cs.MS); Dynamical Systems (math.DS)

Mon, 17 Jun 2024

No updates for this time period.

Fri, 14 Jun 2024 (showing 3 of 3 entries )

[6] arXiv:2406.09266 [pdf, html, other]

Title: SySTeC: A Symmetric Sparse Tensor Compiler

Radha Patel, Willow Ahrens, Saman Amarasinghe

Subjects: Mathematical Software (cs.MS)

[7] arXiv:2406.08646 [pdf, html, other]

Title: PETSc/TAO Developments for Early Exascale Systems

Richard Tran Mills, Mark Adams, Satish Balay, Jed Brown, Jacob Faibussowitsch, Toby Isaac, Matthew Knepley, Todd Munson, Hansol Suh, Stefano Zampini, Hong Zhang, Junchao Zhang

Comments: 15 pages, submitted to IJHPCA

Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC)

[8] arXiv:2406.09085 (cross-list from cs.SC) [pdf, html, other]

Title: A Symbolic Computing Perspective on Software Systems

Arthur C. Norman, Stephen M. Watt

Subjects: Symbolic Computation (cs.SC); Mathematical Software (cs.MS); Software Engineering (cs.SE)