formal sum
1sum|mons — «SUHM uhnz», noun, plural mons|es, verb. –n. 1. a) a formal order or notice to appear before a law court or judge, especially to answer a charge. b) the writ (writ of summons) by which such an order is made: »He received a summons for fast… …
2Formal power series — In mathematics, formal power series are devices that make it possible to employ much of the analytical machinery of power series in settings that do not have natural notions of convergence. They are also useful, especially in combinatorics, for… …
3formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used …
4Formal derivative — In mathematics, the formal derivative is an operation on elements of a polynomial ring which mimics the form of the derivative from calculus. Though they appear similar, the algebraic advantage of a formal derivative is that it does not rely on… …
5sum — sum1 W2S3 [sʌm] n ▬▬▬▬▬▬▬ 1¦(money)¦ 2 the sum of something 3 greater/more/better etc than the sum of its parts 4¦(calculation)¦ 5 do your sums 6 in sum ▬▬▬▬▬▬▬ [Date: 1200 1300; : Old French; Origin: summe, from Latin s …
6Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… …
7sum — [[t]sʌ̱m[/t]] ♦♦♦ sums, summing, summed 1) N COUNT: oft N of n A sum of money is an amount of money. Large sums of money were lost... Even the relatively modest sum of ₤50,000 now seems beyond his reach. 2) N COUNT A sum is a simple calculation… …
8Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… …
9sum — sum1 [ sʌm ] noun count *** 1. ) an amount of money: He was fined a sum of $1,000. a large/substantial/considerable/huge sum: Companies are prepared to pay substantial sums for the use of our facilities. a sum of money: We already spend large… …
10sum·ma cum lau·de — /ˌsʌməˌkʌmˈlɑːdə/ adv formal : with highest honor used in the U.S. to indicate that a student has graduated from a college or university at the highest of three special levels of achievement She graduated summa cum laude. compare ↑cum laude,… …