-
1تقرير
المؤلفون: 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
-
2دورية أكاديمية
المؤلفون: Naylor, Richard W., Watson, Elizabeth, Williamson, Samantha, Preston, Rebecca, Davenport, J Bernard, Thornton, Nicole, Lowe, Martin, Williams, Maggie, Lennon, RachelAff1, Aff3, IDs0046702205447y_cor9
المصدر: Pediatric Nephrology: Journal of the International Pediatric Nephrology Association. 37(12):3105-3115
-
3تقرير
المؤلفون: 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
-
4تقرير
المؤلفون: 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
-
5تقرير
المؤلفون: 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
-
6تقرير
المؤلفون: 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
-
7تقرير
-
8دورية أكاديمية
المؤلفون: 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
-
9تقرير
المؤلفون: 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
-
10تقرير
المؤلفون: 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