A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture

JOURNAL ARTICLE published 30 June 2022 in ACM Transactions on Mathematical Software

Research funded by German Federal Ministry of Education and Research (05M14ZAM, 05M20ZBM)

Authors: Leon Eifler | Ambros Gleixner | Jonad Pulaj

JOURNAL ISSUE published 15 June 2016 in ACM Transactions on Mathematical Software

JOURNAL ISSUE published 16 January 2017 in ACM Transactions on Mathematical Software

Algorithm 900

JOURNAL ARTICLE published January 2010 in ACM Transactions on Mathematical Software

Research funded by Secretaría de Ciencia, Tecnología e Innovación Productiva-SECYT (A06/STICAMSUD/02) | Directorate for Geosciences (GEO-0452325) | Inter-American Institute for Global Change Research (CRN II 2017)

Authors: Germ´n A. Torres

Algorithm 574: Shape-Preserving Osculatory Quadratic Splines [E1, E2]

JOURNAL ARTICLE published September 1981 in ACM Transactions on Mathematical Software

Authors: D. F. McAllister | J. A. Roulier

Squeezing the most out of an algorithm in CRAY FORTRAN

JOURNAL ARTICLE published 28 August 1984 in ACM Transactions on Mathematical Software

Authors: Jack J. Dongarra | Stanley C. Eisenstat

Algorithm 651

JOURNAL ARTICLE published September 1987 in ACM Transactions on Mathematical Software

Authors: Ronald F. Boisvert

A Reduced Gradient Algorithm for Nonlinear Network Problems

JOURNAL ARTICLE published March 1983 in ACM Transactions on Mathematical Software

Authors: P. Beck | L. Lasdon | M. Engquist

Algorithm 544: L2A and L2B, Weighted Least Squares Solutions by Modified Gram-Schmidt with Iterative Refinement [F4]

JOURNAL ARTICLE published December 1979 in ACM Transactions on Mathematical Software

Authors: Roy H. Wampler

An efficient overloaded implementation of forward mode automatic differentiation in MATLAB

JOURNAL ARTICLE published June 2006 in ACM Transactions on Mathematical Software

Authors: Shaun A. Forth

The mathematical basis and a prototype implementation of a new polynomial rootfinder with quadratic convergence

JOURNAL ARTICLE published September 1996 in ACM Transactions on Mathematical Software

Authors: T. E. Hull | R. Mathon

Algorithm 649

JOURNAL ARTICLE published March 1987 in ACM Transactions on Mathematical Software

Authors: G. Giunta | A. Murli

Remark on Algorithm 897

JOURNAL ARTICLE published June 2015 in ACM Transactions on Mathematical Software

Research funded by National Science Foundation (NSF/OCI-0941434, 0904782, 1047772) | Air Force Office of Scientific Research under the AFOSR (FA9550-12-1-0476)

Authors: Masha Sosonkina | Layne T. Watson | Jian He

Replicated Computational Results (RCR) Report for “BLIS: A Framework for Rapidly Instantiating BLAS Functionality”

JOURNAL ARTICLE published June 2015 in ACM Transactions on Mathematical Software

Authors: James M. Willenbring

Algorithm 936

JOURNAL ARTICLE published February 2014 in ACM Transactions on Mathematical Software

Authors: Fred T. Krogh

A Pthreads Wrapper for Fortran 2003

JOURNAL ARTICLE published April 2014 in ACM Transactions on Mathematical Software

Research funded by Swiss National Science Foundation (200021-132064)

Authors: Omar Awile | Ivo F. Sbalzarini

Stiffness detection and estimation of dominant spectrum with explicit Runge-Kutta methods

JOURNAL ARTICLE published December 1998 in ACM Transactions on Mathematical Software

Authors: Kersti Ekeland | Brynjulf Owren | Eivor Øines

Highly continuous Runge-Kutta interpolants

JOURNAL ARTICLE published September 1991 in ACM Transactions on Mathematical Software

Authors: D. J. Higham

A Versatile Precompiler for Nonstandard Arithmetics

JOURNAL ARTICLE published June 1979 in ACM Transactions on Mathematical Software

Authors: Fred D. Crary

ChASE

JOURNAL ARTICLE published 30 June 2019 in ACM Transactions on Mathematical Software

Research funded by Deutsche Forschungsgemeinschaft (GSC 111)

Authors: Jan Winkelmann | Paul Springer | Edoardo Di Napoli