| Publication | Date of Publication | Type |
|---|
Ada Lovelace, mathematician
Mathematics Today (Southend-on-Sea) | 2024-10-02 | Paper |
Hardy, Littlewood and \textit{polymath}
| 2024-09-06 | Paper |
Ordered rewriting and confluence
| 2023-04-28 | Paper |
Linear interpretations by counting patterns
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Explanation in mathematical conversations: an empirical investigation
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-12-05 | Paper |
Theorem proving with group presentations: examples and questions
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Algebra and automated deduction
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Ada Lovelace -- the making of a computer scientist
| 2018-03-22 | Paper |
The early mathematical education of Ada Lovelace
BSHM Bulletin: Journal of the British Society for the History of Mathematics | 2017-11-02 | Paper |
The Lovelace-De Morgan mathematical correspondence: a critical re-appraisal
Historia Mathematica | 2017-09-08 | Paper |
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
| 2017-07-21 | Paper |
Computational logic and the social
Journal Of Logic And Computation | 2016-07-07 | Paper |
Stumbling around in the dark: lessons from everyday mathematics
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
A general framework for sound and complete Floyd-Hoare logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A Hoare logic for linear systems
Formal Aspects of Computing | 2014-11-11 | Paper |
Applications of real number theorem proving in PVS
Formal Aspects of Computing | 2014-11-10 | Paper |
Mathematical practice, crowdsourcing, and social machines
Lecture Notes in Computer Science | 2013-08-09 | Paper |
Hoare Logic in the Abstract
Computer Science Logic | 2009-03-12 | Paper |
Panelist position statement: logic and models in computer science
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2009-01-20 | Paper |
Hidden verification for computational mathematics
Journal of Symbolic Computation | 2007-10-19 | Paper |
The automorphism group of a finite \(p\)-group is almost always a \(p\)-group.
Journal of Algebra | 2007-06-22 | Paper |
scientific article; zbMATH DE number 1956625 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1863375 (Why is no real title available?)
| 2003-02-04 | Paper |
The classification of polynomial orderings on monadic terms
Applicable Algebra in Engineering, Communication and Computing | 2001-08-26 | Paper |
Invariants, patterns and weights for ordering terms
Journal of Symbolic Computation | 2000-09-14 | Paper |
scientific article; zbMATH DE number 1341611 (Why is no real title available?)
| 2000-02-17 | Paper |
scientific article; zbMATH DE number 1342253 (Why is no real title available?)
| 1999-09-22 | Paper |
scientific article; zbMATH DE number 1241629 (Why is no real title available?)
| 1999-08-08 | Paper |
scientific article; zbMATH DE number 1262431 (Why is no real title available?)
| 1999-03-15 | Paper |
The order types of termination orderings on monadic terms, strings and multisets
Journal of Symbolic Logic | 1997-09-28 | Paper |
scientific article; zbMATH DE number 794238 (Why is no real title available?)
| 1995-09-10 | Paper |
Some experiments with a completion theorem prover
Journal of Symbolic Computation | 1992-06-28 | Paper |
Automating the Knuth Bendix ordering
Acta Informatica | 1990-01-01 | Paper |
A note on division orderings on strings
Information Processing Letters | 1990-01-01 | Paper |
Boolean unification - the story so far
Journal of Symbolic Computation | 1989-01-01 | Paper |
A geometrical approach to multiset orderings
Theoretical Computer Science | 1989-01-01 | Paper |
Unification in Boolean rings
Journal of Automated Reasoning | 1988-01-01 | Paper |
Extension functions for multiset orderings
Information Processing Letters | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4041334 (Why is no real title available?)
| 1987-01-01 | Paper |
Almost all 𝑝-groups have automorphism group a 𝑝-group
Bulletin of the American Mathematical Society | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4049133 (Why is no real title available?)
| 1986-01-01 | Paper |
The Schur Multiplier of a Nilpotent Group
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3884198 (Why is no real title available?)
| 1985-01-01 | Paper |
The number of stem covers of an elementary Abelian p-group
Mathematische Zeitschrift | 1983-01-01 | Paper |
An independence result for group automorphisms
Journal of Algebra | 1982-01-01 | Paper |
