Logicographic symbols

DOI10.1016/J.JSC.2005.02.005MaRDI QIDQ2457342zbMATH OpenOpenAlexFDO

Authors Koji Nakagawa

Publication date 23 October 2007

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2005.02.005

zbMATH Keywords

intuitive proof presentationinventing new notationuser interface for integrated mathematical systems

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Symbolic computation and algebraic computation (68W30)

Recommendations

• Symbolic Logic
• scientific article; zbMATH DE number 3051937
• scientific article; zbMATH DE number 5519289
• Introducing Symbolic Logic
• scientific article; zbMATH DE number 1852918
• scientific article; zbMATH DE number 3851013
• scientific article; zbMATH DE number 790187

Cites work

• scientific article; zbMATH DE number 1237648 (Why is no real title available?)
• scientific article; zbMATH DE number 1254011 (Why is no real title available?)
• scientific article; zbMATH DE number 1292563 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 819502 (Why is no real title available?)
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• Two tools for mathematical knowledge management in theorema

Cited in

(4)

• Ideograms for physics and chemistry
• scientific article; zbMATH DE number 5519289 (Why is no real title available?)
• Ologisms
• scientific article; zbMATH DE number 753778 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mathematica
• Theorema
• Hyperproof

This page was built for publication: Logicographic symbols

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