[Imprint][Data Privacy Statement][E-Mail]

Back to the index. View project statistic. View project symbols. View KIV symbols to check that all symbols are available.

All project symbols

symbol	specification	entry
*	int-mult	function, int × int → int
*	matrix-dot	function, matrix × matrix → matrix
+	int-basic2	function, int × int → int
+	nat-basic2	function, nat × nat → nat
+1	int-basic1	function, int → int
+1	nat-basic1	function, nat → nat
-	int-abs	function, int × int → int
-	nat	function, nat × nat → nat
-1	int-basic1	function, int → int
-1	nat-basic1	function, nat → nat
.cols	matrix	function, matrix → nat
.rows	matrix	function, matrix → nat
<	int-basic1	predicate, int × int
<	nat-basic1	predicate, nat × nat
>	int-abs	predicate, int × int
>	nat	predicate, nat × nat
A	matrix	variable, matrix
B	matrix	variable, matrix
C	matrix	variable, matrix
]	matrix	function, matrix × nat × nat × int → matrix
]	matrix	function, matrix × nat × nat → int
abs	int-abs	function, int → int
i	int-basic1	variable, int
i0	int-basic1	variable, int
int	int-basic1	sort,
j	int-basic1	variable, int
j0	int-basic1	variable, int
k	matrix-dot	variable, nat
m	nat-basic1	variable, nat
m0	matrix	variable, nat
matrix	matrix	sort,
multiply	multiply	procedure, matrix × matrix : matrix
n	nat-basic1	variable, nat
n0	nat-basic1	variable, nat
n1	nat-basic1	variable, nat
nat	nat-basic1	sort,
nf	matrix-dot	variable, nat → int
nnf	matrix-dot	variable, nat × nat → int
~	int-abs	function, int → int
×	matrix	function, nat × nat → matrix
Σ	matrix-dot	function, nat × nat → int → int
≤	int-abs	predicate, int × int
≤	nat	predicate, nat × nat
≥	int-abs	predicate, int × int
≥	nat	predicate, nat × nat