Results 141 to 150 of about 371 (169)
Some of the next articles are maybe not open access.
Superposition Theorem Proving for Commutative Rings
1998Commutative rings are very common both in mathematics and in computer science, as they encompass the basic algebraic properties of addition, subtraction and multiplication for numbers like the integers or the reals. The problem with commutative rings and similar algebraic theories is that their axioms create large search spaces for theorem provers.
openaire +2 more sources
Some Theorems on Commutative Matrices
Journal of the London Mathematical Society, 1951Drazin, M. P. +2 more
openaire +2 more sources
Multidisciplinary standards of care and recent progress in pancreatic ductal adenocarcinoma
Ca-A Cancer Journal for Clinicians, 2020Aaron J Grossberg +2 more
exaly
Oral complications of cancer and cancer therapy
Ca-A Cancer Journal for Clinicians, 2012Joel B Epstein +2 more
exaly
A Theorem on Commutative Matrices
Journal of the London Mathematical Society, 1949openaire +2 more sources
American Cancer Society Head and Neck Cancer Survivorship Care Guideline
Ca-A Cancer Journal for Clinicians, 2016Nader Sadeghi +2 more
exaly

