Resource data
Solving a Class of Higher-Order Equations over a Group Structure
Andrei, Å?tefan Chin, Wei Ngan
Location:
http://hdl.handle.net/1721.1/3685
In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this trend has been the development and deployment of sophisticated methods that are able to comprehend and evaluate important sub-classes of symbolic problems (such as those in polynomial, linear inequality and finite domains). However, relatively little has been explored in higher-order domains, such as equations with unknown functions. This paper proposes a new symbolic method for solving a class of higher-order equations with an unknown function over the complex domain. Our method exploits the closure property of group structure (for functions) in order to allow an equivalent system of equations to be expressed and solved in the first-order setting. Our work is an initial step towards the relatively unexplored realm of higher-order constraint-solving, in general; and higher-order equational solving, in particular. We shall provide some theoretical background for the proposed method, and also prototype an implementation under Mathematica. We hope that our foray will help open up more sophisticated applications, as well as encourage work towards new methods for solving higher-order constraints.
Belongs to: DSpace at MIT
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
Users rating
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
Detalles del recurso
|
Solving a Class of Higher-Order Equations over a Group Structure
|
| Id. |
23703 |
| Idioma |
inglés (Estados Unidos)
|
| Titulo |
Solving a Class of Higher-Order Equations over a Group Structure |
| Autor(es) |
Andrei, Å?tefan Chin, Wei Ngan |
| Location |
http://hdl.handle.net/1721.1/3685
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this trend has been the development and deployment of sophisticated methods that are able to comprehend and evaluate important sub-classes of symbolic problems (such as those in polynomial, linear inequality and finite domains). However, relatively little has been explored in higher-order domains, such as equations with unknown functions. This paper proposes a new symbolic method for solving a class of higher-order equations with an unknown function over the complex domain. Our method exploits the closure property of group structure (for functions) in order to allow an equivalent system of equations to be expressed and solved in the first-order setting. Our work is an initial step towards the relatively unexplored realm of higher-order constraint-solving, in general; and higher-order equational solving, in particular. We shall provide some theoretical background for the proposed method, and also prototype an implementation under Mathematica. We hope that our foray will help open up more sophisticated applications, as well as encourage work towards new methods for solving higher-order constraints. |
| Tipo |
220877 bytes application/pdf |
| Palabras clave |
higher-order equation |
| Tipo de recurso |
Article
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
| Formatos |
220877 bytes application/pdf |
| Requerimientos técnicos |
Browser: Any |
| Relación |
[References] Computer Science (CS);
|
| Fecha de contribución |
07-may-2008 |
| Contacto |
|
|