Many systems for image manipulation, signal analysis, machine learning, and scientific computing make use of discrete convolutional filters that are known before computation begins. These contexts ...

Although algebra is a prerequisite for higher mathematics, few studies have examined the mathematical and cognitive capabilities that contribute to the development of algebra word problems solving ...

Objective: The aim of the present work was to investigate the use of verbal language applied to the solution of inverse function problems in comparison to the algebraic method in students of ...

Abstract: This paper presents an algebraic approach to functional verification of gate-level, integer arithmetic circuits. It is based on extracting a unique bit-level polynomial function computed by ...

Abstract: When implementing a function f in floating-point arithmetic, if we wish correct rounding and good performance, it is important to know if there are input floating-point values x such that ...

Important note: the package is being updated: a new subpackge, DalgSeq, is under construction. It will contains all commands for difference-algebraic sequences, including thre recent ...

Partition functions, which enumerate the distinct ways a positive integer may be expressed as a sum of positive integers, have long captivated mathematicians due to their deep connections with number ...

Prof. Dr. Eva Viehmann, investigator at Mathematics Münster, has been awarded the Gottfried Wilhelm Leibniz Prize 2024, the most highly endowed German research funding prize. The German Research ...