定理证明器论文

我国首个量子程序设计平台发布
论文摘要随着近年来量子计算机硬件的迅速发展，量子软件开发越来越受到市场的重视。12月20日，中国科学院软件研究所正式发布了国内第一个自主研发的较为完整的量子程序设计平台--is...