Pavel Pták - Concepedia

Author

Pavel Pták

Czech Technical University in Prague ORCID

Also Known As

P Ptk, P. PTÁK, P. Pták, Pavel Ptak, Pavel PtÁk, Pavel Pták, Ptak, P., Pták, Pavel

Publications

Citations

H-Index

Concepts

All Affiliations

Czech Technical University in Prague University of Naples Federico II Charles University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	115
2	Computer Science	2	2	23
3	Physics	2	2	42
4	Natural Sciences	1	1	28
5	Data Science	1	1	11

Pavel Pták

Publications

383

Citations

H-Index

Page 1

	Year	Citations
A Completeness Criterion for Inner Product Spaces Jan Hamhalter, Pavel Pták Bulletin of the London Mathematical Society Linear OperatorCompleteness CriterionIncompletenessHilbert SpacesNorm (Mathematics)	1987	42
Enlargements of quantum logics Mirko Navara, Pavel Pták, Vladimír Rogalewicz Pacific Journal of Mathematics	1988	38
Almost Boolean orthomodular posets Mirko Navara, Pavel Pták Journal of Pure and Applied Algebra Circuit ComplexityBoolean Orthomodular PosetsEngineeringBoolean FunctionAutomated Reasoning	1989	37
QUANTUM LOGICS WITH JAUCH–PIRON STATES L. J. Bunce, Mirko Navara, Pavel Pták, The Quarterly Journal of Mathematics Quantum ScienceQuantum LogicQuantum VerificationQuantum ComputingPhysics	1985	28
Concrete Quantum Logics Pavel Pták International Journal of Theoretical Physics	2000	24
Lattice properties of subspace families in an inner product space Pavel Pták, Hans Weber Proceedings of the American Mathematical Society Splitting SubspacesQuantum Lattice SystemRepresentation TheoryLattice PropertiesLattice (Order)	2001	23
Orthocomplemented Posets with a Symmetric Difference Milan Matoušek, Pavel Pták Order Order TheoryCombinatorial DesignPartially Ordered SetSymmetric Difference	2009	17
States on systems of sets that are closed under symmetric difference Anna De Simone, Mirko Navara, Pavel Pták Mathematische Nachrichten Quantum ScienceAlgebraic LogicNon-classical LogicEngineeringQuantum Computing	2015	16
A measure-theoretic characterization of Boolean algebras among orthomodular lattices Pavel Pták, Sylvia Pulmannová Commentationes Mathematicae Universitatis Carolinae	1994	16
Some nearly Boolean orthomodular posets Pavel Pták Proceedings of the American Mathematical Society Order TheoryMath XmlnsBoolean Orthomodular PosetsQuantum LogicBoolean Function	1998	16

Page 1