WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
verb.
make mechanical
verb.
equip with armed and armored motor vehicles
verb.
make monotonous; make automatic or routine
Word Usage
"Jacques Fleuriot in his Ph.D. thesis (2001) automated the proof theory of nonstandard analysis and used it to mechanise some of the proofs in Newton's Principia."