Computer Algebra in Scientific Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319456409, 9783319456416
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures

2016 ◽  
pp. 117-133 ◽  
Author(s):  
Curtis Bright ◽  
Vijay Ganesh ◽  
Albert Heinle ◽  
Ilias Kotsireas ◽  
Saeed Nejati ◽  
...  

scholarly journals On the General Analytical Solution of the Kinematic Cosserat Equations

2016 ◽  
pp. 367-380 ◽  
Author(s):  
Dominik L. Michels ◽  
Dmitry A. Lyakhov ◽  
Vladimir P. Gerdt ◽  
Zahid Hossain ◽  
Ingmar H. Riedel-Kruse ◽  
...  
Keyword(s):  
Analytical Solution ◽  
General Analytical Solution

scholarly journals Improved Computation of Involutive Bases

2016 ◽  
pp. 58-72 ◽  
Author(s):  
Bentolhoda Binaei ◽  
Amir Hashemi ◽  
Werner M. Seiler
Keyword(s):  
Involutive Bases
Load More ...
Sign in / Sign up

Export Citation Format

Share Document