Search results
From MaRDI portal
- 1000+ Theorems project (category Pages with syntax highlighting errors)The spiritual successor of Freek’s list of 100 theorems. Now with more than 1000 theorems! The entries of this list are extracted from Wikipedia’s List...38 KB (205 words) - 12:47, 12 December 2024
- DGFEM approximation of a PDE problem within a high level language, whose syntax closely resembles the mathematical definition, is an invaluable tool. Indeed...15 bytes (565 words) - 12:53, 7 February 2024
- A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ The untyped computational \(\lambda \)-calculus and its intersection...15 bytes (635 words) - 10:34, 31 January 2024
