Stochastic rounding (SR) randomly maps a real number x to one of the two nearest values in
a finite precision number system. The probability of choosing either of these two numbers is …

The SCIP Optimization Suite provides a collection of software packages for mathematical
optimization centered around the constraint integer programming frame-work SCIP. This …

The FEniCS Project is a collaborative project for the development of innovative concepts
and tools for automated scientific computing, with a particular focus on the solution of …

Computer-assisted proofs in PDE: a survey | SpringerLink Skip to main content
Advertisement SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home …

Today's floating-point arithmetic landscape is broader than ever. While scientific computing
has traditionally used single precision and double precision floating-point arithmetics, half …

SymPy is an open source computer algebra system written in pure Python. It is built with a
focus on extensibility and ease of use, through both interactive and programmatic …

We present ias15, a 15th-order integrator to simulate gravitational dynamics. The integrator
is based on a Gauß–Radau quadrature and can handle conservative as well as non …

Complex machine learning (ML) inference algorithms like recurrent neural networks (RNNs)
use standard functions from math libraries like exponentiation, sigmoid, tanh, and reciprocal …

Systems of polynomial equations are a common occurrence in problem formulations in
engineering, science, and mathematics. Solution sets of such systems, ie, algebraic sets, are …

The advent of modern DNA sequencing technology is the driving force in obtaining complete
intra-specific genomes that can be used to detect loci that have been subject to positive …