Roman Sikorski

Publications

723

Citations

H-Index

1947

Active since

Affiliations

Wroclaw University of Applied Informatics "Horizon"(Current)

Roman Sikorski is an author at Wroclaw University of Applied Informatics "Horizon" specializing in functional analysis, automated reasoning, and engineering.

Top concepts

Functional AnalysisEngineeringAutomated ReasoningClassicsGeometryProbabilityVerificationFormal MethodsSatisfiabilitySpectral Theory

Publications per year

1947–1972

Publications

A proof of the completeness theorem of Grödel

Helena Rasiowa, Roman Sikorski · Fundamenta Mathematicae · 1950 · 144 citations · Full text

Real Algebraic Geometry, Algebraic Analysis, Completeness Theorem +1

Abstract covariant derivative

Roman Sikorski · Colloquium Mathematicum · 1967 · 97 citations · Full text

Riemannian Geometry, Global Analysis, Abstract Covariant Derivative +1

Remarks on some topological spaces of high power

Roman Sikorski · Fundamenta Mathematicae · 1950 · 75 citations · Full text

Topological Property, High Power, Set-theoretic Topology +1

Algebraic treatment of the notion of satisfiability

Helena Rasiowa, Roman Sikorski · Fundamenta Mathematicae · 1953 · 57 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +7

Differential modules

Roman Sikorski · Colloquium Mathematicum · 1971 · 45 citations · Full text

Rows per page

1–5 of 21