Computer Algebra in Scientific Computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : Proceedings /

Selección de ponencias del décimo sexto Taller Internacional sobre Algebra Informática en Computación Científica, celebrado en Varsovia, Polonia, en septiembre de 2014. Los artículos abordan temas tales como álgebra polinomial; matrices y factorización; análisis de de vibraciones de estructuras mecá...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: International Workshop on Computer Algebra in Scientific Computing ( Varsovia, Polonia)
מחברים אחרים: Biere, Armin (edición) (edición), Bloem, Roderick (edición) (edición)
פורמט: Procedimiento de la conferencia ספר
שפה:אנגלית
יצא לאור: Cham, Suiza : Springer, 2014, c2014
סדרה:(Lecture Notes in Computer Science ; 8660)
נושאים:
גישה מקוונת:Ver documento en línea
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

MARC

LEADER 00000nam^a2200000^a^4500
001 000457377
005 20251023000000.0
009 20260310124042.523
020 |a 978-3-319-10515-4 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Workshop on Computer Algebra in Scientific Computing (  |n 16° :  |d 2014 :  |c Varsovia, Polonia) 
245 1 0 |a Computer Algebra in Scientific Computing :  |b 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014 : Proceedings /  |c Ed. de V.P. Gerdt... [et al.]. 
264 4 |a Cham, Suiza :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014, c2014 
300 |a 1 libro electrónico en línea (XIV, 502 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 1 |a (Lecture Notes in Computer Science ;  |v 8660) 
506 0 |a Licencias ilimitadas 
520 |a Selección de ponencias del décimo sexto Taller Internacional sobre Algebra Informática en Computación Científica, celebrado en Varsovia, Polonia, en septiembre de 2014. Los artículos abordan temas tales como álgebra polinomial; matrices y factorización; análisis de de vibraciones de estructuras mecánicas con propiedades de simetría, aplicación de sistemas de Gröbner; descomposición algebraica cilíndrica para resolver los problemas de eliminación de cuantificadores; nuevos algoritmos paralelos; entre otros. 
649 |a XX 
650 |a Algoritmos 
650 |a Cálculo de Predicados 
650 |a Factorización 
650 |a Programación Lineal 
650 |a Matrices (Matemáticas) 
650 |a Programación (Matemáticas) 
650 |a Aproximación (Matemáticas) 
650 |a Modelos Matemáticos 
650 |a Polinomios 
650 |a Algebra -  |x Congresos -  |x Tema Principal 
650 |a Algebra -  |x Tema Principal 
650 |a Lógica Matemática 
650 |a Métodos de Simulación 
650 |a Sistemas Computacionales 
650 |a Informática 
650 |a Ingeniería Computacional 
650 |a Matemáticas 
700 |a Biere, Armin  |e (edición) 
700 |a Bloem, Roderick  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10515-4  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
901 |a 457377-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000457377