págs. 1269-1284
págs. 1285-1290
págs. 1291-1301
págs. 1302-1324
págs. 1325-1339
Shapes of liquid drops obtained using symbolic computation
Mustapha Er-Riani, Olivier Sero-Guillaume
págs. 1340-1360
Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems
Karin Gatermann, Markus Eiswirth, Anke Sensse
págs. 1361-1382
Out of order quantifier elimination for Standard Quantified Linear Programs
K. Subramani, D. Desovski
págs. 1383-1396
© 2001-2024 Fundación Dialnet · Todos los derechos reservados