A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “closed subspaces” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Complex Bounded Operators in Isabelle/HOL
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Dominique Unruh, José Manuel Rodríguez Caballero

0

citations
Invariant zero sets for first and second order nonlinear ODE systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Melanie Harms

0

citations

2 results