Basert på hans oppdagelse av resultant, starter Seki Takakazu å utvikle elimineringsteori i «Kai-fukudai-no-hō» (解伏題之法,). For å uttrykke resultanten utvikler han en notasjon for determinanten.