Biform Theories in Chiron

DOI10.1007/978-3-540-73086-6_6zbMATH Open1202.03025OpenAlexW2156369090MaRDI QIDQ5428260FDOQ5428260

William M. Farmer

Publication date: 28 November 2007

Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_6

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (6)

• High-Level Theories
• Incorporating quotation and evaluation into Church's type theory
• Realms: A Structure for Consolidating Knowledge about Mathematical Theories
• Generic Literals
• MathScheme: Project Description
• Formalizing mathematical knowledge as a biform theory graph: a case study

Recommendations

• Title not available (Why is that?) 👍 👎
• Multivariable Burchnall–Chaundy theory 👍 👎
• Chiral squaring 👍 👎
• The chirality theorem 👍 👎
• Bisimut type formulae for differential forms 👍 👎
• Chameleon field theories 👍 👎
• Chiral Poincaré duality 👍 👎
• Extending applicability of bimetric theory: chameleon bigravity 👍 👎
• Biform theories: project description 👍 👎
• Relating hybrid chi to other formalisms 👍 👎

This page was built for publication: Biform Theories in Chiron

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