We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functi...
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
Olha Shkaravska, Ron van Kesteren, Marko C. J. D. ...
Abstract. In this paper, parametric polynomial minimal surfaces of degree six with isothermal parameter are discussed. We firstly propose the sufficient and necessary condition of ...
Finding the product of two polynomials is an essential and basic problem in computer algebra. While most previous results have focused on the worst-case complexity, we instead emp...
An issue in utilizing ontology in product information domain is how to make it operational. This requires considering the features to be included in a pragmatic product information...
Hyunja Lee, Junho Shim, Suekyung Lee, Sang-goo Lee