Loading...
Publication
A domain-specific language for operator theory
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 6.25 MB | Adobe PDF |
Authors
Advisor(s)
Abstract(s)
Recentemente as aplicações conhecidas como sistema de álgebra computacional, CAS,
compostas por muitas funções para computação simbólica estão disponíveis ao público em
geral. Com esse tipo de aplicação, utilizadores puderam delegar ao computador toda, ou uma
parte significativa dos cálculos simbólicos presentes em muitos algoritmos matemáticos. Os
modelos matemáticos, que são uma descrição de um sistema usando linguagem e conceitos
matemáticos, são muito utilizados nas ciências naturais e engenharia, bem como nas ciências
sociais.
O principal objetivo deste trabalho é o de criar uma linguagem textual simples e eficiente para
a formalização de modelos matemáticos no domínio das integrais singulares. Por outras
palavras, facilitar o trabalho de programação a um não especialista, como é o caso dos
matemáticos, quando estão formulando problemas e fazendo uso de linguagens de
programação.
A nova linguagem criada, também chamada linguagem de domínio específico (DSL),
denominada SIOL, Linguagem para Operadores de Integrais Singulares, foi criada, não apenas
para resolução de integrais singulares, mas para oferecer outras informações sobre conceitos
da teoria de operadores, não tendo a complexidade que normalmente é encontrada nas
linguagens de uso geral. Com recurso ao Xtext e Eclipse, os autores criaram uma linguagem
com destaque de sintaxe, verificação de erros e um editor automático para alguma das tarefas
da teoria dos operadores, relacionadas com integrais singulares, gerando resultados que usam
o Wolfram Mathematica.
Recently, the applications known as computer algebra system, CAS, packed with extensive capabilities of symbolic computation have been available to the general public. With these software applications, users were able to delegated to the computer all, or a significant part, of the symbolic calculations present in many mathematical algorithms. Mathematical models, a description of a system using mathematical concepts and language, are largely used in natural sciences and engineering, as well as in social sciences. The main goal of this work is to provide a simple and efficient textual language to formalize mathematical models in the domain of singular integrals. In other words, to facilitate the programming task to a non-specialist, like mathematicians, when formulating problems using a computer language. The new created language, also known as a Domain-Specific Language (DSL), named SIOL, Singular Integral Operator Language, created not only to compute singular integrals but to provide with other information about operator theory concepts, will not have the complexity that is normally found in general-purpose languages. With Xtext and Eclipse, the authors will create a syntax highlighting, error checking and auto-completion editor for some of the operator theory tasks related to the singular integrals, that generates its outputs that uses Wolfram Mathematica
Recently, the applications known as computer algebra system, CAS, packed with extensive capabilities of symbolic computation have been available to the general public. With these software applications, users were able to delegated to the computer all, or a significant part, of the symbolic calculations present in many mathematical algorithms. Mathematical models, a description of a system using mathematical concepts and language, are largely used in natural sciences and engineering, as well as in social sciences. The main goal of this work is to provide a simple and efficient textual language to formalize mathematical models in the domain of singular integrals. In other words, to facilitate the programming task to a non-specialist, like mathematicians, when formulating problems using a computer language. The new created language, also known as a Domain-Specific Language (DSL), named SIOL, Singular Integral Operator Language, created not only to compute singular integrals but to provide with other information about operator theory concepts, will not have the complexity that is normally found in general-purpose languages. With Xtext and Eclipse, the authors will create a syntax highlighting, error checking and auto-completion editor for some of the operator theory tasks related to the singular integrals, that generates its outputs that uses Wolfram Mathematica
Description
Keywords
Symbolic computation Mathematical models Xtext DSL Operator theory