Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer International Publishing

9783319084336, 9783319084343
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

System Description: MathHub.info

2014 ◽  
pp. 431-434 ◽  
Author(s):  
Mihnea Iancu ◽  
Constantin Jucovschi ◽  
Michael Kohlhase ◽  
Tom Wiesing
Keyword(s):  
System Description

Towards Robust Hyperlinks for Web-Based Scholarly Communication

2014 ◽  
pp. 12-25 ◽  
Author(s):  
Herbert Van de Sompel ◽  
Martin Klein ◽  
Harihar Shankar
Keyword(s):  
Scholarly Communication ◽  
Web Based

Flexary Operators for Formalized Mathematics

2014 ◽  
pp. 312-327 ◽  
Author(s):  
Fulya Horozal ◽  
Florian Rabe ◽  
Michael Kohlhase
Keyword(s):  
Formalized Mathematics

scholarly journals Digital Repository of Mathematical Formulae

2014 ◽  
pp. 419-422 ◽  
Author(s):  
Howard S. Cohl ◽  
Marjorie A. McClain ◽  
Bonita V. Saunders ◽  
Moritz Schubotz ◽  
Janelle C. Williams
Keyword(s):  
Digital Repository
Load More ...
Sign in / Sign up

Export Citation Format

Share Document