Zobrazeno 1 - 10
of 892
pro vyhledávání: '"ENGLAND, M"'
Publikováno v:
ACM Communications in Computer Algebra 55:3 (issue 217), pp. 107-111, ACM, 2021
This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic D
Externí odkaz:
http://arxiv.org/abs/2106.08740
Autor:
Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T., Weber, A.
Publikováno v:
Journal of Symbolic Computation, volume 98, pp. 84 - 119, Elsevier 2020
We consider a problem from biological network analysis of determining regions in a parameter space over which there are multiple steady states for positive real values of variables and parameters. We describe multiple approaches to address the proble
Externí odkaz:
http://arxiv.org/abs/1902.04882
Publikováno v:
Computers in Biology and Medicine, 105, pp. 169 - 181, Elevier, 2019
Long non-coding RNAs (lncRNAs) are a class of non-coding RNAs which play a significant role in several biological processes. RNA-seq based transcriptome sequencing has been extensively used for identification of lncRNAs. However, accurate identificat
Externí odkaz:
http://arxiv.org/abs/1902.05064
Publikováno v:
In: A. Bigatti and M. Brain eds. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC2 '18), pp. 48-60. CEUR Workshop Proceedings 2189, 2018
We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problems. The problems have been shown to fall within the framework of non-li
Externí odkaz:
http://arxiv.org/abs/1806.11447
Publikováno v:
In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018, pp. 369-378. (Lecture Notes in Computer Science 10931). Springer, 2018
We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. There is a great body of work considering QE applications in science and engineering but we demonstrate here that it also has use in the social scienc
Externí odkaz:
http://arxiv.org/abs/1806.10925
Autor:
England, M.
Publikováno v:
In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018, pp. 165-174. (Lecture Notes in Computer Science 10931). Springer, 2018
While there has been some discussion on how Symbolic Computation could be used for AI there is little literature on applications in the other direction. However, recent results for quantifier elimination suggest that, given enough example problems, t
Externí odkaz:
http://arxiv.org/abs/1806.10920