Filters
cris logo
-
New search Filters
Select from list
Displayed from Show more
You have reached the maximum number of displayed search results.
All results displayed
No results are available for the search performed
Displayed from
You have reached the maximum number of displayed search results.
All results displayed
Loading results
Obtaining statistical data

Projects / Programmes source: ARIS

Computability in analysis and topology

Edit
Research activity

Code Science Field Subfield
1.01.03  Natural sciences and mathematics  Mathematics  Numerical and computer mathematics 

Code Science Field
P170  Natural sciences and mathematics  Computer science, numerical analysis, systems, control 
Keywords
computable analysis and topology, realizability theory, constructive logic
Evaluation (rules)
source: COBISS
Evaluation of bibliographic research performance indicators according to ARIS methodology
Citations Citations for bibliographic records in COBIB.SI that are linked to records in citation databases
source: WoS source: Scopus source: COBISS
Researchers (2)
no. Code Name and surname Research area Role Period No. of publications
1.  15854  PhD Andrej Bauer  Mathematics  Head  2002 - 2004  199 
2.  14273  PhD Arjana Žitnik  Mathematics  Researcher  2003 - 2004  103 
Organisations (1)
no. Code Research organisation City Registration number No. of publications
1.  0101  Institute of Mathematics, Physics and Mechanics  Ljubljana  5055598000  20,227 
Abstract
In this project I study the mathematical and logical foundations of computation in topology and analysis. The goal of the project is to develop mathematical methods and programming constructs with which we can analyze and guarantee mathematical correctness of results in scientific computing, such as computational solutions of differential equations occurring in physics and chemistry. In traditional numerical analysis empahsis is given to studying numerical algorithms that involve numbers with finite numerical precision. My project complements numerical analysis because its driving motivation is to provide computing methods that adapt automatically to achive any degree of precision, while at the same time they guarantee correctness of results. Such methods are needed when the traditional numerical analysis gives unsatisfactory precision guarantees, or in critical applications where even slightly incorrect results may lead to catastrophic failures.
Confirmation required
Views history
Favourite