Login / Signup
A short proof of the generalized Littlewood Tauberian theorem.
Ibrahim Çanak
Published in:
Appl. Math. Lett. (2010)
Keyphrases
</>
interactive theorem proving
von neumann
artificial intelligence
proof planning
real time
data sets
machine learning
search engine
information systems
decision trees
three dimensional
natural language
theorem prover
linear logic
eigenvalue problems