Chine début de la Foire du livre de Nanjing 2018

Authors and titles for August 2025

[1] arXiv:2508.00015 (cross-list from cs.LO) [pdf, other]

Title: Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2

Matt Kaufmann, J Strother Moore

Comments: In Proceedings ACL2 2025, arXiv:2507.18567

Journal-ref: EPTCS 423, 2025, pp. 56-59

Subjects: Logic in Computer Science (cs.LO); Mathematical Software (cs.MS)

[2] arXiv:2508.00269 (cross-list from math.CO) [pdf, html, other]

Title: chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Multigraphs

Dhyey Dharmendrakumar Mavani, Tairan Ji, Nathan Pflueger

Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Mathematical Software (cs.MS); Algebraic Geometry (math.AG)

[3] arXiv:2508.00441 (cross-list from cs.PF) [pdf, html, other]

Title: DGEMM without FP64 Arithmetic -- using FP64 Emulation and FP8 Tensor Cores with Ozaki Scheme

Daichi Mukunoki

Subjects: Performance (cs.PF); Hardware Architecture (cs.AR); Mathematical Software (cs.MS)