MMLKG:,

Dominik Tomaszuk1, Łukasz Szeremeta2, Artur Korniłowicz2

  • 1University of Bialystok, Faculty of Computer Science, Bialystok, 15-245, Poland. d.tomaszuk@uwb.edu.pl.

Scientific data
|November 10, 2023
PubMed
概括

本研究介绍了米扎尔数学图书馆知识图 (MMLKG),这是组织数学知识的新方法. MMLKG增强了Mizar数学图书馆 (MML) 的数据互操作性和可访问性.

相关概念视频

Relation between Mathematical Equations and Block Diagrams01:20

Relation between Mathematical Equations and Block Diagrams

In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.
383
Theorems of Pappus and Guldinus: Problem Solving01:12

Theorems of Pappus and Guldinus: Problem Solving

Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
746
Theorems of Pappus and Guldinus01:10

Theorems of Pappus and Guldinus

The two theorems developed by Pappus and Guldinus are widely used in mathematics, engineering, and physics to find the surface area and volume of any body of revolution. This is done by revolving a plane curve around an axis that does not intersect the curve to find its surface area or revolving a plane area around a non-intersecting axis to calculate its volume.
For finding the surface area, consider a differential line element that generates a ring with surface area dA when revolved.
2.0K
Natural and Artificial Concepts01:24

Natural and Artificial Concepts

In psychology, concepts can be divided into two categories: natural and artificial. Natural concepts are formed through direct or indirect experiences. For example, consider the concept of snow. If you live in a place with regular snowfall, such as Essex Junction, Vermont, you know snow through direct experiences. You’ve seen it fall, touched it, shoveled it, and played in it. You recognize its texture, appearance, and even its smell. In contrast, if you live on an island like Saint...
171
Dimensional Analysis02:19

Dimensional Analysis

The concept of dimension is important because every mathematical equation linking physical quantities must be dimensionally consistent, implying that mathematical equations must meet the following two rules. The first rule is that, in an equation, the expressions on each side of the equal sign must have the same dimensions. This is fairly intuitive since we can only add or subtract quantities of the same type (dimension). The second rule states that, in an equation, the arguments of any of the...
15.1K
Kirchhoff's Rules01:21

Kirchhoff's Rules

Gustav Kirchhoff (1824–1887) devised two rules known as Kirchhoff's rules to analyze complex circuits, which cannot be analyzed with series-parallel techniques. These rules can be used to analyze any circuit, simple or complex.
Kirchhoff's first rule is called the junction rule. A junction, also known as a node, is a connection of three or more wires. The rule states that the sum of all currents entering a junction must equal the sum of all currents leaving the junction.
4.7K