Mathematical Software

Authors and titles for November 2016

[1] arXiv:1611.00675 [pdf, other]

Title: emgr - The Empirical Gramian Framework

Christian Himpe

Journal-ref: Algorithms 11(7): 91, 2018

Subjects: Mathematical Software (cs.MS); Systems and Control (eess.SY); Optimization and Control (math.OC)

[2] arXiv:1611.01120 [pdf, other]

Title: Generating Families of Practical Fast Matrix Multiplication Algorithms

Jianyu Huang, Leslie Rice, Devin A. Matthews, Robert A. van de Geijn

Subjects: Mathematical Software (cs.MS)

[3] arXiv:1611.01534 [pdf, other]

Title: GFA: Exploratory Analysis of Multiple Data Sources with Group Factor Analysis

Eemeli Leppäaho, Muhammad Ammad-ud-din, Samuel Kaski

Subjects: Mathematical Software (cs.MS)

[4] arXiv:1611.02274 [pdf, other]

Title: GPU-Based Parallel Integration of Large Numbers of Independent ODE Systems

Kyle E Niemeyer, Chih-Jen Sung

Comments: 21 pages, 2 figures

Journal-ref: Numerical Computations with GPUs, Ch. 8 (2014) 159-182. V Kindratenko (Ed.)

Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Computational Physics (physics.comp-ph)

[5] arXiv:1611.02831 [pdf, other]

Title: Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic

Fredrik Johansson

Comments: 12 pages, 1 figure

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

[6] arXiv:1611.03423 [pdf, other]

Title: DiffSharp: An AD Library for .NET Languages

Atılım Güneş Baydin, Barak A. Pearlmutter, Jeffrey Mark Siskind

Comments: Extended abstract presented at the AD 2016 Conference, Sep 2016, Oxford UK

Subjects: Mathematical Software (cs.MS); Machine Learning (cs.LG)

[7] arXiv:1611.06892 [pdf, other]

Title: Bidiagonalization with Parallel Tiled Algorithms

Mathieu Faverge, Julien Langou, Yves Robert, Jack Dongarra

Subjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA); Rings and Algebras (math.RA)

[8] arXiv:1611.08035 [pdf, other]

Title: Automating the Last-Mile for High Performance Dense Linear Algebra

Richard Michael Veras, Tze Meng Low, Tyler Michael Smith, Robert van de Geijn, Franz Franchetti

Subjects: Mathematical Software (cs.MS)

[9] arXiv:1611.09567 [pdf, other]

Title: Moore: Interval Arithmetic in Modern C++

Walter F. Mascarenhas

Subjects: Mathematical Software (cs.MS)

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

Title: Binomial Checkpointing for Arbitrary Programs with No User Annotation

Jeffrey Mark Siskind, Barak A. Pearlmutter

Comments: Extended abstract presented at the AD 2016 Conference, Sep 2016, Oxford UK

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Mathematical Software (cs.MS)

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

Title: Efficient Implementation of a Higher-Order Language with Built-In AD

Jeffrey Mark Siskind, Barak A. Pearlmutter

Comments: Extended abstract presented at the AD 2016 Conference, Sep 2016, Oxford UK

Subjects: Programming Languages (cs.PL); Mathematical Software (cs.MS)

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

Title: A Case for Malleable Thread-Level Linear Algebra Libraries: The LU Factorization with Partial Pivoting

Sandra Catalán, José R. Herrero, Enrique S. Quintana-Ortí, Rafael Rodríguez-Sánchez, Robert van de Geijn

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

[13] arXiv:1611.06945 (cross-list from cs.NE) [pdf, other]

Title: A Metaprogramming and Autotuning Framework for Deploying Deep Learning Applications

Matthew W. Moskewicz, Ali Jannesari, Kurt Keutzer

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

[14] arXiv:1611.07819 (cross-list from cs.DC) [pdf, other]

Title: dMath: Distributed Linear Algebra for DL

Steven Eliuk, Cameron Upright, Hars Vardhan, Stephen Walsh, Trevor Gale

Comments: 5 pages. arXiv admin note: text overlap with arXiv:1604.01416

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

[15] arXiv:1611.08832 (cross-list from math.OC) [pdf, other]

Title: Verifying Integer Programming Results

Kevin K. H. Cheung, Ambros Gleixner, Daniel E. Steffy

Comments: Zuse Institute Berlin, Takustr. 7, 14195 Berlin, November 2016, this http URL

Journal-ref: In F. Eisenbrand and J. Koenemann, eds., Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017, pages 148-160, 2017

Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM); Mathematical Software (cs.MS)