Journal of Symbolic Computation
Latest Publications

TOTAL DOCUMENTS

2995
(FIVE YEARS 308)

H-INDEX

66
(FIVE YEARS 5)

Published By Elsevier

1095-855x, 0747-7171
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Effective approximation of the solutions of algebraic equations

2022 ◽  
Vol 109 ◽  
pp. 144-176
Author(s):  
Marcin Bilski ◽  
Peter Scheiblechner
Keyword(s):  
Algebraic Equations ◽  
Effective Approximation

Simplifying regular expressions further

2022 ◽  
Vol 109 ◽  
pp. 124-143
Author(s):  
Stefan Kahrs ◽  
Colin Runciman
Keyword(s):  
Regular Expressions

scholarly journals Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares

2021 ◽  
Vol 107 ◽  
pp. 67-105
Author(s):  
Elisabeth Gaar ◽  
Daniel Krenn ◽  
Susan Margulies ◽  
Angelika Wiegele
Keyword(s):  
Semidefinite Programming ◽  
Sums Of Squares
Load More ...
Sign in / Sign up

Export Citation Format

Share Document