págs. 1-2
págs. 3-4
págs. 5-6
Algorithms for Regular Solutions of Higher-Order Linear Differential Systems
Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha
págs. 7-14
págs. 15-22
págs. 23-30
págs. 31-38
Faster Real Feasibility via Circuit Discriminants
Frédéric Bihan, J. Maurice Rojas, Casey E. Stella
págs. 39-46
págs. 47-54
Memory Efficient Scheduling of Strassen-Winograd’s Matrix Multiplication Algorithm
Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou
págs. 55-62
págs. 63-70
págs. 71-78
págs. 79-86
págs. 87-94
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
págs. 95-102
págs. 103-110
págs. 111-118
págs. 119-126
págs. 127-134
págs. 135-142
págs. 143-150
págs. 151-158
Analyzing Group Based Matrix Multiplication Algorithms
Jon González Sánchez, Laureano González Vega, Alejandro Piñera Nicolás, Irene Polo Blanco, Jorge Caravantes Tortajada, Ignacio Fernández Rúa
págs. 159-166
Stef Graillat, Philippe Trébuchet
págs. 167-174
Submersive Rational Difference Systems and Their Accessibility
Miroslav Halás, Ülle Kotta, Ziming Li, Huaifu Wang, Chunming Yuan
págs. 175-182
Variant Real Quantifier Elimination: Algorithm and Application
Hoon Hong, Mohab Safey El Din
págs. 183-190
págs. 191-198
págs. 199-206
págs. 207-214
Solution of Algebraic Riccati Equations Using the Sum of Roots
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
págs. 215-222
Biased Tadpoles: A Fast Algorithm for Centralizers in Large Matrix Groups
págs. 223-230
págs. 231-238
págs. 239-246
Isolating Real Roots of Real Polynomials
Kurt Mehlhorn, Michael Sagraloff
págs. 247-254
págs. 255-262
págs. 263-270
H-LLL: Using Householder Inside LLL
Ivan Morel, Damien Stehlé, Gilles Villard
págs. 271-278
págs. 279-286
págs. 287-294
págs. 295-302
Interoperating between Computer Algebra Systems: Computing Homology of Groups with Kenzo and GAP
Ana Romero Ibáñez, Graham Ellis, Julio Rubio García
págs. 303-310
Computation of Inverses in Residue Class Rings of Parametric Polynomial Ideals
Yosuke Sato, Akira Suzuki
págs. 311-316
págs. 317-324
págs. 325-332
págs. 333-340
págs. 341-350
págs. 351-358
págs. 359-366
págs. 367-374
págs. 375-382
© 2001-2024 Fundación Dialnet · Todos los derechos reservados