|Page 4 of 800||Search internet|
Logiweb is a system for web publication of scientific articles, computer programs, mathematics, machine verified proofs, and many other things.
For a Logiweb computer program see the combinations page. Following the combinations link brings you to a pdf rendering of a definition of the binomial coefficient .
The combinations page also contains a test case . When the combinations page was translated by the Logiweb compiler, the compiler verified that test case. The result of the verification is here.
Thus, the combinations page defines the binomial coefficient and verifies .
The source file of the combinations page is a plain text which can be edited by an ordinary text editor. The syntax of Logiweb is user defined. To see the syntax I have chosen to use for combinations, hold your mouse over . The syntax is explained soon.
|Page 4 of 800||Search logiweb.eu|