mechanise

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.

Model Theory Hodges, Wilfrid 2009

This triple-headed caricature of a future ideal for the world, with its claim to take possession of the race and mechanise its life for it, had to be broken, and with it passed away almost all the old phantoms of aristocracy and survivals of aristocratic monarchy which still lived on in an increasingly democratic Europe.

Archive 2008-12-01 Tusar N Mohapatra 2008

Wibbi we dropped the idea that personal service is something we can mechanise?

B2fxxx 2008

This triple-headed caricature of a future ideal for the world, with its claim to take possession of the race and mechanise its life for it, had to be broken, and with it passed away almost all the old phantoms of aristocracy and survivals of aristocratic monarchy which still lived on in an increasingly democratic Europe.

The human spirit has still to find itself, its idea and its greater orientation Tusar N Mohapatra 2008

· Liquid fuels and electricity to mechanise agriculture.

Chapter 10 2000

However, the associated mine workers union says employers were also taking advantage of the situation to cut back on labour and mechanise their operations.

ANC Daily News Briefing 1997

Other problems hampering food security in Africa include migration, the failure of attempts to mechanise in some countries and insufficient attention from governments.

ANC Daily News Briefing 1996

This step is difficult to mechanise because of the irregular size and shape of the rhizomes.

Chapter 26 1987

In St. Vincent, recent attempts to increase production to meet the increased demand from the USA for arrowroot starch for use in the manufacture of carbonless paper for computers have been handicapped by the shortage and cost of labour to harvest the crop, and there is an urgent need to mechanise field production.

Chapter 10 1987

Obviously, it would be difficult to mechanise such checks, but work has been proceeding at Malaysia’s Palm Oil Research Institute to see if harvesting could be mechanised to any degree.

Chapter 6 1984