Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2011 | 1 |
2012 | 1 |
2013 | 1 |
2015 | 2 |
2016 | 1 |
2024 | 0 |
Search Results
6 results
Results by year
Filters applied: . Clear all
Page 1
Regular expression order-sorted unification and matching.
J Symb Comput. 2015 Mar;67:42-67. doi: 10.1016/j.jsc.2014.08.002.
J Symb Comput. 2015.
PMID: 26523088
Free PMC article.
A difference ring theory for symbolic summation.
Schneider C.
Schneider C.
J Symb Comput. 2016 Jan-Feb;72:82-127. doi: 10.1016/j.jsc.2015.02.002.
J Symb Comput. 2016.
PMID: 26726284
Free PMC article.
Item in Clipboard
Trading order for degree in creative telescoping.
Chen S, Kauers M.
Chen S, et al.
J Symb Comput. 2012 Aug;47-330(8):968-995. doi: 10.1016/j.jsc.2012.02.002.
J Symb Comput. 2012.
PMID: 26538804
Free PMC article.
Item in Clipboard
Learning-assisted theorem proving with millions of lemmas.
Kaliszyk C, Urban J.
Kaliszyk C, et al.
J Symb Comput. 2015 Jul;69:109-128. doi: 10.1016/j.jsc.2014.09.032.
J Symb Comput. 2015.
PMID: 26525678
Free PMC article.
Item in Clipboard
Rational general solutions of planar rational systems of autonomous ODEs.
Châu Ngô LX, Winkler F.
Châu Ngô LX, et al.
J Symb Comput. 2011 Oct;46(10-10):1173-1186. doi: 10.1016/j.jsc.2011.06.002.
J Symb Comput. 2011.
PMID: 26538803
Free PMC article.
Item in Clipboard
Improved polynomial remainder sequences for Ore polynomials.
Jaroschek M.
Jaroschek M.
J Symb Comput. 2013 Nov;58:64-76. doi: 10.1016/j.jsc.2013.05.012.
J Symb Comput. 2013.
PMID: 26523087
Free PMC article.
Item in Clipboard
Cite
Cite