Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642393198, 9783642393204
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals ML4PG in Computer Algebra Verification

2013 ◽  
pp. 354-358 ◽  
Author(s):  
Jónathan Heras ◽  
Ekaterina Komendantskaya
Keyword(s):  
Computer Algebra

scholarly journals Understanding Branch Cuts of Expressions

2013 ◽  
pp. 136-151 ◽  
Author(s):  
Matthew England ◽  
Russell Bradford ◽  
James H. Davenport ◽  
David Wilson
Keyword(s):  
Branch Cuts

scholarly journals Optimising Problem Formulation for Cylindrical Algebraic Decomposition

2013 ◽  
pp. 19-34 ◽  
Author(s):  
Russell Bradford ◽  
James H. Davenport ◽  
Matthew England ◽  
David Wilson
Keyword(s):  
Problem Formulation ◽  
Cylindrical Algebraic Decomposition

scholarly journals The Web Geometry Laboratory Project

2013 ◽  
pp. 364-368 ◽  
Author(s):  
Pedro Quaresma ◽  
Vanda Santos ◽  
Seifeddine Bouallegue
Keyword(s):  
Web Geometry ◽  
The Web

Towards Machine-Actionable Modules of a Digital Mathematics Library

2013 ◽  
pp. 263-277
Author(s):  
Michal Růžička ◽  
Petr Sojka ◽  
Vlastimil Krejčíř
Load More ...
Sign in / Sign up

Export Citation Format

Share Document