Question

Is this a well defined problem in terms of Euclidean Geometry?

score 115 · Answer 1 · 2016-03-30 19:29:54

115

Views

Is this a well defined problem in terms of Euclidean Geometry?

Published on 30 Mar 2016 - 19:29

score 167 · Answer 2 · 2016-04-10 20:57:40

167

Views

Unary predicate for finite number of values

Published on 10 Apr 2016 - 20:57

score 53 · Answer 3 · 2026-02-26 23:25:30

53

Views

The right way of defining a predicate

Published on 26 Feb 2026 - 23:25

score 104 · Answer 4 · 2016-05-12 19:43:19

104

Views

If finitely many algebraic identities do not imply some identity, is there always a finite counterexample?

Published on 12 May 2016 - 19:43

score 1k · Answer 5 · 2016-06-24 15:41:12

1k

Views

Could mathematical reasoning be non-axiomatic?

Published on 24 Jun 2016 - 15:41

score 972 · Answer 6 · 2026-03-25 05:59:10

972

Views

natural language proof assistant

Published on 25 Mar 2026 - 5:59

score 132 · Answer 7 · 2026-02-23 02:59:21

132

Views

An Auto-Generated Cartography of Mathematical Theories: Has it been done already?

Published on 23 Feb 2026 - 2:59

score 1.9k · Answer 8 · 2026-03-25 05:59:03

1.9k

Views

Automatic theorem prover for proving simple theorems?

Published on 25 Mar 2026 - 5:59

score 90 · Answer 9 · 2014-01-20 09:34:11

90

Views

Using an automatic tool for checking geometric conjectures

Published on 20 Jan 2014 - 9:34

score 187 · Answer 10 · 2014-03-08 05:28:05

187

Views

Some questions about strict tableau in propositional calculus (raising from a book by Melvin Fitting)

Published on 08 Mar 2014 - 5:28

score 112 · Answer 11 · 2017-04-21 10:36:31

112

Views

Want to clarify and check DFA and NFA attempt

Published on 21 Apr 2017 - 10:36

score 228 · Answer 12 · 2017-05-15 12:28:37

228

Views

What mathematics cannot be done in proof assitants (Isabelle/HOL, HOL) and how proof assistants should be improved?

Published on 15 May 2017 - 12:28

score 378 · Answer 13 · 2017-05-18 08:10:23

378

Views

How Mathematica differs from proof assistants, i.e. is it possible to embedd logics in Mathematica?

Published on 18 May 2017 - 8:10

score 227 · Answer 14 · 2017-05-26 17:01:16

227

Views

Understanding the useness of Classification of finite simple groups

Published on 26 May 2017 - 17:01

score 200 · Answer 15 · 2026-03-25 06:04:09

200

Views

Interactive proof assistants (IPA) and automated theorem provers (ATP) for analysis and variational calculus?

Published on 25 Mar 2026 - 6:04

List Question

Is this a well defined problem in terms of Euclidean Geometry?

Unary predicate for finite number of values

The right way of defining a predicate

If finitely many algebraic identities do not imply some identity, is there always a finite counterexample?

Could mathematical reasoning be non-axiomatic?

natural language proof assistant

An Auto-Generated Cartography of Mathematical Theories: Has it been done already?

Automatic theorem prover for proving simple theorems?

Using an automatic tool for checking geometric conjectures

Some questions about strict tableau in propositional calculus (raising from a book by Melvin Fitting)

Want to clarify and check DFA and NFA attempt

What mathematics cannot be done in proof assitants (Isabelle/HOL, HOL) and how proof assistants should be improved?

How Mathematica differs from proof assistants, i.e. is it possible to embedd logics in Mathematica?

Understanding the useness of Classification of finite simple groups

Interactive proof assistants (IPA) and automated theorem provers (ATP) for analysis and variational calculus?

Trending Questions

Popular # Hahtags

Popular Questions