المؤلفون: Bradford, R., Davenport, J. H., England, M., Sadeghimanesh, A., Uncu, A.

المصدر: ACM Communications in Computer Algebra 55:3 (issue 217), pp. 107-111, ACM, 2021

مصطلحات موضوعية: Computer Science - Symbolic Computation, 68W30, 03C10, I.1.2, I.1.4, G.4, J.3, J.4

URL الوصول: http://arxiv.org/abs/2106.08740

المؤلفون: Naylor, Richard W., Watson, Elizabeth, Williamson, Samantha, Preston, Rebecca, Davenport, J Bernard, Thornton, Nicole, Lowe, Martin, Williams, Maggie, Lennon, Rachel^{Aff1, Aff3, IDs0046702205447y_cor9}

المصدر: Pediatric Nephrology: Journal of the International Pediatric Nephrology Association. 37(12):3105-3115

المؤلفون: Airapetian, V. S., Adibekyan, V., Ansdell, M., Alexander, D., Bastian, T., Saikia, S. Boro, Brun, A. S., Cohen, O., Cuntz, M., Danchi, W., Davenport, J., DeNolfo, J., DeVore, R., Dong, C. F., Drake, J. J., France, K., Fraschetti, F., Herbst, K., Garcia-Sage, K., Gillon, M., Glocer, A., Grenfell, J. L., Gronoff, G., Gopalswamy, N., Guedel, M., Hartnett, H., Harutyunyan, H., Hinkel, N. R., Jensen, A. G., Jin, M., Johnstone, C., Kalas, P., Kane, S. R., Kay, C., Kitiashvili, I. N., Kochukhov, O., Kondrashov, D., Lazio, J., Leake, J., Li, G., Linsky, J., Lueftinger, T., Lynch, B., Lyra, W., Mandell, A. M., Mandt, K. E., Maehara, H., Miesch, M. S., Mickaelian, A. M., Mouchou, S., Notsu, Y., Ofman, L., Oman, L. D., Osten, R. A., Oran, R., Petre, R., Ramirez, R. M., Rau, G., Redfield, S., Réville, V., Rugheimer, S., Scheucher, M., Schlieder, J. E., Shibata, K., Schnittman, J. D., Soderblom, David, Strugarek, A., Turner, J. D., Usmanov, A., Der Holst, Van, Vidotto, A., Vourlidas, A., Way, M. J., Wolk, Zank, G. P., R., P. Zarka, Kopparapu, Babakhanova, S., Pevtsov, A. A., Lee, Y., Henning, W., Colón, K. D., Wolf, E. T.

مصطلحات موضوعية: Astrophysics - Earth and Planetary Astrophysics

URL الوصول: http://arxiv.org/abs/1903.06853

المؤلفون: Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T., Weber, A.

المصدر: Journal of Symbolic Computation, volume 98, pp. 84 - 119, Elsevier 2020

مصطلحات موضوعية: Computer Science - Symbolic Computation, I.1.4

URL الوصول: http://arxiv.org/abs/1902.04882

المؤلفون: Mulligan, C., Bradford, R., Davenport, J. H., England, M., Tonks, Z.

المصدر: 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

مصطلحات موضوعية: Computer Science - Symbolic Computation, 68W30, 03C10, 91-04, I.1.2, J.4

URL الوصول: http://arxiv.org/abs/1806.11447

المؤلفون: Mulligan, C., Davenport, J. H., England, M.

المصدر: 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

مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Computational Engineering, Finance, and Science, 68W30, 03C10, 91-04, I.1.2, J.4

URL الوصول: http://arxiv.org/abs/1806.10925

المؤلفون: Davenport, J. H., Locatelli, A. F., Sankaran, G. K.

مصطلحات موضوعية: Mathematics - Algebraic Geometry, Computer Science - Symbolic Computation, Mathematics - Algebraic Topology, 14P10, 57N99, 68W30

URL الوصول: http://arxiv.org/abs/1803.04029

المؤلفون: Naylor, Richard W., Lemarie, Emmanuel, Jackson-Crawford, Anthony, Davenport, J. Bernard, Mironov, Aleksandr, Lowe, Martin, Lennon, Rachel

المصدر: In Kidney International October 2022 102(4):815-827

المؤلفون: Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.

المصدر: M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016

مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1607.08028

المؤلفون: Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.

المصدر: ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016

مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1607.06945