3 citations
- Weihai Science and Technology BureauCN7 papers
- Weihai Municipal HospitalCN2 papers
- Clausthal University of TechnologyDE1 paper
- Graz University of TechnologyAT1 paper
- Harbin Institute of TechnologyCN1 paper
- Institut de recherche mathématique de RennesFR1 paper
- Shandong UniversityCN1 paper
- Shandong University of Science and TechnologyCN1 paper
- Shandong University of TechnologyCN1 paper
- Université de Bretagne OccidentaleFR1 paper
- Université de RennesFR1 paper
Showing 2013Show all
3 papers · 1 filter
cs.LO2013
Implementing program extraction from CL1-proofs
Meixia Qu, Ke Chen, Daming Zhu +1
Computability logic (CoL) is a formal theory of interactive computation. It understands computational problems as games played by two players: a machine and its environment, uses l…
math.SP2013★ 1 cited
A priori bounds and existence of non-real eigenvalues of indefinite Sturm-Liouville problems
Jiangang Qi, Shaozhu Chen
The present paper gives a priori bounds on the possible non-real eigenvalues of regular indefinite Sturm-Liouville problems and obtains sufficient conditions for such problems to a…
math.SP2013★ 1 cited
Estimates on the non-real eigenvalues of regular indefinite Sturm-Liouville problems
Jussi Behrndt, Shaozhu Chen, Friedrich Philipp +1
Regular Sturm-Liouville problems with indefinite weight functions may possess finitely many non-real eigenvalues. In this note we prove explicit bounds on the real and imaginary pa…