| Publication | Date of Publication | Type |
|---|
Small gaps in the Ulam sequence
Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2026-02-18 | Paper |
On the largest singular vector of the Redheffer matrix
Linear Algebra and its Applications | 2025-09-09 | Paper |
Constructing optimal star discrepancy sets
Proceedings of the American Mathematical Society. Series B | 2025-06-04 | Paper |
Monotone Paths on Acyclic 3-Regular Graphs
(available as arXiv preprint) | 2025-01-01 | Paper |
On the optimization of discrepancy measures
(available as arXiv preprint) | 2025-01-01 | Paper |
Regular Structures in Kronecker Permutations
(available as arXiv preprint) | 2025-01-01 | Paper |
Obtaining the Chamanara Surface from the van der Corput sequence
(available as arXiv preprint) | 2025-01-01 | Paper |
Low-Discrepancy Set Post-Processing via Gradient Descent
(available as arXiv preprint) | 2025-01-01 | Paper |
Balanced Stick Breaking
(available as arXiv preprint) | 2025-01-01 | Paper |
Many critical points for discrete Riesz energy on $\mathbb{T}^2$
(available as arXiv preprint) | 2025-01-01 | Paper |
Heuristic approaches to obtain low-discrepancy point sets via subset selection
Journal of Complexity | 2024-05-15 | Paper |
Approximately Jumping Towards the Origin
(available as arXiv preprint) | 2024-01-01 | Paper |
Failure of Orthogonality of Rounded Fourier Bases
(available as arXiv preprint) | 2024-01-01 | Paper |
ON THE TWO-PARAMETER ERDŐS–FALCONER DISTANCE PROBLEM IN FINITE FIELDS
Bulletin of the Australian Mathematical Society | 2023-08-25 | Paper |
A Coq formalization of Lebesgue induction principle and Tonelli's theorem
Formal Methods | 2023-08-17 | Paper |
A Coq formalization of Lebesgue integration of nonnegative functions
Journal of Automated Reasoning | 2022-06-09 | Paper |
| Partitions for stratified sampling | 2022-04-20 | Paper |
Star discrepancy subset selection: problem formulation and efficient approaches for low dimensions
Journal of Complexity | 2022-04-04 | Paper |
| Lebesgue Induction and Tonelli's Theorem in Coq | 2022-02-10 | Paper |
| A Coq Formalization of the Bochner integral | 2022-01-10 | Paper |
A Coq Formalization of the Bochner integral
(available as arXiv preprint) | 2022-01-01 | Paper |
Lebesgue Induction and Tonelli's Theorem in Coq
(available as arXiv preprint) | 2022-01-01 | Paper |
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
(available as arXiv preprint) | 2021-04-12 | Paper |
| Lebesgue integration. Detailed proofs to be formalized in Coq | 2021-01-14 | Paper |
Lebesgue integration. Detailed proofs to be formalized in Coq
(available as arXiv preprint) | 2021-01-01 | Paper |
Star Discrepancy Subset Selection: Problem Formulation and Efficient Approaches for Low Dimensions
(available as arXiv preprint) | 2021-01-01 | Paper |
Trusting computations: a mechanized proof from partial differential equations to actual program
Computers & Mathematics with Applications | 2017-08-21 | Paper |
Wave equation numerical resolution: a comprehensive mechanized proof of a C program
Journal of Automated Reasoning | 2013-07-05 | Paper |
Formal proof of a wave equation resolution scheme: the method error
Interactive Theorem Proving | 2010-09-14 | Paper |
Inversion of spectroscopic data, application on \(\text{CO}_{2}\) radiation of flame combustion
Inverse Problems in Science and Engineering | 2010-09-10 | Paper |
Parameter identification for a one-dimensional blood flow model
ESAIM: Proceedings | 2005-10-12 | Paper |
| scientific article; zbMATH DE number 1329572 (Why is no real title available?) | 2000-06-27 | Paper |
| scientific article; zbMATH DE number 736994 (Why is no real title available?) | 1995-03-27 | Paper |
