Sign in
A New Proof for Zassenhaus-Groemer-Oler inequality.
Qinghai Liu
Xiang Li
Lidong Wu
Hai Du
Zhao Zhang
Weili Wu
Xiaodong Hu
Yinfeng Xu
Published in:
Discret. Math. Algorithms Appl. (2012)
Keyphrases
</>
theorem proving
formal proof
linear logic
probabilistic model
interactive theorem proving
mathematical proofs
proof planning
natural deduction
description logics
data mining
artificial neural networks
expert systems
multiscale
similarity measure
image sequences
knowledge base
information systems
social networks