نتائج البحث

Exponential Objects.

• Authors : Riccardi, Marco¹

• Source: Formalized Mathematics. Dec2015, Vol. 23 Issue 4, p351-369. 19p.

تفاصيل العنوان

Basel Problem - Preliminaries.

• Authors : Korniłowicz, Artur; Pąk, Karol

Subjects: NATURAL numbers; MATHEMATICAL sequences; MATHEMATICAL complexes

• Source: Formalized Mathematics; Jul2017, Vol. 25 Issue 2, p141-147, 7p

تفاصيل العنوان

Term Context.

• Authors : Bancerek, Grzegorz

Subjects: ENDOMORPHISMS; MATHEMATICAL functions; NATURAL numbers

• Source: Formalized Mathematics; 2014, Vol. 22 Issue 2, p125-155, 31p

تفاصيل العنوان

Lagrange's Four-Square Theorem.

• Authors : Watase, Yasushige

Subjects: LAGRANGE equations; MATHEMATICS theorems; NATURAL numbers

• Source: Formalized Mathematics; 2014, Vol. 22 Issue 2, p105-110, 6p

تفاصيل العنوان

Exponential Objects

• Authors : Marco Riccardi

Subjects: Computational Mathematics; 03b35; Applied Mathematics

• Source: Formalized Mathematics, Vol 23, Iss 4, Pp 351-369 (2015)

تفاصيل العنوان

Commutativeness of Fundamental Groups of Topological Groups

• Authors : Artur Korniłowicz

Subjects: Fundamental group; Functor; topological group

• Source: Formalized Mathematics, Vol 21, Iss 2, Pp 127-131 (2013)

تفاصيل العنوان

Difference and Difference Quotient

• Authors : Xiquan Liang; Bo Li; Yan Zhang

Subjects: Combinatorics; Computational Mathematics; Functor

• Source: Formalized Mathematics, Vol 14, Iss 3, Pp 115-119 (2006)

تفاصيل العنوان

Cayley's Theorem

• Authors : Artur Korniłowicz

Subjects: Discrete mathematics; Cayley's theorem; Functor

• Source: Formalized Mathematics, Vol 19, Iss 4, Pp 223-225 (2011)

تفاصيل العنوان

Riemann Integral of Functions from R into Rn

• Authors : Yasunari Shidama; Keiichi Miyajima

Subjects: Functor; Applied Mathematics; Mathematical analysis

• Source: Formalized Mathematics, Vol 17, Iss 2, Pp 179-185 (2009)

تفاصيل العنوان

The Vector Space of Subsets of a Set Based on Symmetric Difference

• Authors : Jesse Alama

Subjects: Discrete mathematics; Functor; Function space

• Source: Formalized Mathematics, Vol 16, Iss 1, Pp 1-5 (2008)

تفاصيل العنوان