欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Quantum computer”的页面!
- ...U General Public License. QGIS lets you browse and create map data on your computer. It supports many common spatial data formats (e.g. ESRI ShapeFile, geotiff698字节(96个字) - 2023年3月8日 (三) 13:51
- *[https://www.mathstat.dal.ca/~selinger/quipper/ Quipper: A Scalable Quantum Programming Language] ...oo.com/cufp/2013/Redesigning-the-Computer-for-Security.pdf Redesigning the Computer for Security]11 KB(1,281个字) - 2023年4月23日 (日) 04:02
- *Quantum Computing Simulator for Maxima3 KB(285个字) - 2023年1月15日 (日) 02:28
- 15 KB(902个字) - 2023年12月28日 (四) 01:28
- *[https://github.com/peng-zhihui/Project-Quantum Project-Quantum 超迷你模块化卡片电脑计划] ...://github.com/armbian Armbian] Minimal Debian based Linux for single board computers3 KB(253个字) - 2023年12月23日 (六) 07:35
- {{SeeWikipedia|Quantum computing}} Quantum computing、量子计算、量子计算机、Quantum information、量子信息8 KB(675个字) - 2023年5月3日 (三) 09:39
- *[https://github.com/quil-lang Quil quantum programming language] *[https://github.com/fricas/fricas FriCAS] is a fork of the [[Axiom]] computer algebra system.15 KB(1,759个字) - 2023年3月4日 (六) 00:04
- *[[Computer vision|机器视觉]]和[[Machine translation|机器翻译]] *[[Computer graphics|计算机图形学]]、[[G3|游戏引擎]]、模型、模拟仿真10 KB(710个字) - 2023年3月24日 (五) 01:44
- Giving the Problem to a Computer(把问题交给计算机处理) *[http://www.quantum-chemistry-history.com/ Early Ideas in the History of Quantum Chemistry]6 KB(389个字) - 2023年7月24日 (一) 00:47
分享您的观点