Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642313738, 9783642313745
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Formal Specification of Maple Programs

2012 ◽  
pp. 443-447 ◽  
Author(s):  
Muhammad Taimoor Khan ◽  
Wolfgang Schreiner
Keyword(s):  
Formal Specification

scholarly journals Towards Understanding Triangle Construction Problems

2012 ◽  
pp. 127-142 ◽  
Author(s):  
Vesna Marinković ◽  
Predrag Janičić

Tentative Experiments with Ellipsis in Mizar

2012 ◽  
pp. 453-457 ◽  
Author(s):  
Artur Korniłowicz

Writing on Clouds

2012 ◽  
pp. 402-416
Author(s):  
Vadim Mazalov ◽  
Stephen M. Watt

MathWebSearch 0.5: Scaling an Open Formula Search Engine

2012 ◽  
pp. 342-357 ◽  
Author(s):  
Michael Kohlhase ◽  
Bogdan A. Matican ◽  
Corneliu-Claudiu Prodescu
Keyword(s):  
Search Engine ◽  
Open Formula

scholarly journals New Developments in Parsing Mizar

2012 ◽  
pp. 427-431 ◽  
Author(s):  
Czesław Bylinski ◽  
Jesse Alama
Keyword(s):  
New Developments
Load More ...
Sign in / Sign up

Export Citation Format

Share Document