MATH
Login Or Sign up

List Question

15
1.9k
Views

What are the theorems of mathematics proved by a computer so far?

Published on
#logic #computer-science #big-list #automated-theorem-proving
132
Views

Knuth-Bendix ordering and the one unary function

Published on
#logic #automated-theorem-proving
759
Views

In a monoid, does $x \cdot y=e$ imply $y \cdot x=e$?

Published on
#abstract-algebra #automated-theorem-proving
402
Views

Inequalities of quotients of elementary symmetric polynomials

Published on
#inequality #automated-theorem-proving
1.8k
Views

Could computers someday discover theorems or find demonstrations?

Published on
#philosophy #automated-theorem-proving
329
Views

What does Equational Theorem Prover do?

Published on
#logic #automated-theorem-proving
150
Views

Equivalent statements

Published on
#automated-theorem-proving
246
Views

A question about a projection of a variety

Published on
#algebraic-geometry #automated-theorem-proving
173
Views

Would it be possible to concoct a "harmful" axiom?

Published on
#set-theory #computational-complexity #axioms #formal-systems #automated-theorem-proving
108
Views

Is it not impossible to define self-interpreter in Homotopy Type Theory?

Published on
#homotopy-type-theory #automated-theorem-proving
1.9k
Views

Direct proof - DROP-OUT (A) is a regular language

Published on
#solution-verification #automata #automated-theorem-proving
97
Views

Is there a proof system for first order logic that does not use premisses and auxiliary variables?

Published on
#proof-writing #solution-verification #first-order-logic #automated-theorem-proving
2.6k
Views

Proof Solver Geometry

Published on
#geometry #proof-writing #automated-theorem-proving #computer-assisted-proofs
104
Views

Can we prove any statement in the first order logic operating only in the space of prenex normal forms?

Published on
#logic #solution-verification #first-order-logic #automated-theorem-proving
47
Views

Why is this language regular?

Published on
#automata #automated-theorem-proving

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.