mechanized

v.

使（过程、工厂等）机械化( mechanize的过去式和过去分词 )；

1. The step by which a new axiom is added cannot itself be mechanized.
   一个新公理得以产生，但产生公理的这个步骤自身却非机械的。
2. A high-pitched whirring sound begins, and a mechanized double-pronged probe pushes itself into his nose.
   一阵高频的呼呼声开始响起，一个机械的双分叉头的探针被推进了他的鼻子。

Light-operated mechanized nanoparticles.
Mechanized Metatheory for the Masses: The PoplMark Challenge
Mechanized Metatheory for the Masses: The PoplMark Challenge
Mechanized Metatheory for the Masses: The PoplMark Challenge
pH clock-operated mechanized nanoparticles.
Edinburgh LCF. A mechanized logic of computation
Mechanized Silica Nanoparticles: A New Frontier in Theranostic Nanomedicine
Prolegomena to a theory of mechanized formal reasoning
A Computationally Sound Mechanized Prover for Security Protocols
Noninvasive Remote-Controlled Release of Drug Molecules in Vitro Using Magnetic Actuation of Mechanized Nanoparticles