Constructive mathematics reconsiders traditional foundational approaches by emphasising explicit constructions and algorithmic content rather than relying solely on non-constructive existence proofs.

Algebraic structures such as semirings and modules have long been a fertile ground for both theoretical exploration and practical application. Semirings, generalisations of rings that typically lack ...

AbstractIn this paper, we generalize some concepts of convex analysis such as convex functions and linear functions on hyper-structures. Based on new definitions we obtain some important results in ...

If you are interested in the real-world applications of numbers, discrete mathematics may be the concentration for you. Because discrete mathematics is the language of computing, it complements the ...