Julian Parsert
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| One is all you need: associative second-order unification without first-order variables Logical Methods in Computer Science | 2026-05-29 | Paper |
| Experiments on infinite model finding in SMT solving | 2025-02-19 | Paper |
| A study of continuous vector representations for theorem proving Journal Of Logic And Computation | 2022-01-03 | Paper |
| Goal-oriented conjecturing for Isabelle/HOL (available as arXiv preprint) | 2018-10-18 | Paper |
| A formally verified solver for homogeneous linear Diophantine equations | 2018-10-04 | Paper |
| Towards formal foundations for game theory | 2018-10-04 | Paper |
Research outcomes over time
This page was built for person: Julian Parsert
