He wrote a technical paper about the analytical engine that was published in a Swiss journal.

他写了一篇关于分析机的技术论文，发表在瑞士的一本杂志上。

In fact, before computers were even built, she made mathematical proofs that can be characterized as the earliest computer programs for a machine called the difference engine and then the analytical engine.

实际上 早在计算机发明出来之前，她就先后为差分机和分析机做了数学证明，这个可以说是最早的计算机程序了。