Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 11 results in range #51 to #61.
- Sound and Complete Verification Condition Generator for Functional Recursive Programs: Label: en
- Analytical Evaluations of Double Integral Expressions Related to Total Variation: Label: en
- Smoothing Analysis of an All-at-Once Multigrid Approach for Optimal Control Problems Using Symbolic Computation: Label: en
- White Noise Analysis for Stochastic Partial Differential Equations: Label: en
- A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations: Label: en
- Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations: Label: en
- The “Seven Dwarfs” of Symbolic Computation: Label: en
- A Symbolic-Numeric Algorithm for Genus Computation: Label: en
- Fast Solvers and A Posteriori Error Estimates in Elastoplasticity: Label: en
- Sparsity Optimized High Order Finite Element Functions on Simplices: Label: en
- Approximate Implicitization of Space Curves: Label: en
