MATH
Login Or Sign up

List Question

15
1.5k
Views

Getting to know the Mizar Mathematical Library

Published on
#soft-question #theorem-provers
350
Views

First Order Logic knowledge base problem

Published on
#first-order-logic #predicate-logic #automated-theorem-proving #theorem-provers #finite-state-machine
169
Views

Combinatorics sum to 1 using Identity

Published on
#combinatorics #theorem-provers
209
Views

Sharkovsky's theorem, period 4 implies period 2

Published on
#dynamical-systems #periodic-functions #fixed-points #theorem-provers
539
Views

How to prove that the XOR problem for dimension d is not lineary seperable

Published on
#systems-of-equations #neural-networks #theorem-provers
503
Views

How to Prove The Complement Of The Domain Is Complement Of The Image If f Is Bijective

Published on
#functions #discrete-mathematics #theorem-provers
53
Views

Is it sufficient to prove $P(x) \geq a$ if we already know $P(x) > a$?

Published on
#discrete-mathematics #theorem-provers
229
Views

predecessor and multiplication prove

Published on
#computer-science #lambda-calculus #theorem-provers
67
Views

Prove of a theorem of a geometrical place

Published on
#euclidean-geometry #triangles #geometric-transformation #theorem-provers
182
Views

Cosets form a group if normal subgroup

Published on
#abstract-algebra #normal-subgroups #theorem-provers
37
Views

Prove: $\forall x ( R(x,x) \to R(a,a))$

Published on
#theorem-provers
499
Views

Why typeclasses rather than inductive types to define mathematical structures in Lean?

Published on
#formal-proofs #type-theory #computer-assisted-proofs #theorem-provers
89
Views

Proving the equation using binomial theorem

Published on
#binomial-theorem #theorem-provers
43
Views

formal definition prove for $\lim_{a \to \infty} \{a_n\} = a$ also applies to $\{-a_n\} \to -a$

Published on
#limits #convergence-divergence #theorem-provers
255
Views

Why is automated proof checking so hard?

Published on
#theorem-provers

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.