anti-unification 1completeness 1formal verification 1prototype verification system 1term rewriting 1theorem proving 1
From the 1 of 21 papers with an AI index.
12 citations
- Universidade Federal de Campina GrandeBR4 papers
- Universidade Estadual de Campinas (UNICAMP)BR3 papers
- Universidade Federal do TocantinsBR3 papers
- Universidade Federal FluminenseBR3 papers
- Canadian Quantum Research CenterCA2 papers
- Instituto Nacional de Pesquisas EspaciaisBR2 papers
- Peking UniversityCN2 papers
- Pontifícia Universidade Católica do Rio de JaneiroBR2 papers
- Universidade de São PauloBR2 papers
- Universidade Estadual da ParaíbaBR2 papers
- Universidade Federal da ParaíbaBR2 papers
- Universidade Federal de ViçosaBR2 papers
Showing quant-phShow all
2 papers · 1 filter
quant-ph2026
Characterizing resources for multiparameter estimation of SU(2) and SU(1,1) unitaries
Shaowei Du, Shuheng Liu, Frank E. S. Steinhoff +1
We analyze the task of estimating a multi-parameter unitary belonging to the or groups, in a two-bosonic-mode scenario and investigate the scaling of the precisio…
quant-ph2026★ 1 cited
Uncertainty relations: a small zoo of remarkable inequalities discovered since 1927
V. V. Dodonov
A concise review of various mathematical formulations of the uncertainty relations in quantum mechanics discovered since 1927 is given. Besides the traditional Heisenberg inequalit…