Ziming Li; Fritz Schwarz
Ziming Li; Fritz Schwarz
Eng-Wee Chionh; Ming Zhang; Ronald N. Goldman
Eng-Wee Chionh; Ming Zhang; Ronald N. Goldman
Christopher W. Brown
Christopher W. Brown
Special Issue on Calculemus-99: Integrating Computation and Deduction Foreword of the Guest Editors [0.03%]
Alessandro Armando; Tudor Jebelean
Alessandro Armando; Tudor Jebelean
Leonard M. Adleman; Ming-Deh Huang
Leonard M. Adleman; Ming-Deh Huang
Squarefree Decomposition of Univariate Polynomials Depending on a Parameter. Application to the Integration of Parametric Rational Functions [0.03%]
Gema M. Diaz-Toca; Laureano Gonzalez-Vega
Gema M. Diaz-Toca; Laureano Gonzalez-Vega
Gerardo Lafferriere; George J. Pappas; Sergio Yovine
Gerardo Lafferriere; George J. Pappas; Sergio Yovine
H. Michael Möller; Ralf Tenberg
H. Michael Möller; Ralf Tenberg
Burkhard Höfling
Burkhard Höfling