* Automated theorem proving, the proving of mathematical theorems by a computer program

Automated theorem proving ( also known as ATP or automated deduction ) is the proving of mathematical theorems by a computer program.

Developed original resolution and unification based first order theorem proving, co-editor of the " Handbook of Automated Reasoning ", recipient of the Herbrand Award 1996

Category: Automated theorem proving

* Automated theorem proving

* Automated theorem prover

* Automated reasoning – Solving engines, such as used in Prolog, which produce steps to a result given a query on a fact and rule database, and automated theorem provers that aim to prove mathematical theorems with some assistance from a programmer.

Category: Automated theorem proving

* Automated theorem proving

* Automated theorem proving

* Automated theorem proving

#* Automated theorem proving and Model checking.

Category: Automated theorem proving

* Automated theorem proving

# REDIRECT Automated theorem proving

For example: Automated theorem proving and Model checking ;

Category: Automated theorem proving

* Automated theorem proving

Category: Automated theorem proving

* Automated theorem proving

Category: Automated theorem proving

# REDIRECT Automated theorem proving

* Automated theorem proving

Category: Automated theorem proving

On 25 April 2008, the Automated Transfer Vehicle " Jules Verne " raised the orbit of the ISS for the first time, thereby proving its ability to replace ( and outperform ) the Soyuz at this task.

Currently scoring blows in amateur boxing are subjectively counted by ringside judges, but the Australian Institute for Sport has demonstrated a prototype of an Automated Boxing Scoring System, which introduces scoring objectivity, improves safety, and arguably makes the sport more interesting to spectators.

The FBI has been forced to continue using its decade-old Automated Case Support system, which is considered woefully inadequate by IT experts.

The change being undertaken in some organizations is to switch to Automated Business Process ( ABP ) software which generates complete systems.

In the United States, the FBI manages a fingerprint identification system and database called the Integrated Automated Fingerprint Identification System, or IAFIS, which currently holds the fingerprints and criminal records of over 51 million criminal record subjects and over 1. 5 million civil ( non-criminal ) fingerprint records.

* Hydrophobia ( video game ) from Dark Energy Digital features the MAVI ( Mobile Automated Visual Interface ), which is a tool used to enhance environmental geometry among other purposes.

Automated driverless systems are not exclusively rubber-tyred ; many have since been built using conventional rail technology, such as London's Docklands Light Railway, the Copenhagen metro and Vancouver's SkyTrain, the Disneyland Resort Line which uses converted rolling stocks from non-driverless trains, as well as AirTrain JFK which is linking JFK Airport in New York City with local subway and commuter trains.

The post office is located just east of the Vineyard Camp Meeting Association lands, as is Oak Bluffs Public Library, which is a member of the Cape Libraries Automated Materials Sharing library network.

Automated external defibrillators are generally either held by trained personnel who will attend incidents, or are public access units which can be found in places including corporate and government offices, shopping centres, airports, restaurants, casinos, hotels, sports stadiums, schools and universities, community centers, fitness centers and health clubs.

Automated controls also might enhance road safety by reducing the opportunity for driver error, which causes a large share of motor vehicle crashes.

* Automated highway systems, a future idea which could reduce the safe interval between cars ( required for braking in emergencies ) and increase highway capacity by as much as 100 % while increasing travel speeds

* Automated information system, a system which is capable of providing information automatically, usually using computer hardware, software, firmware, or any combination of these

On April 1, 1990, trading was moved to a new digital system: HETI ( Helsinki Stock Exchange Automated Trading and Information System, and in Finnish a rough backronym for " immediately "), which replaced the electro-mechanical trading board originally introduced back in 1935.

There is a single post office near the geographic center of town, as well as the Brewster Ladies ' Library, a 50, 000-volume library which is a part of the Cape Libraries Automated Materials Sharing library network.

" The bank was also one of the first to offer full service Automated Teller Machines ( ATM's ) which were named " Ready Freddy " and included a picture of Fred until the Bank decided to terminate its contract with Hanna Barbera to use the likeness.

Another example includes the now ubiquitous presence of Automated external defibrillator in public venues which allow lay people to deliver life support in a prehospital environment.

* apronym: a word, which as an acronym or backronym, has a meaning related to the meaning of the words constituting the acronym or backronym ; such as PLATO for " Programmed Logic for Automated Teaching " alluding to Plato, the philosopher and teacher

For convenience, some VOR stations also transmit local weather information which the pilot can listen in to, perhaps generated by an Automated Surface Observing System.

( Automated Camera Effects System ), as well as the Mattescan system, which for the first time allowed the camera to move over a matte painting, and a computer-controlled modeling stand.

* Cash Dispenser Unit, which could be part of a Teller assist unit or an Automated teller machine

Automated guideway transit ( AGT ) is a fully automated, driverless, grade-separated transit system in which vehicles are automatically guided along a " guideway ".

In 2003, the Automated Test Equipment group, part of the 1979 Fairchild Semiconductor acquisition, was spun off to NPTest Holding, which later sold it to Credence.

To further improve the economic efficiency of the Chinese securities markets, eventually the Stock Exchange Executive Council ( SEEC ) was formed in March 1989 to create a nationwide treasury bond trading system ( Securities Trading Automated Quotations System ( STAQs ) which was established on December 1990.