[中国电影报道]“大表姐”苦练芭蕾新片《红雀》变身多面女间谍

Authors and titles for August 2025

Total of 3 entries

Showing up to 25 entries per page: fewer | more | all

[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)

Total of 3 entries

Showing up to 25 entries per page: fewer | more | all

骨骼闭合了还有什么办法可以长高hcv8jop7ns4r.cn	一什么虫子hcv9jop0ns4r.cn	香港是什么时候回归的hcv9jop0ns2r.cn	京五行属什么hcv7jop7ns0r.cn	攀龙附凤是什么生肖tiangongnft.com
一花一世界一叶一菩提是什么意思hcv8jop5ns0r.cn	小猫的特点是什么hcv8jop3ns8r.cn	胃火旺吃什么hcv9jop3ns2r.cn	冬阴功汤是什么味道hcv9jop5ns4r.cn	狮子座是什么星座hcv9jop4ns7r.cn
肚子胀疼是什么原因hcv7jop5ns4r.cn	star什么意思hcv9jop2ns7r.cn	月经前腰疼的厉害是什么原因hcv9jop5ns4r.cn	怀孕头三个月吃什么好imcecn.com	人参果长什么样hcv8jop1ns0r.cn
肠化十是什么意思liaochangning.com	中气不足是什么意思hcv8jop7ns5r.cn	什么样的伤口需要打破伤风针hcv9jop2ns3r.cn	饭后胃疼是什么原因hcv9jop6ns8r.cn	男生腿毛旺盛说明什么hcv9jop5ns2r.cn