Question

Why quantifier-free part of a PNF formula is called matrix?

score 114 · Answer 1 · 2026-04-03 17:59:54

114

Views

Why quantifier-free part of a PNF formula is called matrix?

Published on 03 Apr 2026 - 17:59

score 220 · Answer 2 · 2026-04-09 17:13:16

220

Views

Explanation of several remarks of Gauss on representations of a given number as sum of four squares.

Published on 09 Apr 2026 - 17:13

score 55 · Answer 3 · 2021-06-14 13:26:26

55

Views

Where can I find a complete original translation of the chakravala method?

Published on 14 Jun 2021 - 13:26

score 138 · Answer 4 · 2026-04-12 08:55:06

138

Views

Finitary reasoning and the distinction between mathematical and metamathematical theorems

Published on 12 Apr 2026 - 8:55

score 168 · Answer 5 · 2026-04-11 07:13:12

168

Views

Who decided to use $(a, b)$ for open intervals and $[a, b]$ for closed intervals?

Published on 11 Apr 2026 - 7:13

score 173 · Answer 6 · 2026-04-04 19:16:51

173

Views

What is a geometric demonstration of the harmonic and geometric means in Archimedes' approximation of π?

Published on 04 Apr 2026 - 19:16

score 99 · Answer 7 · 2021-06-22 06:35:53

99

Views

Multiply extended magnitude - encountered a notion barrier while reading the work of Riemann

Published on 22 Jun 2021 - 6:35

score 1.4k · Answer 8 · 2021-06-23 18:00:27

1.4k

Views

Symbol for Area: $S$ or $A$

Published on 23 Jun 2021 - 18:00

score 118 · Answer 9 · 2026-03-30 15:10:32

118

Views

Source for Peano article written in symbolic logic

Published on 30 Mar 2026 - 15:10

score 30 · Answer 10 · 2021-06-28 10:10:19

30

Views

First appearance of a normal distribution table in a publication

Published on 28 Jun 2021 - 10:10

score 148 · Answer 11 · 2026-04-12 21:07:39

148

Views

I'm confused about Leibniz's article about integrals in 1686.

Published on 12 Apr 2026 - 21:07

score 39 · Answer 12 · 2026-04-11 13:21:21

39

Views

Relationship between studying subgroups of automorphism group and studying isomorphism types

Published on 11 Apr 2026 - 13:21

score 78 · Answer 13 · 2026-04-03 19:28:28

78

Views

Roots of construing universal (existential) quantification as `long' conjunctions (disjunctions)

Published on 03 Apr 2026 - 19:28

score 268 · Answer 14 · 2021-07-07 20:39:14

268

Views

Was Grothendieck familiar with Buchsbaum's exact categories while writing Tohoku?

Published on 07 Jul 2021 - 20:39

score 293 · Answer 15 · 2026-04-12 17:59:17

293

Views

What is the origin and meaing of the term "Telescoping Series"?

Published on 12 Apr 2026 - 17:59

List Question

Why quantifier-free part of a PNF formula is called matrix?

Explanation of several remarks of Gauss on representations of a given number as sum of four squares.

Where can I find a complete original translation of the chakravala method?

Finitary reasoning and the distinction between mathematical and metamathematical theorems

Who decided to use $(a, b)$ for open intervals and $[a, b]$ for closed intervals?

What is a geometric demonstration of the harmonic and geometric means in Archimedes' approximation of π?

Multiply extended magnitude - encountered a notion barrier while reading the work of Riemann

Symbol for Area: $S$ or $A$

Source for Peano article written in symbolic logic

First appearance of a normal distribution table in a publication

I'm confused about Leibniz's article about integrals in 1686.

Relationship between studying subgroups of automorphism group and studying isomorphism types

Roots of construing universal (existential) quantification as `long' conjunctions (disjunctions)

Was Grothendieck familiar with Buchsbaum's exact categories while writing Tohoku?

What is the origin and meaing of the term "Telescoping Series"?

Trending Questions

Popular # Hahtags

Popular Questions