共 78 条
[1]
Abhyankar S., 2018, MATH NUMER ANAL
[2]
Andreychenko Aleksandr, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P83, DOI 10.1007/978-3-642-22110-1_8
[3]
[Anonymous], 2014, PLOS COMPUTATIONAL B
[4]
[Anonymous], 2000, Far East J. Theor. Statist
[6]
Balay S, 1997, MODERN SOFTWARE TOOLS FOR SCIENTIFIC COMPUTING, P163
[7]
Balay S., 2015, Technical Report ANL-95/11-Revision 3.6
[8]
Balay Satish., 2015, PETSc Web page
[9]
Boman EG, 2012, SCI PROGRAMMING-NETH, V20, P129, DOI [10.1155/2012/713587, 10.3233/SPR-2012-0342]
[10]
Burrage K., 2006, Markov Anniversary Meeting: an international conference to celebrate the 150th anniversary of the birth of A.A. Markov, P1