1 citations · 1 across the 5 of their papers we have counts for
5 papers
Multiple Double Arithmetic on NVIDIA Tensor Cores
Howard Chen, Jan Verschelde
A multiple double is an unevaluated sum of doubles. An NVIDIA tensor core is a specialized high performance compute core for matrix multiplication. The Ampere A100, released in 202…
Multiword Arithmetic and Parallel Computing
Jan Verschelde
In many applications, the precision by the available hardware arithmetic is insufficient to guarantee accurate results. Multiword arithmetic is a special type of multiprecision ari…
Computing Linear Regions in Neural Networks with Skip Connections
Johnny Joyce, Jan Verschelde
Neural networks are important tools in machine learning. Representing piecewise linear activation functions with tropical arithmetic enables the application of tropical geometry. A…
Algebraic Representations for Faster Predictions in Convolutional Neural Networks
Johnny Joyce, Jan Verschelde
Convolutional neural networks (CNNs) are a popular choice of model for tasks in computer vision. When CNNs are made with many layers, resulting in a deep neural network, skip conne…
Tropical Algebraic Geometry in Maple, a preprocessing algorithm for finding common factors to multivariate polynomials with approximate coefficients
Danko Adrovic, Jan Verschelde
Finding a common factor of two multivariate polynomials with approximate coefficients is a problem in symbolic-numeric computing. Taking a tropical view on this problem leads to ef…