Mathematical Software

Authors and titles for April 2013

[1] arXiv:1304.0878 [pdf, other]

Title: C Language Extensions for Hybrid CPU/GPU Programming with StarPU

Ludovic Courtès (INRIA Bordeaux - Sud-Ouest)

Journal-ref: N° RR-8278 (2013)

Subjects: Mathematical Software (cs.MS); Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC)

[2] arXiv:1304.1356 [pdf, other]

Title: The Graph Grammar Library - a generic framework for chemical graph rewrite systems

Martin Mann, Heinz Ekker, Christoph Flamm

Comments: Extended version of an abstract published in proceedings of the International Conference on Model Transformation (ICMT) 2013

Subjects: Mathematical Software (cs.MS); Computational Engineering, Finance, and Science (cs.CE); Biomolecules (q-bio.BM); Molecular Networks (q-bio.MN)

[3] arXiv:1304.5546 [pdf, other]

Title: Solving Wave Equations on Unstructured Geometries

Andreas Klöckner, Timothy Warburton, Jan S. Hesthaven

Comments: GPU Computing Gems, edited by Wen-mei Hwu, Elsevier (2011), ISBN 9780123859631, Chapter 18

Subjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)

[4] arXiv:1304.6782 [pdf, other]

Title: Minimal Residual Methods for Complex Symmetric, Skew Symmetric, and Skew Hermitian Systems

Sou-Cheng (Terrya)Choi

Comments: arXiv admin note: substantial text overlap with arXiv:1003.4042

Subjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)

[5] arXiv:1304.7053 [pdf, other]

Title: A GEMM interface and implementation on NVIDIA GPUs for multiple small matrices

Chetan Jhurani, Paul Mullowney

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

[6] arXiv:1304.7054 [pdf, other]

Title: Batched Kronecker product for 2-D matrices and 3-D arrays on NVIDIA GPUs

Chetan Jhurani

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

[7] arXiv:1304.7223 [pdf, other]

Title: Understanding Branch Cuts of Expressions

Matthew England, Russell Bradford, James H. Davenport, David Wilson

Comments: To appear in: Proceedings of Conferences on Intelligent Computer Mathematics (CICM '13) - Mathematical Knowledge Management (MKM) strand

Journal-ref: Intelligent Computer Mathematics. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961), 2013

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

[8] arXiv:1304.7855 [pdf, other]

Title: Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Matt Kaufmann (University of Texas at Austin), J Strother Moore (University of Texas at Austin)

Comments: In Proceedings ACL2 2013, arXiv:1304.7123

Journal-ref: EPTCS 114, 2013, pp. 5-12

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

[9] arXiv:1304.0864 (cross-list from cs.PL) [pdf, other]

Title: Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

Alexis Fouilhé (VERIMAG - IMAG), David Monniaux (VERIMAG - IMAG), Michaël Périn (VERIMAG - IMAG)

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

[10] arXiv:1304.1864 (cross-list from cs.NA) [pdf, other]

Title: Improved Accuracy and Parallelism for MRRR-based Eigensolvers -- A Mixed Precision Approach

Matthias Petschow (1), Enrique Quintana-Orti (2), Paolo Bientinesi (1), ((1) AICES, RWTH Aachen, (2) Universidad Jaume I)

Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)

[11] arXiv:1304.2272 (cross-list from cs.CE) [pdf, other]

Title: Algorithms for Large-scale Whole Genome Association Analysis

Elmar Peise (1), Diego Fabregat (1), Yurii Aulchenko (2), Paolo Bientinesi (1) ((1) AICES, RWTH Aachen, (2) Institute of Cytology and Genetics, Novosibirsk)

Subjects: Computational Engineering, Finance, and Science (cs.CE); Mathematical Software (cs.MS); Genomics (q-bio.GN)

[12] arXiv:1304.6899 (cross-list from cs.LG) [pdf, other]

Title: An implementation of the relational k-means algorithm

Balázs Szalkai

Comments: 8 pages

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Mathematical Software (cs.MS)

[13] arXiv:1304.7049 (cross-list from math.NA) [pdf, other]

Title: Subspace-preserving sparsification of matrices with minimal perturbation to the near null-space. Part I: Basics

Chetan Jhurani

Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)

[14] arXiv:1304.7050 (cross-list from math.NA) [pdf, other]

Title: Subspace-preserving sparsification of matrices with minimal perturbation to the near null-space. Part II: Approximation and Implementation

Chetan Jhurani

Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)

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

Title: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications

Ruben Gamboa (University of Wyoming, USA), Jared Davis (Centaur Technology, USA)

Journal-ref: EPTCS 114, 2013

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

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

Title: Verified AIG Algorithms in ACL2

Jared Davis (Centaur Technology), Sol Swords (Centaur Technology)

Comments: In Proceedings ACL2 2013, arXiv:1304.7123

Journal-ref: EPTCS 114, 2013, pp. 95-110

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