Computing with locally effective matrices

DOI10.1080/00207160512331323326zbMath1101.68496OpenAlexW2032242412MaRDI QIDQ5699915

Francis Sergeraert, Julio Jesús Rubio García

Publication date: 27 October 2005

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160512331323326

zbMATH Keywords

algebraic topologydata structurelocally effective matrix

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

Evasiveness through binary decision diagrams

Uses Software

• Kenzo
• LISP

Cites Work

• Unnamed Item
• An object-oriented interpretation of the EAT system
• Constructive algebraic topology
• Proof of correctness of data representations
• On the groups \(H(\Pi,n)\). I

This page was built for publication: Computing with locally effective matrices