Mathematical Software (TOMS)


Search Issue
enter search term and/or author name


ACM Transactions on Mathematical Software (TOMS), Volume 42 Issue 2, June 2016

A Source Transformation via Operator Overloading Method for the Automatic Differentiation of Mathematical Functions in MATLAB
Matthew J. Weinstein, Anil V. Rao
Article No.: 11
DOI: 10.1145/2699456

A source transformation via operator overloading method is presented for computing derivatives of mathematical functions defined by MATLAB computer programs. The transformed derivative code that results from the method of this article computes a...

The BLIS Framework: Experiments in Portability
Field G. Van Zee, Tyler M. Smith, Bryan Marker, Tze Meng Low, Robert A. Van De Geijn, Francisco D. Igual, Mikhail Smelyanskiy, Xianyi Zhang, Michael Kistler, Vernon Austel, John A. Gunnels, Lee Killough
Article No.: 12
DOI: 10.1145/2755561

BLIS is a new software framework for instantiating high-performance BLAS-like dense linear algebra libraries. We demonstrate how BLIS acts as a productivity multiplier by using it to implement the level-3 BLAS on a variety of current...

A Competitive Divide-and-Conquer Algorithm for Unconstrained Large-Scale Black-Box Optimization
Yi Mei, Mohammad Nabi Omidvar, Xiaodong Li, Xin Yao
Article No.: 13
DOI: 10.1145/2791291

This article proposes a competitive divide-and-conquer algorithm for solving large-scale black-box optimization problems for which there are thousands of decision variables and the algebraic models of the problems are unavailable. We focus on...

What are the Correct Results for the Special Values of the Operands of the Power Operation?
Wafaa S. Sayed, Hossam A. H. Fahmy
Article No.: 14
DOI: 10.1145/2809783

Language standards such as C99 and C11, as well as the IEEE Standard for Floating-Point Arithmetic 754 (IEEE Std 754-2008) specify the expected behavior of binary and decimal floating-point arithmetic in computer-programming environments and the...

Algorithm 958: Lattice Builder: A General Software Tool for Constructing Rank-1 Lattice Rules
Pierre L'ecuyer, David Munger
Article No.: 15
DOI: 10.1145/2754929

We introduce a new software tool and library named Lattice Builder, written in C++, that implements a variety of construction algorithms for good rank-1 lattice rules. It supports exhaustive and random searches, as well as component-by-component...

Algorithm 959: VBF: A Library of C++ Classes for Vector Boolean Functions in Cryptography
José Antonio Álvarez-Cubero, Pedro J. Zufiria
Article No.: 16
DOI: 10.1145/2794077

VBF is a collection of C++ classes designed for analyzing vector Boolean functions (functions that map a Boolean vector to another Boolean vector) from a cryptographic perspective. This implementation uses the NTL library from Victor Shoup, adding...