scientific article; zbMATH DE number 3800571

MaRDI QIDQ4744984zbMATH OpenFDO

Authors Peter A. Firby, Cyril F. Gardiner

Publication date 1982

zbMATH Keywords

classificationcolouring problemsconnected sum of surfacesdegenerate critical pointdifferential equations in the planeEuler characteristicfundamental group of a surfacehyperbolic and elliptic geometryindex of vector fields with isolated singularitiesplane tessellation representations of compact surfacesPlatonic solidssymbol of a surfacevector fieldsVolterra predator-prey equation

Mathematics Subject Classification ID

Euclidean geometries (general) and generalizations (51M05) Hyperbolic and elliptic geometries (general) and generalizations (51M10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to manifolds and cell complexes (57-01) Fundamental group, presentations, free differential calculus (57M05) Vector fields, frame fields in differential topology (57R25)

Cited in

(4)

• Formalizing generalized maps in Coq
• Formalizing the trading theorem in Coq
• Formal specification and proofs for the topology and classification of combinatorial surfaces
• Multiperiodic functions for surface design

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4744984)