Computational Mathematics: Numerical Analysis and Symbolic Computation
Computational Mathematics: Numerical Analysis and Symbolic Computation
Disciplines
Computer Sciences (100%)
Keywords
-
Computational Mathematics,
Scientific Computing,
Symbolic Computation,
Numerical Computation,
Computer Algebra,
Numerical Analysis
The proposed DK involves the Institutes of Applied Geometry, of Computational Mathematics, of Industrial Mathematics, and of Symbolic Computation (RISC) of the Johannes Kepler University (JKU), and the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences. The proposed DK will build on the expertise accumulated within the framework of the FWF Special Research Program SFB F013 ``Numerical and Symbolic Scientific Computing``, a research network consisting of exactly the same participating institutes. The SFB started its work in April 1998. Its overall and long-term scientific goals concerned a non-trival mathematical combination of numerical and symbolic methods for solving large-scale direct and inverse problems with constraints. As a result of the hearing from December 2003, the SFB was granted significantly increased funding for a third and last period of four years, from April 2004 until March 2008. The reviewers (from Canada, France, Germany, Holland, and Norway) also evaluated the educational aspects of combining symbolic and numerical computing; from the FWF-review-protocol: ``The reviewers especially appreciated the activities and the success of the SFB in educating young scientists: good training is provided for young people of different ages.`` As a consequence of the success of the SFB in this regard, the SFB participants unanimously decided to make an effort to establish a focused continuation of this kind of graduate education in the form of an FWF Doktoratskolleg. In the initial phase of the DK, SFB infrastructure will be available. In order to utilize the expertise accumulated during the period of the SFB, the long-term educational goal of the proposed DK is based on similar scientific grounds but stated slightly more generally as follows: Already for the first period, the overall goal of the DK program will be to provide intensive PhD training in two fundamental areas of computational mathematics: numerical analysis (in particular, of direct and inverse field problems) and symbolic computation. This will be accomplished by course work hat involves lectures from both areas and by interdisciplinary seminars. - The long-term goal is to establish a corresponding distinguished PhD Program at the JKU which will attract young researchers world-wide. Such kind of DK education will stimulate numerous new avenues of research. For example, DK graduates will be able to develop new solvers (to direct or inverse problems) by combining numerical approaches with symbolic methods like Groebner bases, or, DK graduates will use symbolic special function algorithms to speed-up finite element methods. First results in each of these directions have been already achieved within the SFB. To achieve such results on a larger scale, special PhD training and interdisciplinary interaction are necessary ingredients. The proposed DK should provide a suitable frame to make it happen.
-
consortium member (01.10.2008 - 31.12.2022)
-
consortium member (01.10.2008 - 31.12.2022)
-
consortium member (01.10.2008 - 31.12.2022)
-
consortium member (01.10.2008 - 31.12.2022)
-
consortium member (01.10.2008 - 31.12.2022)
-
consortium member (01.10.2008 - 31.12.2022)
-
consortium member (01.10.2008 - 31.12.2022)
- Österreichische Akademie der Wissenschaften
- Universität Linz
- Joachim Schöberl, Technische Universität Wien , national collaboration partner
- Josef Schicho, Österreichische Akademie der Wissenschaften , associated research partner
- Andreas Neubauer, Universität Linz , national collaboration partner
- Barbara Kaltenbacher, Universität Klagenfurt , national collaboration partner
- Wenping Wang, University of Hong Kong - China
- Falai Chen, University of Science and Technology of China - China
- Zbynek Sir, Charles University Prague - Czechia
- Jens Gravesen, The Technical University of Denmark - Denmark
- Renaud Rioboo, Université Pierre et Marie Curie (Paris VI) - France
- Frederik Chyzak, INRIA - France
- Gerd Teschke, Hochschule Neubrandenburg - Germany
- Ulrich Tautenhahn, Hochschule Zittau/Görlitz (FH) - Germany
- Bernd Hofmann, Technische Universität Chemnitz - Germany
- Peter Maass, Universität Bremen - Germany
- Peter Mathe, Weierstraß-Institut für Angewandte Analysis und Stochastik - Germany
- Dimitrios Poulakis, Aristotle University of Thessaloniki - Greece
- Milos Hoffmann, Eszterházy Károly College - Hungary
- Alessandro Verri, Universita degli Studi di Genova - Italy
- Lucia Sampoli, Universita di Siena - Italy
- Lorenzo Rosasco, Università di Genova - Italy
- Ida Tetsuo, The University of Tsukuba - Japan
- Tor Dokken, SINTEFF Oslo - Norway
- Vadim Korneev, European University at St Petersburg - Russia
- J. Rafael Sendra, Universidad de Alcalá - Spain
- Laureano Gonzales-Vega, Universidad de Cantabria - Spain
- Hend Ben Ameur, Ecole National d´ Ingenieurs de Tunis - Tunisia
- Raytcho Lazarov, Texas A&M University - USA
- George E. Andrews, The Pennsylvania State University - USA
- Lothar Reichel, University of Kent at Canterbury - USA
- Marius Minea, University of Massachusetts Amherst - USA
- Deepak Kapur, University of New Mexico - USA
- Gavin Brown, University of Kent at Canterbury
- Andy Wathen, University of Oxford
- Myung-Soo Kim, Seoul National University
- Steve Linton, University of St. Andrews
Research Output
- 1065 Citations
- 74 Publications
-
2018
Title On the parameter estimation problem of magnetic resonance advection imaging DOI 10.3934/ipi.2018007 Type Journal Article Author Hubmer S Journal Inverse Problems and Imaging Pages 175-204 Link Publication -
2018
Title Lower Bounds on the Number of Realizations of Rigid Graphs DOI 10.1080/10586458.2018.1437851 Type Journal Article Author Grasegger G Journal Experimental Mathematics Pages 125-136 Link Publication -
2018
Title Inexact Dual-Primal Isogeometric Tearing and Interconnecting Methods DOI 10.1007/978-3-319-93873-8_37 Type Book Chapter Author Hofer C Publisher Springer Nature Pages 393-403 -
2020
Title Isogeometric Simulation and Shape Optimization with Applications to Electrical Machines DOI 10.1007/978-3-030-44101-2_4 Type Book Chapter Author Gangl P Publisher Springer Nature Pages 35-43 -
2020
Title Adaptive Space-Time Finite Element Methods for Non-autonomous Parabolic Problems with Distributional Sources DOI 10.1515/cmam-2020-0042 Type Journal Article Author Langer U Journal Computational Methods in Applied Mathematics Pages 677-693 Link Publication -
2020
Title Fast formation of isogeometric Galerkin matrices via integration by interpolation and look-up DOI 10.1016/j.cma.2020.113005 Type Journal Article Author Pan M Journal Computer Methods in Applied Mechanics and Engineering Pages 113005 -
2018
Title A Local Mesh Modification Strategy for Interface Problems with Application to Shape and Topology Optimization DOI 10.1007/978-3-319-75538-0_14 Type Book Chapter Author Gangl P Publisher Springer Nature Pages 147-155 -
2018
Title Spline surface fitting using normal data and norm-like functions DOI 10.1016/j.cagd.2018.06.005 Type Journal Article Author Seiler A Journal Computer Aided Geometric Design Pages 37-49 -
2017
Title A symbolic decision procedure for relations arising among Taylor coefficients of classical Jacobi theta functions DOI 10.1016/j.jsc.2017.01.005 Type Journal Article Author Ye L Journal Journal of Symbolic Computation Pages 134-163 Link Publication -
2019
Title Defibrotide enhances fibrinolysis in human endotoxemia – a randomized, double blind, crossover trial in healthy volunteers DOI 10.1038/s41598-019-47630-6 Type Journal Article Author Schoergenhofer C Journal Scientific Reports Pages 11136 Link Publication -
2019
Title A Parallel Multigrid Solver for Multi-Patch Isogeometric Analysis DOI 10.1007/978-3-030-14244-5_11 Type Book Chapter Author Hofer C Publisher Springer Nature Pages 205-219 -
2019
Title Space-Time Finite Element Methods for Parabolic Evolution Problems with Variable Coefficients DOI 10.1007/978-3-030-14244-5_13 Type Book Chapter Author Langer U Publisher Springer Nature Pages 247-275 -
2019
Title Parallel and Robust Preconditioning for Space-Time Isogeometric Analysis of Parabolic Evolution Problems DOI 10.1137/18m1208794 Type Journal Article Author Hofer C Journal SIAM Journal on Scientific Computing -
2018
Title Reduction-based creative telescoping for fuchsian D-finite functions DOI 10.1016/j.jsc.2017.07.005 Type Journal Article Author Chen S Journal Journal of Symbolic Computation Pages 108-127 Link Publication -
2018
Title Elliptic function based algorithms to prove Jacobi theta function relations DOI 10.1016/j.jsc.2017.11.011 Type Journal Article Author Ye L Journal Journal of Symbolic Computation Pages 171-193 Link Publication -
2016
Title Efficient computation of dual space and directional multiplicity of an isolated point DOI 10.1016/j.cagd.2016.05.002 Type Journal Article Author Mantzaflaris A Journal Computer Aided Geometric Design Pages 114-129 Link Publication -
2015
Title Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models DOI 10.1109/synasc.2015.14 Type Conference Proceeding Abstract Author Koutschan C Pages 27-33 Link Publication -
2013
Title On the interplay of basis smoothness and specific range conditions occurring in sparsity regularization DOI 10.1088/0266-5611/29/12/125002 Type Journal Article Author Anzengruber S Journal Inverse Problems Pages 125002 Link Publication -
2013
Title Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order DOI 10.1007/978-3-7091-1616-6_3 Type Book Chapter Author Gerhold S Publisher Springer Nature Pages 75-96 -
2013
Title On the robustness and optimality of algebraic multilevel methods for reaction–diffusion type problems DOI 10.1007/s00791-014-0221-z Type Journal Article Author Kraus J Journal Computing and Visualization in Science Pages 15-32 -
2012
Title Sparsity optimized high order finite element functions for H(div) on simplices DOI 10.1007/s00211-012-0461-0 Type Journal Article Author Beuchler S Journal Numerische Mathematik Pages 197-225 -
2012
Title Enhancing isogeometric analysis by a finite element-based local refinement strategy DOI 10.1016/j.cma.2011.11.013 Type Journal Article Author Kleiss S Journal Computer Methods in Applied Mechanics and Engineering Pages 168-182 -
2016
Title Convection-adapted BEM-based FEM DOI 10.1002/zamm.201500042 Type Journal Article Author Hofreither C Journal ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Pages 1467-1481 Link Publication -
2016
Title Workshop on symbolic combinatorics and algorithmic differential algebra DOI 10.1145/2930964.2930968 Type Journal Article Author Kauers M Journal ACM Communications in Computer Algebra Pages 27-34 -
2016
Title New Developments in Geometry – Theory and Applications DOI 10.1016/j.cagd.2016.08.002 Type Journal Article Author Hertrich-Jeromin U Journal Computer Aided Geometric Design Pages 1-2 -
2016
Title Planar linkages following a prescribed motion DOI 10.1090/mcom/3120 Type Journal Article Author Gallet M Journal Mathematics of Computation Pages 473-506 Link Publication -
2016
Title Multigrid methods for isogeometric analysis with THB-splines DOI 10.1016/j.cma.2016.05.005 Type Journal Article Author Hofreither C Journal Computer Methods in Applied Mechanics and Engineering Pages 96-112 -
2015
Title Integral D-Finite Functions DOI 10.1145/2755996.2756658 Type Conference Proceeding Abstract Author Kauers M Pages 251-258 Link Publication -
2015
Title Matrix Generation in Isogeometric Analysis by Low Rank Tensor Approximation DOI 10.1007/978-3-319-22804-4_24 Type Book Chapter Author Mantzaflaris A Publisher Springer Nature Pages 321-340 -
2015
Title An alternating iterative minimisation algorithm for the double-regularised total least square functional DOI 10.1088/0266-5611/31/7/075004 Type Journal Article Author Bleyer I Journal Inverse Problems Pages 075004 Link Publication -
2015
Title Topology Optimization of Electric Motor Using Topological Derivative for Nonlinear Magnetostatics DOI 10.1109/tmag.2015.2496172 Type Journal Article Author Gangl P Journal IEEE Transactions on Magnetics Pages 1-4 -
2015
Title A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms DOI 10.1145/2755996.2756648 Type Conference Proceeding Abstract Author Chen S Pages 117-124 Link Publication -
2017
Title Parallelization of continuous and discontinuous Galerkin dual–primal isogeometric tearing and interconnecting methods DOI 10.1016/j.camwa.2017.06.051 Type Journal Article Author Hofer C Journal Computers & Mathematics with Applications Pages 1607-1625 Link Publication -
2017
Title A Mumford–Shah-type approach to simultaneous reconstruction and segmentation for emission tomography problems with Poisson statistics DOI 10.1515/jiip-2016-0077 Type Journal Article Author Klann E Journal Journal of Inverse and Ill-posed Problems Pages 521-542 -
2022
Title Adaptive space–time finite element methods for parabolic optimal control problems DOI 10.1515/jnma-2021-0059 Type Journal Article Author Langer U Journal Journal of Numerical Mathematics Pages 247-266 Link Publication -
2022
Title DPB-Splines: The Decoupled Basis of Patchwork Splines DOI 10.1007/978-3-030-92313-6_3 Type Book Chapter Author Hemelmayr N Publisher Springer Nature Pages 49-83 -
2019
Title Proof of the Wilf–Zeilberger conjecture for mixed hypergeometric terms DOI 10.1016/j.jsc.2018.06.003 Type Journal Article Author Chen S Journal Journal of Symbolic Computation Pages 133-147 Link Publication -
2019
Title Error estimates for Arnoldi–Tikhonov regularization for ill-posed operator equations DOI 10.1088/1361-6420/ab0663 Type Journal Article Author Ramlau R Journal Inverse Problems Pages 055002 Link Publication -
2014
Title A local Fourier convergence analysis of a multigrid method using symbolic computation DOI 10.1016/j.jsc.2013.12.008 Type Journal Article Author Pillwein V Journal Journal of Symbolic Computation Pages 1-20 Link Publication -
2014
Title Algebraic and Algorithmic Aspects of Differential and Integral Operators, 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers DOI 10.1007/978-3-642-54479-8 Type Book Publisher Springer Nature -
2014
Title FETI Solvers for Non-standard Finite Element Equations Based on Boundary Integral Operators DOI 10.1007/978-3-319-05789-7_70 Type Book Chapter Author Hofreither C Publisher Springer Nature Pages 729-737 -
2017
Title Low rank tensor methods in Galerkin-based isogeometric analysis DOI 10.1016/j.cma.2016.11.013 Type Journal Article Author Mantzaflaris A Journal Computer Methods in Applied Mechanics and Engineering Pages 1062-1085 Link Publication -
2017
Title Hypergeometric expressions for generating functions of walks with small steps in the quarter plane DOI 10.1016/j.ejc.2016.10.010 Type Journal Article Author Bostan A Journal European Journal of Combinatorics Pages 242-275 Link Publication -
2015
Title Fundamental laser modes in paraxial optics: from computer algebra and simulations to experimental observation DOI 10.1007/s00340-015-6231-9 Type Journal Article Author Koutschan C Journal Applied Physics B Pages 315-336 Link Publication -
2015
Title Wavelet methods for a weighted sparsity penalty for region of interest tomography DOI 10.1088/0266-5611/31/2/025001 Type Journal Article Author Klann E Journal Inverse Problems Pages 025001 -
2015
Title An Introduction to Finite Element Methods DOI 10.1145/2755996.2756685 Type Conference Proceeding Abstract Author Pillwein V Pages 19-20 -
2021
Title Numerical results for adaptive (negative norm) constrained first order system least squares formulations DOI 10.1016/j.camwa.2020.08.025 Type Journal Article Author Schafelner A Journal Computers & Mathematics with Applications Pages 256-270 Link Publication -
2020
Title On the Singular Value Decomposition of n-Fold Integration Operators DOI 10.1007/978-981-15-1592-7_11 Type Book Chapter Author Ramlau R Publisher Springer Nature Pages 237-256 -
2012
Title Numerical and Symbolic Scientific Computing, Progress and Prospects DOI 10.1007/978-3-7091-0794-2 Type Book Publisher Springer Nature -
2011
Title Numerical simulation of fluid–structure interaction problems on hybrid meshes with algebraic multigrid methods DOI 10.1016/j.cam.2011.05.046 Type Journal Article Author Yang H Journal Journal of Computational and Applied Mathematics Pages 5367-5379 Link Publication -
2011
Title Rational general solutions of planar rational systems of autonomous ODEs DOI 10.1016/j.jsc.2011.06.002 Type Journal Article Author Ngô L Journal Journal of Symbolic Computation Pages 1173-1186 Link Publication -
2011
Title A Frequency-Robust Solver for the Time-Harmonic Eddy Current Problem DOI 10.1007/978-3-642-22453-9_11 Type Book Chapter Author Kolmbauer M Publisher Springer Nature Pages 97-105 -
2011
Title Smoothing Analysis of an All-at-Once Multigrid Approach for Optimal Control Problems Using Symbolic Computation DOI 10.1007/978-3-7091-0794-2_9 Type Book Chapter Author Takacs S Publisher Springer Nature Pages 175-191 -
2011
Title Sparsity Optimized High Order Finite Element Functions on Simplices DOI 10.1007/978-3-7091-0794-2_2 Type Book Chapter Author Beuchler S Publisher Springer Nature Pages 21-44 -
2012
Title A symbolic summation approach to Feynman integral calculus DOI 10.1016/j.jsc.2011.12.044 Type Journal Article Author Blümlein J Journal Journal of Symbolic Computation Pages 1267-1289 Link Publication -
2012
Title Topology optimization of electric machines based on topological sensitivity analysis DOI 10.1007/s00791-014-0219-6 Type Journal Article Author Gangl P Journal Computing and Visualization in Science Pages 345-354 -
2012
Title A preconditioned MinRes solver for time-periodic parabolic optimal control problems DOI 10.1002/nla.1842 Type Journal Article Author Kollmann M Journal Numerical Linear Algebra with Applications Pages 761-784 -
2012
Title Harmonic interpolation based on Radon projections along the sides of regular polygons DOI 10.2478/s11533-012-0160-1 Type Journal Article Author Georgieva I Journal Central European Journal of Mathematics Pages 609-620 Link Publication -
2010
Title Rational general solutions of first order non-autonomous parametrizable ODEs DOI 10.1016/j.jsc.2010.06.018 Type Journal Article Author Ngô L Journal Journal of Symbolic Computation Pages 1426-1441 Link Publication -
2010
Title A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity DOI 10.1109/synasc.2010.41 Type Conference Proceeding Abstract Author Hodorog M Pages 21-28 Link Publication -
2013
Title An H1-Kaczmarz reconstructor for atmospheric tomography DOI 10.1515/jip-2013-0007 Type Journal Article Author Eslitzbichler M Journal jiip Pages 431-450 Link Publication -
2013
Title Shape-explicit constants for some boundary integral operators DOI 10.1080/00036811.2011.643781 Type Journal Article Author Pechstein C Journal Applicable Analysis Pages 949-974 -
2013
Title Efficient Solvers for Some Classes of Time-Periodic Eddy Current Optimal Control Problems DOI 10.1007/978-1-4614-7172-1_11 Type Book Chapter Author Kolmbauer M Publisher Springer Nature Pages 203-216 -
2013
Title A robust finite element solver for a multiharmonic parabolic optimal control problem DOI 10.1016/j.camwa.2012.06.012 Type Journal Article Author Kollmann M Journal Computers & Mathematics with Applications Pages 469-486 -
2011
Title A Non-standard Finite Element Method for Convection-Diffusion-Reaction Problems on Polyhedral Meshes DOI 10.1063/1.3659943 Type Conference Proceeding Abstract Author Hofreither C Pages 397-404 -
2011
Title The Concrete Tetrahedron, Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates DOI 10.1007/978-3-7091-0445-3 Type Book Author Kauers M Publisher Springer Nature -
2011
Title Spherical quadratic Bézier triangles with chord length parameterization and tripolar coordinates in space DOI 10.1016/j.cagd.2010.11.001 Type Journal Article Author Bastl B Journal Computer Aided Geometric Design Pages 127-134 -
2013
Title Sparsity optimized high order finite element functions for H(curl) on tetrahedra DOI 10.1016/j.aam.2012.11.004 Type Journal Article Author Beuchler S Journal Advances in Applied Mathematics Pages 749-769 Link Publication -
2020
Title Reconstruction of the High Resolution Phase in a Closed Loop Adaptive Optics System DOI 10.1137/19m1258426 Type Journal Article Author Ke R Journal SIAM Journal on Imaging Sciences Pages 775-806 Link Publication -
2016
Title Lattice Green functions: the d-dimensional face-centered cubic lattice, d = 8, 9, 10, 11, 12* DOI 10.1088/1751-8113/49/16/164003 Type Journal Article Author Hassani S Journal Journal of Physics A: Mathematical and Theoretical Pages 164003 Link Publication -
2016
Title Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading DOI 10.1109/twc.2016.2555796 Type Journal Article Author Siriteanu C Journal IEEE Transactions on Wireless Communications Pages 5245-5259 Link Publication -
2016
Title Inverse inequality estimates with symbolic computation DOI 10.1016/j.aam.2016.04.005 Type Journal Article Author Koutschan C Journal Advances in Applied Mathematics Pages 1-23 Link Publication -
2016
Title New Bounds for Hypergeometric Creative Telescoping DOI 10.1145/2930889.2930893 Type Conference Proceeding Abstract Author Huang H Pages 279-286 Link Publication -
2016
Title Reduction-Based Creative Telescoping for Algebraic Functions DOI 10.1145/2930889.2930901 Type Conference Proceeding Abstract Author Chen S Pages 175-182 Link Publication