All content and formatting can be generated algorithmically or edited interactively. It may be used to generate vector graphics algorithmically. Likewise, inverses of triangular matrices are algorithmically easier to calculate. In mathematics, "effective" is sometimes used as a synonym of "algorithmically computable". Procedural content generation is the process of creating data algorithmically rather than manually. Church first showed the existence of algorithmically unsolvable problems using his notion of lambda-definability. These algorithmically random sequences can be defined in three equivalent ways. This may be done "manually" (or "intellectually") or algorithmically. Lattice, or sieve, multiplication is algorithmically equivalent to long multiplication. It is determined algorithmically as formula 25. The italics are designed and not algorithmically slanted. Phase retrieval is the process of algorithmically finding solutions to the phase problem. The first algorithmically programmable, analog CNN processor was created in 1993. Although algorithmically different, it gives the same square as the De la Loubere's method.