Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642226724, 9783642226731
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

View of Computer Algebra Data from Coq

2011 ◽  
pp. 74-89
Author(s):  
Vladimir Komendantsky ◽  
Alexander Konovalov ◽  
Steve Linton
Keyword(s):  
Computer Algebra

Combining Source, Content, Presentation, Narration, and Relational Representation

2011 ◽  
pp. 212-227 ◽  
Author(s):  
Fulya Horozal ◽  
Alin Iacob ◽  
Constantin Jucovschi ◽  
Michael Kohlhase ◽  
Florian Rabe
Keyword(s):  
Relational Representation

scholarly journals Incidence Simplicial Matrices Formalized in Coq/SSReflect

2011 ◽  
pp. 30-44 ◽  
Author(s):  
Jónathan Heras ◽  
María Poza ◽  
Maxime Dénès ◽  
Laurence Rideau

Enumeration of AG-Groupoids

2011 ◽  
pp. 1-14 ◽  
Author(s):  
Andreas Distler ◽  
Muhammad Shah ◽  
Volker Sorge
Load More ...
Sign in / Sign up

Export Citation Format

Share Document