Research output per year
Research output per year
Personal profile
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Fingerprint
Dive into the research topics where Visa Nummelin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Mechanical Mathematicians
Bentkamp, A., Blanchette, J., Nummelin, V., Tourret, S., Vukmirović, P. & Waldmann, U., Apr 2023, In: Communications of the ACM. 66, 4, p. 80-90 11 p.Research output: Contribution to Journal › Review article › Academic › peer-review
Open Access -
Recurrence-Driven Summations in Automated Deduction
Nummelin, V., Blanchette, J. & Dahmen, S. R., 2023, Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 23-40 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14279 LNAI)(International Symposium on Frontiers of Combining Systems; vol. 2023).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Making Higher-Order Superposition Work
Vukmirović, P., Bentkamp, A., Blanchette, J., Cruanes, S., Nummelin, V. & Tourret, S., Nov 2022, In: Journal of Automated Reasoning. 66, 4, p. 541-564 24 p.Research output: Contribution to Journal › Article › Academic › peer-review
Open AccessFile134 Downloads (Pure) -
Efficient full higher-order unification
Vukmirović, P., Bentkamp, A. & Nummelin, V., 2021, In: Logical Methods in Computer Science. 17, 4, p. 1-31 31 p., 18.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access -
Making Higher-Order Superposition Work
Vukmirović, P., Bentkamp, A., Blanchette, J., Cruanes, S., Nummelin, V. & Tourret, S., 2021, Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 415-432 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12699 LNAI)(CADE: International Conference on Automated Deduction; vol. 2021).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access