![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Publisher: Springer Publishing Company
Founded in: 2007
Total resources: 3
E-ISSN: 1661-8289
ISSN: 1661-8270
Subject: TP3 Computers
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Mathematics in Computer Science
Menu
![](/images/ico/ico5.png)
Automatic Proof of Graph Nonisomorphism
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.![](/images/ico/ico5.png)
Organization, Transformation, and Propagation of Mathematical Knowledge in Ωmega
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
Identifying Subscripts and Superscripts in Mathematical Documents
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.![](/images/ico/ico5.png)
A Math Query Language with an Expanded Set of Wildcards
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.![](/images/ico/ico5.png)
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.![](/images/ico/ico5.png)
Using as a Semantic Markup Format
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.![](/images/ico/ico5.png)
The Freedom to Extend OpenMath and its Utility
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.![](/images/ico/ico5.png)
Spurious Disambiguation Errors and How to Get Rid of Them
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.![](/images/ico/ico5.png)
Relevance Ranking and Hit Description in Math Search
Mathematics in Computer Science , Vol. 2, Iss. 2, 2008-12 , pp.