MATH
Login Or Sign up

List Question

15
1.5k
Views

Getting to know the Mizar Mathematical Library

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

First Order Logic knowledge base problem

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

Combinatorics sum to 1 using Identity

Published on
#combinatorics #theorem-provers
214
Views

Sharkovsky's theorem, period 4 implies period 2

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

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

Published on
#systems-of-equations #neural-networks #theorem-provers
509
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
60
Views

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

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

predecessor and multiplication prove

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

Prove of a theorem of a geometrical place

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

Cosets form a group if normal subgroup

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

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

Published on
#theorem-provers
505
Views

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

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

Proving the equation using binomial theorem

Published on
#binomial-theorem #theorem-provers
47
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
263
Views

Why is automated proof checking so hard?

Published on
#theorem-provers

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.