Artin's Theorem Towards the Existence of Algebraic Closures.

Christoph Schwarzweller

Published in: Formaliz. Math. (2022)

Keyphrases

fixed point theorem
fixed point
boundary value problem
boundary conditions
data sets
complementarity problems
real time
databases
real world
computer vision
web pages
higher order