scientific article; zbMATH DE number 1263332

zbMath0922.03017MaRDI QIDQ4234210

Dong-Dai Lin, Zhuo-Jun Liu

Publication date: 16 March 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite geometrygeometry over finite fieldstheorem proving over finite fields

Mathematics Subject Classification ID

Combinatorial aspects of finite geometries (05B25) Mechanization of proofs and logical operations (03B35)

Related Items (4)

A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers ⋮ Characteristic set algorithms for equation solving in finite fields ⋮ Parametric equation solving and quantifier elimination in finite fields with the characteristic set method ⋮ On the efficiency of solving Boolean polynomial systems with the characteristic set method

This page was built for publication: