Concepedia

Pavel Pták

PP

20

Publications

383

Citations

13

H-Index

1981

Active since

Affiliations

Czech Technical University in Prague(Current)

University of Naples Federico II

Charles University

Pavel Pták is an author at Czech Technical University in Prague specializing in engineering, automated reasoning, and functional analysis.

Top concepts

EngineeringAutomated ReasoningFunctional AnalysisQuantum SciencePhysicsFormal MethodsComputer ScienceQuantum ComputingRepresentation TheoryMeasurement

Publications per year

1981–2015

20

Publications

20

A Completeness Criterion for Inner Product Spaces

Jan Hamhalter, Pavel Pták · Bulletin of the London Mathematical Society · 1987 · 42 citations

Linear Operator, Completeness Criterion, Incompleteness +5

Enlargements of quantum logics

Mirko Navara, Pavel Pták, Vladimír Rogalewicz · Pacific Journal of Mathematics · 1988 · 38 citations · Full text

Almost Boolean orthomodular posets

Mirko Navara, Pavel Pták · Journal of Pure and Applied Algebra · 1989 · 37 citations

Circuit Complexity, Boolean Orthomodular Posets, Engineering +3

QUANTUM LOGICS WITH JAUCH–PIRON STATES

L. J. Bunce, Mirko Navara, Pavel Pták et al. · The Quarterly Journal of Mathematics · 1985 · 28 citations

Quantum Science, Quantum Logic, Quantum Verification +15

Concrete Quantum Logics

Pavel Pták · International Journal of Theoretical Physics · 2000 · 24 citations

Rows per page

1–5 of 20