- First-order logic - Wikipedia
First-order logic is the standard for the formalization of mathematics into axioms, and is studied in the foundations of mathematics Peano arithmetic and Zermelo–Fraenkel set theory are axiomatizations of number theory and set theory, respectively, into first-order logic
- Indian mathematics - Wikipedia
The decimal number system in use today [3] was first recorded in Indian mathematics [4] Indian mathematicians made early contributions to the study of the concept of zero as a number, [5] negative numbers, [6] arithmetic, and algebra [7]
- Algebra - Wikipedia
Abstract algebra studies algebraic structures, which consist of a set of mathematical objects together with one or several operations defined on that set It is a generalization of elementary and linear algebra since it allows mathematical objects other than numbers and non-arithmetic operations
- Exponentiation - Wikipedia
In mathematics, exponentiation, denoted bn, is an operation involving two numbers: the base, b, and the exponent or power, n [1] When n is a positive integer, exponentiation corresponds to repeated multiplication of the base: that is, bn is the product of multiplying n bases: [1] In particular,
- Glossary of mathematical symbols - Wikipedia
Glossary of mathematical symbols A mathematical symbol is a figure or a combination of figures that is used to represent a mathematical object, an action on mathematical objects, a relation between mathematical objects, or for structuring the other symbols that occur in a formula or a mathematical expression
- Chinese mathematics - Wikipedia
The Nine Chapters on the Mathematical Art In the Han dynasty, numbers were developed into a place value decimal system and used on a counting board with a set of counting rods called rod calculus, consisting of only nine symbols with a blank space on the counting board representing zero [3] Negative numbers and fractions were also incorporated into solutions of the great mathematical texts of
- List of numerical libraries - Wikipedia
The NAG Library is a collection of mathematical and statistical routines for multiple programming languages (C, C++, Fortran, Visual Basic, Java, Python and C#) and packages (MATLAB, Excel, R, LabVIEW)
|