Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030232498, 9783030232504
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

BNF-Style Notation as It Is Actually Used

2019 ◽  
pp. 187-204 ◽  
Author(s):  
Dee Quinlan ◽  
Joe B. Wells ◽  
Fairouz Kamareddine

scholarly journals Forms of Plagiarism in Digital Mathematical Libraries

2019 ◽  
pp. 258-274 ◽  
Author(s):  
Moritz Schubotz ◽  
Olaf Teschke ◽  
Vincent Stange ◽  
Norman Meuschke ◽  
Bela Gipp

Variadic Equational Matching

2019 ◽  
pp. 77-92
Author(s):  
Besik Dundua ◽  
Temur Kutsia ◽  
Mircea Marin

Integrating Semantic Mathematical Documents and Dynamic Notebooks

2019 ◽  
pp. 275-290
Author(s):  
Kai Amann ◽  
Michael Kohlhase ◽  
Florian Rabe ◽  
Tom Wiesing

scholarly journals Inspection and Selection of Representations

2019 ◽  
pp. 227-242 ◽  
Author(s):  
Daniel Raggi ◽  
Aaron Stockdill ◽  
Mateja Jamnik ◽  
Grecia Garcia Garcia ◽  
Holly E. A. Sutherland ◽  
...  
Keyword(s):  
Selection Of
Load More ...
Sign in / Sign up

Export Citation Format

Share Document