Sentence examples for formula is submitted from inspiring English sources

We have developed and implemented the Plagiator system which proves theorems by mathematical induction with the aid of a human advisor: If a base or step formula is submitted to the system, it tries to reuse a proof of a previously verified formula.

The case is submitted.

It is submitted.

Both kinds are submitted electronically.

Applications were submitted in September.

HOW many images were submitted?

Plans were submitted.

Three bids were submitted.

Four offers were submitted.

This year, 10 were submitted.

Two different configurations were submitted.