Foundations of transcendental methods in computational nonlinear algebra
Polynomial equations and inequalities raises fundamental theoretical issues, many of which have been answered by algebraic geometry. As of applications, nonlinearity is also a formidable computational challenge.
Based on recent pr...
ver más
MTM2009-14668-C02-01
ECUACIONES EN DIFERENCIAS Y APROXIMACION CONSTRUCTIVA: CASO...
23K€
Cerrado
PGC2018-096321-B-I00
ANALISIS DE LA REPRESENTACION DE CURVAS Y SUPERFICIES, CALCU...
60K€
Cerrado
MTM2010-16051
FUNDAMENTOS DE MATEMATICAS COMPUTACIONALES: ADAPTABILIDAD, C...
59K€
Cerrado
MTM2012-31544
ANALISIS DE LA REPRESENTACION DE CURVAS Y SUPERFICIES, MATRI...
89K€
Cerrado
MTM2009-09281
ALGEBRA LINEAL NUMERICA: TEORIA, ESTRUCTURAS Y ALGORITMOS
38K€
Cerrado
MTM2015-67142-P
METODOS NUMERICOS Y ASINTOTICOS PARA LA EVALUACION DE FUNCIO...
18K€
Cerrado
Últimas noticias
27-11-2024:
Videojuegos y creaci...
Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital
27-11-2024:
DGIPYME
En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones
Descripción del proyecto
Polynomial equations and inequalities raises fundamental theoretical issues, many of which have been answered by algebraic geometry. As of applications, nonlinearity is also a formidable computational challenge.
Based on recent proof-of-concept works, I propose new foundational methods in computational nonlinear algebra, motivated by the need for reliability and applicability. The joint development of theoretical aspects, algorithms and software implementations will turn these proof-of-concepts into breakthroughs.
Concretely, I will develop a theory of transcendental continuation for the numerical computation of a wide range of multiple integrals, based on a striking combination of algebraic geometry, symbolic algorithms and numerical ODE solvers. This would enable the computation of many integrals (e.g. volume of semialgebraic sets, or periods of complex varieties) with rigorous error bounds and high precision, more than thousands of digits. Building upon transcendental continuation, I propose to design algorithms to compute certain algebraic invariants of complex varieties related to algebraic cycles and Hodge classes, far beyond the current reach of symbolic methods. This surprising application is backed by a recent success on Picard group computation.
Applications include algebraic geometry, with the development of computational tools to experiment on concrete examples and build databases that document the largest possible range of behavior. Besides, I propose applications to Diophantine approximations, Feynman integrals, and optimization.
Seleccionando "Aceptar todas las cookies" acepta el uso de cookies para ayudarnos a brindarle una mejor experiencia de usuario y para analizar el uso del sitio web. Al hacer clic en "Ajustar tus preferencias" puede elegir qué cookies permitir. Solo las cookies esenciales son necesarias para el correcto funcionamiento de nuestro sitio web y no se pueden rechazar.
Cookie settings
Nuestro sitio web almacena cuatro tipos de cookies. En cualquier momento puede elegir qué cookies acepta y cuáles rechaza. Puede obtener más información sobre qué son las cookies y qué tipos de cookies almacenamos en nuestra Política de cookies.
Son necesarias por razones técnicas. Sin ellas, este sitio web podría no funcionar correctamente.
Son necesarias para una funcionalidad específica en el sitio web. Sin ellos, algunas características pueden estar deshabilitadas.
Nos permite analizar el uso del sitio web y mejorar la experiencia del visitante.
Nos permite personalizar su experiencia y enviarle contenido y ofertas relevantes, en este sitio web y en otros sitios web.