Skip to content
DraconiticResearch
Search Sources API
197,578 studies31 sourcesUpdated 41 min ago
PreprintLicence not statedHAL

Executable verification through formalized expert reasoning in astronomical spectroscopy

  • Haosong Wang
  • Ting Tan
  • Ji Yao
  • Jiajun Zhang
  • Qian Zheng
  • Christophe Yeche
  • Jean-Paul Kneib
  • Huanyuan Shan
Open at sourceCite

Related

  1. 3-Methoxy-1-propanol Rotational Spectroscopy and Radio Astronomical Search toward NGC 6334I
    D. Archie Stewart, Laurent Margulès, Roman A. Motiyenko +1
    arXivPreprintarXiv licenceFull textGalaxiesarXiv
  2. 3-methoxy-1-propanol Rotational Spectroscopy and Radio Astronomical Search toward NGC 6334I
    D. Archie Stewart, Laurent Margulès, Roman A. Motiyenko +1
    The Astrophysical JournalPeer-reviewedCC BY 4.0Full textSolar & stellar physicsCrossref
  3. Rotational spectroscopy and astronomical search of propane-1-thiol (CH3CH2CH2SH) and propane-2-thiol ((CH3)2CHSH)
    Wentao Song, Assimo Maris, Victor M. Rivilla +4
    arXivPreprintarXiv licenceFull textGalaxiesSolar & stellar physicsarXiv
  4. Multi-Method Machine Learning Classification of Astronomical Sources with Rubin Data Previews: a Spectroscopy-Free Approach with DP1 and DP2
    Andrés Alejandro Plazas Malagón, Yasna Ordenes-Briceño, Dan S. Taranu +8
    arXivPreprintCC BY 4.0Full textInstrumentation & methodsarXiv
  5. The Astronomical Hub: A Unified Ecosystem for Modern Astronomical Research
    Yerlan Aimuratov, Vitaliy Kim, Aleksander Serebryanskiy +10
    arXivPreprintCC BY 4.0Full textInstrumentation & methodsarXiv

Cite

BibTeXRIS
BibTeX
@misc{wang2026executable,
  title = {{Executable verification through formalized expert reasoning in astronomical spectroscopy}},
  author = {Haosong Wang and Ting Tan and Ji Yao and Jiajun Zhang and Qian Zheng and Christophe Yeche and Jean-Paul Kneib and Huanyuan Shan},
  howpublished = {HAL},
  year = {2026},
  month = sep,
  eprint = {2607.06128},
  archivePrefix = {arXiv},
  url = {https://hal.science/hal-05734221v1},
}
RIS
TY  - UNPB
TI  - Executable verification through formalized expert reasoning in astronomical spectroscopy
AU  - Haosong Wang
AU  - Ting Tan
AU  - Ji Yao
AU  - Jiajun Zhang
AU  - Qian Zheng
AU  - Christophe Yeche
AU  - Jean-Paul Kneib
AU  - Huanyuan Shan
PY  - 2026
DA  - 2026/09/01
PB  - HAL
UR  - https://hal.science/hal-05734221v1
ER  -