@article{corneli2017modelling,
  title = "Modelling the Way Mathematics Is Actually Done",
  author = "Corneli, Joseph and Martin, Ursula and Murray-Rust, Dave and Pease, Alison and Puzio, Raymond and Nesin, Gabriela Rino",
  year = "2017",
}
@inproceedings{corneli2017towards,
  title = "Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues",
  author = "Corneli, Joseph and Martin, Ursula and Murray-Rust, Dave and Pease, Alison",
  year = "2017",
  booktitle = "International Conference on Intelligent Computer Mathematics",
  organization = "Springer, Cham",
  pages = "132--146",
}
@article{hollings2017early,
  title = "The early mathematical education of Ada Lovelace",
  author = "Hollings, Christopher and Martin, Ursula and Rice, Adrian",
  year = "2017",
  journal = "BSHM Bulletin: Journal of the British Society for the History of Mathematics",
  pages = "1--14",
  publisher = "Taylor \& Francis",
}
@article{hollings2017lovelace,
  title = "The Lovelace--De Morgan mathematical correspondence: A critical re-appraisal",
  author = "Hollings, Christopher and Martin, Ursula and Rice, Adrian",
  year = "2017",
  journal = "Historia Mathematica",
  publisher = "Academic Press",
}
@article{meagher2017slightly,
  title = "Slightly dirty maths: The richly textured mechanisms of impact",
  author = "Meagher, Laura R and Martin, Ursula",
  year = "2017",
  journal = "Research Evaluation",
  number = "1",
  pages = "15--27",
  publisher = "Oxford University Press",
  volume = "26",
}
@inproceedings{martin2017bootstrapping,
  title = "Bootstrapping the next generation of mathematical social machines",
  author = "Martin, Ursula and Pease, Alison and Corneli, Joseph",
  year = "2017",
  booktitle = "Off the Beaten Track Workshop at POPL, UPMC Paris",
  volume = "21",
}
@article{martin2015ada,
  title = "ADA Lovelace Computer Scientist",
  author = "Martin, Ursula",
  year = "2015",
  journal = "ITNOW",
  number = "4",
  pages = "54--55",
  publisher = "Oxford University Press",
  volume = "57",
}
@article{martin2015ada,
  title = "Ada Lovelace, mathematician",
  author = "Martin, U",
  year = "2015",
  journal = "Mathematics Today",
  number = "6 (December)",
  pages = "254--255",
  publisher = "Institute of Mathematics and its Applications",
  volume = "51",
}
@inproceedings{riis2015ada,
  title = "Ada Lovelace, a scientist in the archives",
  author = "Riis, Soren and Martin, Ursula and Woodhouse, Nick",
  year = "2015",
  booktitle = "Ada Lovelace Symposium 2015-Celebrating 200 Years of a Computer Visionary",
  organization = "ACM",
  pages = "14",
}
@incollection{martin2015thinking,
  title = "Thinking Saltmarshes",
  author = "Martin, Ursula",
  year = "2015",
  booktitle = "Brain vs. Machine Human Ideas on the Age of Intelligent Machines.",
  publisher = "Harper Perennial",
}
@inproceedings{martin2015stumbling,
  title = "Stumbling Around in the Dark: Lessons from Everyday Mathematics",
  author = "Martin, Ursula",
  year = "2015",
  booktitle = "International Conference on Automated Deduction",
  organization = "Springer International Publishing",
  pages = "29--51",
}
@incollection{martin2015hardy,
  title = "Hardy, Littlewood and polymath",
  author = "Martin, Ursula and Pease, Alison",
  year = "2015",
  booktitle = "Mathematics, Substance and Surmise",
  pages = "9--23",
  publisher = "Springer International Publishing",
}
@incollection{martin2014close,
  title = "Close Observation And Description",
  author = "Martin, Ursula",
  year = "2014",
  booktitle = "What Should We Be Worried About? Real Scenarios That Keep Scientists Up at Night.",
  publisher = "Harper Perennial,",
}
@article{martin2014computational,
  title = "Computational logic and the social",
  author = "Martin, Ursula",
  year = "2014",
  journal = "Journal of Logic and Computation",
  number = "2",
  pages = "467--477",
  publisher = "Dov Gabbay",
  volume = "26",
}
@article{bailey2014opportunities,
  title = "Opportunities and Challenges in 21st Century Mathematical Computation: ICERM Workshop Report",
  author = "Bailey, David H and Borwein, Jonathan M and Caprotti, Olga and Martin, Ursula and Salvy, Bruno and Taufer, Michela",
  year = "2014",
}
@article{bailey2014opportunities,
  title = "Opportunities and challenges in 21st century experimental mathematical computation: ICERM workshop report",
  author = "Bailey, David H and Borwein, Jonathan M and Martin, Ursula and Salvy, Bruno and Taufer, Michela",
  year = "2014",
  journal = "URL http://www. davidhbailey. com/dhbpapers/ICERM-2014. pdf (visited on 10/19/2014)",
}
@article{martin2013applications,
  title = "Applications of real number theorem proving in PVS",
  author = "Martin, Ursula and others",
  year = "2013",
  journal = "Formal Asp. Comput.",
  number = "6",
  publisher = "Formal Asp. Comput.",
  volume = "25",
}
@inproceedings{martin2013mathematical,
  title = "Mathematical practice, crowdsourcing, and social machines",
  author = "Martin, Ursula and Pease, Alison",
  year = "2013",
  booktitle = "International Conference on Intelligent Computer Mathematics",
  organization = "Springer, Berlin, Heidelberg",
  pages = "98--119",
}
@article{martin2013does,
  title = "What does mathoverflow tell us about the production of mathematics?",
  author = "Martin, Ursula and Pease, Alison",
  year = "2013",
  journal = "arXiv preprint arXiv:1305.0904",
}
@article{DBLP:journals/corr/abs-1305-0904,
  title = "What does mathoverflow tell us about the production of mathematics?",
  author = "Ursula Martin and Alison Pease",
  year = "2013",
  journal = "CoRR",
  volume = "abs/1305.0904",
}
@inproceedings{DBLP:conf/mkm/MartinP13,
  title = "Mathematical Practice, Crowdsourcing, and Social Machines",
  author = "Ursula Martin and Alison Pease",
  year = "2013",
  booktitle = "Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings",
  editor = "Jacques Carette and David Aspinall and Christoph Lange and Petr Sojka and Wolfgang Windsteiger",
  isbn = "978-3-642-39319-8",
  pages = "98-119",
  series = "Lecture Notes in Computer Science",
  volume = "7961",
}
@article{DBLP:journals/fac/GottliebsenHLM13,
  title = "Applications of real number theorem proving in PVS",
  author = "Hanne Gottliebsen and Ruth Hardy and Olga Lightfoot and Ursula Martin",
  year = "2013",
  journal = "Formal Asp. Comput.",
  number = "6",
  pages = "993-1016",
  volume = "25",
}
@article{DBLP:journals/fac/ArthanMO13,
  title = "A Hoare logic for linear systems",
  author = "Arthan, Rob and Martin, Ursula and Oliva, Paulo",
  year = "2013",
  journal = "Formal Aspects of Computing",
  number = "3",
  pages = "345--363",
  publisher = "Springer",
  volume = "25",
}
@inproceedings{martin20121377,
  title = "1377 questions and counting--what can we learn from online math",
  author = "Martin, Ursula and Pease, Alison",
  year = "2012",
  booktitle = "Dagstuhl Seminar",
  pages = "1--6",
}
@inproceedings{martin2012computers,
  title = "Computers, Reasoning and Mathematical",
  author = "Martin, Ursula",
  year = "2012",
  booktitle = "Computational Logic",
  organization = "Springer Science \& Business Media",
  pages = "301",
  volume = "165",
}
@inproceedings{pease2012seventy,
  title = "Seventy four minutes of mathematics: An analysis of the third Mini-Polymath project",
  author = "Pease, Alison and Martin, Ursula",
  year = "2012",
  booktitle = "Proceedings of AISB/IACAP 2012, Symposium on Mathematical Practice and Cognition II",
  pages = "52--105",
}
@article{gottliebsen2012applications,
  title = "Applications of real number theorem proving in PVS",
  author = "Gottliebsen, Hanne and Hardy, Ruth and Lightfoot, Olga and Martin, Ursula",
  year = "2012",
  journal = "Formal Aspects of Computing",
  pages = "On--line",
  publisher = "Springer-Verlag",
}
@article{arthan2009general,
  title = "A general framework for sound and complete Floyd-Hoare logics",
  author = "Arthan, Rob and Martin, Ursula and Mathiesen, Erik A and Oliva, Paulo",
  year = "2009",
  journal = "ACM Transactions on Computational Logic (TOCL)",
  number = "1",
  pages = "7",
  publisher = "ACM",
  volume = "11",
}
@inproceedings{arthan2007reasoning,
  title = "Reasoning about linear systems",
  author = "Arthan, Rob and Martin, Ursula and Mathiesen, Erik Arne and Oliva, Paulo",
  year = "2007",
  booktitle = "Proceedings of 5th IEEE International Conference on Software Engineering and Formal Methods SEFM",
}
@article{helleloid2007automorphism,
  title = "The automorphism group of a finite p-group is almost always a p-group",
  author = "Helleloid, Geir T and Martin, Ursula",
  year = "2007",
  journal = "Journal of Algebra",
  number = "1",
  pages = "294--329",
  publisher = "Academic Press",
  volume = "312",
}
@article{helleloid2006almost,
  title = "Almost All p-Groups Have Automorphism Group a p-Group When p is Odd",
  author = "Helleloid, Geir T and Martin, Ursula",
  year = "2006",
  journal = "arXiv preprint math/0602039",
}
@inproceedings{martin2006hoare,
  title = "Hoare logic in the abstract",
  author = "Martin, Ursula and Mathiesen, Erik A and Oliva, Paulo",
  year = "2006",
  booktitle = "International Workshop on Computer Science Logic",
  organization = "Springer, Berlin, Heidelberg",
  pages = "501--515",
}
@article{martin2005hidden,
  title = "Hidden verification for computational mathematics",
  author = "Martin, Ursula and others",
  year = "2005",
  journal = "J. Symb. Comput.",
  number = "5",
  publisher = "J. Symb. Comput.",
  volume = "39",
}
@article{martin2005panelist,
  title = "Panelist position statement: logic and models in computer science",
  author = "Martin, Ursula",
  year = "2005",
  journal = "Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences",
  number = "1835",
  pages = "2397--2399",
  publisher = "The Royal Society",
  volume = "363",
}
@article{DBLP:journals/jsc/GottliebsenKM05,
  title = "Hidden verification for computational mathematics",
  author = "Gottliebsen, Hanne and Kelsey, Tom and Martin, Ursula",
  year = "2005",
  journal = "Journal of Symbolic Computation",
  number = "5",
  pages = "539--567",
  publisher = "Academic Press",
  volume = "39",
}
@article{martin2004rocket,
  title = "Rocket science or social science? Involving women in the creation of computing",
  author = "Martin, Ursula and Liff, Sonia and Dutton, William H and Light, Ann",
  year = "2004",
}
@inproceedings{boulton2004design,
  title = "Design verification for control engineering",
  author = "Boulton, Richard J and Gottliebsen, Hanne and Hardy, Ruth and Kelsey, Tom and Martin, Ursula",
  year = "2004",
  booktitle = "IFM",
  pages = "21--35",
}
@inproceedings{DBLP:conf/ifm/BoultonGHKM04,
  title = "Design Verification for Control Engineering",
  author = "Richard J. Boulton and Hanne Gottliebsen and Ruth Hardy and Tom Kelsey and Ursula Martin",
  year = "2004",
  booktitle = "Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings",
  editor = "Eerke A. Boiten and John Derrick and Graeme Smith",
  isbn = "3-540-21377-5",
  pages = "21-35",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2999",
}
@article{boulton2003hoare,
  title = "A Hoare logic for single-input single-output continuous-time control systems",
  author = "Boulton, Richard and Hardy, Ruth and Martin, Ursula",
  year = "2003",
  journal = "Hybrid Systems: Computation and Control",
  pages = "113--125",
  publisher = "Springer Berlin/Heidelberg",
}
@inproceedings{dunstan2001maple,
  title = "A maple-pvs interface",
  author = "Dunstan, M and Gottliebsen, H and Kelsey, Tom and Martin, U and Workhop, Calculemus",
  year = "2001",
  booktitle = "Proc. of the Calculemus Symposium 2001",
}
@article{cropper2001classification,
  title = "The classification of polynomial orderings on monadic terms",
  author = "Cropper, Nick and Martin, Ursula",
  year = "2001",
  journal = "Applicable Algebra in Engineering, Communication and Computing",
  number = "3",
  pages = "197--226",
  publisher = "Springer Berlin/Heidelberg",
  volume = "12",
}
@inproceedings{dunstan2001computer,
  title = "Computer algebra meets automated theorem proving: A maple-pvs interface",
  author = "Dunstan, Martin and Gottliebsen, Hanne and Kelsey, Tom and Martin, Ursula",
  year = "2001",
  booktitle = "Proceedings of the Calculemus Workshop",
}
@article{adams2001computer,
  title = "Computer algebra meets automated theorem proving: Integrating Maple and PVS",
  author = "Adams, Andrew and Dunstan, Martin and Gottliebsen, Hanne and Kelsey, Tom and Martin, Ursula and Owre, Sam",
  year = "2001",
  journal = "Theorem proving in higher order logics",
  pages = "1349--1353",
  publisher = "Springer Berlin/Heidelberg",
}
@inproceedings{martin2000towards,
  title = "Towards formal methods for mathematical modeling",
  author = "Martin, Ursula",
  year = "2000",
  booktitle = "Proceedings 5th NASA Langley Workshop on Formal Methods",
}
@article{martin2000invariants,
  title = "Invariants, patterns and weights for ordering terms",
  author = "Martin, Ursula and Shand, Duncan",
  year = "2000",
  journal = "Journal of Symbolic Computation",
  number = "6",
  pages = "921--957",
  publisher = "Elsevier",
  volume = "29",
}
@article{martin2000computational,
  title = "Computational logic support for differential equations and mathematical modeling",
  author = "Martin, U and Gottliebsen, H",
  year = "2000",
  journal = "Personal communication",
}
@article{dunstan1999formal,
  title = "Formal methods for extensions to CAS",
  author = "Dunstan, Martin N and Kelsey, Tom and Martin, Ursula and Linton, Steve",
  year = "1999",
  journal = "Lecture notes in computer science",
  pages = "1758--1777",
  publisher = "SPRINGER VERLAG KG",
}
@inproceedings{martin1999computers,
  title = "Computers, reasoning and mathematical practice",
  author = "Martin, Ursula",
  year = "1999",
  booktitle = "Computational Logic",
  organization = "Springer Berlin Heidelberg",
  pages = "301--346",
}
@inproceedings{adams1999vsditlu,
  title = "VSDITLU: a verifiable symbolic definite integral table look-up",
  author = "Adams, Andrew A and Gottliebsen, Hanne and Linton, Steve A and Martin, Ursula",
  year = "1999",
  booktitle = "CADE",
  pages = "112--126",
}
@inproceedings{adams1999automated,
  title = "Automated theorem proving in support of computer algebra: symbolic definite integration as a case study",
  author = "Adams, Andrew A and Gottliebsen, Hanne and Linton, SA and Martin, Ursula",
  year = "1999",
  booktitle = "Proceedings of the 1999 international symposium on Symbolic and algebraic computation",
  organization = "ACM",
  pages = "253--260",
}
@article{martin1998new,
  title = "New directions for syntactic termination orderings",
  author = "Martin, Ursula",
  year = "1998",
  journal = "Progress in Computer Science and Applied Logic",
  pages = "209--224",
  volume = "15",
}
@misc{dunstan1998steve,
  title = "Steve Linton Lightweight formal methods for computer algebra systems In ISSAC�98: Proc ACM International Symposium on Symbolic and Algebraic Computation, Rostock",
  author = "Dunstan, Martin and Kelsey, Tom and Martin, Ursula",
  year = "1998",
  publisher = "ACM Press",
}
@inproceedings{dunstan1998lightweight,
  title = "Lightweight formal methods for computer algebra systems",
  author = "Dunstan, Martin and Kelsey, Tom and Linton, Steve and Martin, Ursula",
  year = "1998",
  booktitle = "Proceedings of the 1998 international symposium on Symbolic and algebraic computation",
  organization = "ACM",
  pages = "80--87",
}
@article{martin1997order,
  title = "The Order Types of Termination Orderings on Monadic Terms, Strings and Monadic Terms, Strings and Multisets",
  author = "Martin, Ursula and Scott, Elizabeth",
  year = "1997",
}
@inproceedings{martin1997investigating,
  title = "Investigating some embedded verification techniques for computer algebra systems",
  author = "Martin, U and Shand, D",
  year = "1997",
  booktitle = "Proceedings of THEOREM A Workshop",
  pages = "20",
  volume = "97",
}
@article{martin1997order,
  title = "The order types of termination orderings on monadic terms, strings and multisets",
  author = "Martin, Ursula and Scott, Elizabeth",
  year = "1997",
  journal = "The Journal of Symbolic Logic",
  number = "2",
  pages = "624--635",
  publisher = "Cambridge University Press",
  volume = "62",
}
@article{linton1996algebra,
  title = "Algebra and automated deduction",
  author = "Linton, Steve and Martin, Ursula and Pr{\"o}hle, P{\'e}ter and Shand, Duncan",
  year = "1996",
  journal = "Automated Deduction�Cade-13",
  pages = "448--462",
  publisher = "Springer Berlin/Heidelberg",
}
@article{martin1996theorem,
  title = "Theorem proving with group presentations: examples and questions",
  author = "Martin, Ursula",
  year = "1996",
  journal = "Automated Deduction�Cade-13",
  pages = "358--372",
  publisher = "Springer Berlin/Heidelberg",
}
@article{martin1995theory,
  title = "The theory of termination orderings on strings: exposition and examples",
  author = "Martin, U",
  year = "1995",
  journal = "AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS",
  pages = "364--369",
  publisher = "UNIVERSITY OF CANTERBURY",
  volume = "17",
}
@article{martin1995diversity,
  title = "On the diversity of orderings on strings",
  author = "Martin, Ursula",
  year = "1995",
  journal = "Fundamenta Informaticae",
  number = "1-2",
  pages = "25--46",
  publisher = "IOS Press",
  volume = "24",
}
@inproceedings{martin1994termination,
  title = "Termination, geometry and invariants",
  author = "Martin, Ursula",
  year = "1994",
  booktitle = "International Conference on Automated Deduction",
  organization = "Springer, Berlin, Heidelberg",
  pages = "432--434",
}
@inproceedings{martin1994verification,
  title = "Verification techniques for LOTOS",
  author = "Martin, Ursula and Thomas, M",
  year = "1994",
  booktitle = "FME'94: Industrial Benefit of Formal Methods",
  organization = "Springer Berlin/Heidelberg",
  pages = "83--92",
}
@inproceedings{martin1993linear,
  title = "Linear interpretations by counting patterns",
  author = "Martin, Ursula",
  year = "1993",
  booktitle = "Rewriting Techniques and Applications",
  organization = "Springer Berlin/Heidelberg",
  pages = "421--433",
}
@inproceedings{martin1993order,
  title = "The order types of termination orderings on monadic terms, strings and multisets",
  author = "Martin, Ursula and Scott, Elizabeth",
  year = "1993",
  booktitle = "Logic in Computer Science, 1993. LICS'93., Proceedings of Eighth Annual IEEE Symposium on",
  organization = "IEEE",
  pages = "356--363",
}
@article{martin1992some,
  title = "Some experiments with a completion theorem prover",
  author = "Martin, Ursula and Lai, Michael",
  year = "1992",
  journal = "Journal of symbolic computation",
  number = "1",
  pages = "81--100",
  publisher = "Academic Press",
  volume = "13",
}
@misc{martin1990equational,
  title = "Equational Reasoning in Groups",
  author = "Martin, U",
  year = "1990",
  publisher = "University of London. Royal Holloway and Bedford New College. Department of Computer Science",
}
@article{martin1990case,
  title = "Case studies in equational reasoning",
  author = "Martin, UH and Cohen, Dave and Lai, MKF and Norrie, KJ and Watson, Phil",
  year = "1990",
  publisher = "Royal Holloway and Bedford New College, University of London",
}
@article{martin1990note,
  title = "A note on division orderings on strings",
  author = "Martin, Ursula",
  year = "1990",
  journal = "Information Processing Letters",
  number = "5",
  pages = "237--240",
  publisher = "Elsevier",
  volume = "36",
}
@article{dick1990automating,
  title = "Automating the knuth bendix ordering",
  author = "Dick, Jeremy and Kalmus, John and Martin, Ursula",
  year = "1990",
  journal = "Acta Informatica",
  number = "2",
  pages = "95--119",
  publisher = "Springer Berlin/Heidelberg",
  volume = "28",
}
@inproceedings{martin1990ordered,
  title = "Ordered rewriting and confluence",
  author = "Martin, Ursula and Nipkow, Tobias",
  year = "1990",
  booktitle = "10th International Conference on Automated Deduction",
  organization = "Springer Berlin/Heidelberg",
  pages = "366--380",
}
@article{bjorner1989procos,
  title = "A ProCoS Project Description: ESPRIT BRA 3104",
  author = "Bj{\o}rner, Dines and Hoare, CAR and Bowen, Jonathan P and Jifeng, He and Langmaack, Hans and Olderog, Ernst-R{\"u}diger and Martin, UH and Stavridou, Victoria and Nielson, Fleming and Nielson, Hanne Riis and others",
  year = "1989",
  journal = "Bulletin of the European Association for Theoretical Computer Science (EATCS)",
  pages = "60--73",
  volume = "39",
}
@misc{martin1989unification,
  title = "Unification in Special P-groups",
  author = "Martin, U",
  year = "1989",
  publisher = "University of London. Royal Holloway and Bedford New College. Department of Computer Science",
}
@article{buth1989experiments,
  title = "Experiments with program verification systems",
  author = "Buth, Bettina and Buth, Karl-Heinz and Martin, Ursula and Stavridou, Victoria",
  year = "1989",
  journal = "ProCoS document Kiel BB",
  number = "1",
  volume = "2",
}
@techreport{martin1989automating,
  title = "Automating Squiggol",
  author = "Martin, Ursula and Nipkow, Tobias",
  year = "1989",
  institution = "University of Cambridge, Computer Laboratory",
}
@article{martin1989geometrical,
  title = "A geometrical approach to multiset orderings",
  author = "Martin, Ursula",
  year = "1989",
  journal = "Theoretical Computer Science",
  number = "1",
  pages = "37--54",
  publisher = "Elsevier",
  volume = "67",
}
@misc{nipkow1988logic,
  title = "Logic and computation�Interactive proof with Cambridge LCF: By LC Paulson. Cambridge University Press, Cambridge, 1987, Price{\pounds} 27.50, ISBN 0 521 34632 0",
  author = "Nipkow, Tobias",
  year = "1988",
  publisher = "Elsevier",
}
@misc{martin1988logic,
  title = "Logic for computer science: By JH Gallier. Harper \& Row, London, 1986, Price{\pounds} 17.95, ISBN 0 06 042225 4",
  author = "Martin, Ursula",
  year = "1988",
  publisher = "Elsevier",
}
@article{martin1988unification,
  title = "Unification in Boolean rings",
  author = "Martin, Ursula and Nipkow, Tobias",
  year = "1988",
  journal = "Journal of Automated Reasoning",
  number = "4",
  pages = "381--396",
  publisher = "Springer Netherlands",
  volume = "4",
}
@article{martin1987extension,
  title = "Extension functions for multiset orderings",
  author = "Martin, Ursula",
  year = "1987",
  journal = "Information Processing Letters",
  number = "4",
  pages = "181--186",
  publisher = "Elsevier",
  volume = "26",
}
@inproceedings{martin1987choose,
  title = "How to choose the weights in the Knuth Bendix ordering",
  author = "Martin, Ursula",
  year = "1987",
  booktitle = "Rewriting Techniques and Applications",
  organization = "Springer Berlin/Heidelberg",
  pages = "42--53",
}
@misc{martin1986unification,
  title = "Unification in Boolean Rings an Unquantified Formulae of First Order Predicate Calculus",
  author = "Martin, Ursula",
  year = "1986",
  publisher = "University of Manchester, Department of Computer Science",
}
@misc{martin1986multiset,
  title = "Multiset Orderings",
  author = "Martin, Ursula",
  year = "1986",
  publisher = "University of Manchester. Department of Computer Science",
}
@misc{martin1986doing,
  title = "Doing algebra with REVE",
  author = "Martin, Ursula",
  year = "1986",
  publisher = "University of Manchester, Department of Computer Science",
}
@article{martin1986almost,
  title = "Almost all -groups have automorphism group a -group",
  author = "Martin, Ursula",
  year = "1986",
  journal = "Bulletin of the American Mathematical Society",
  number = "1",
  pages = "78--82",
  volume = "15",
}
@inproceedings{martin1986unification,
  title = "Unification in boolean rings",
  author = "Martin, Ursula and Nipkow, Tobias",
  year = "1986",
  booktitle = "International Conference on Automated Deduction",
  organization = "Springer, Berlin, Heidelberg",
  pages = "506--513",
}
@article{webb1985using,
  title = "Using graphs to investigate the automorphism groups of nilpotent groups",
  author = "Webb, UHM",
  year = "1985",
  journal = "Graphs and Applications. Proc. 1st. Colorado Simp, on Graph Theory (John Wiley \& Sons, New York, 1985)",
  pages = "333--347",
}
@article{webb1983number,
  title = "The number of stem covers of an elementary abelianp-group",
  author = "Webb, Ursula Martin",
  year = "1983",
  journal = "Mathematische Zeitschrift",
  number = "3",
  pages = "327--337",
  publisher = "Springer Berlin/Heidelberg",
  volume = "182",
}
@inproceedings{webb1981independence,
  title = "An independence theorem for automorphisms of torsion-free groups",
  author = "Webb, UHM",
  year = "1981",
  booktitle = "Mathematical Proceedings of the Cambridge Philosophical Society",
  number = "3",
  organization = "Cambridge University Press",
  pages = "403--409",
  volume = "90",
}
@article{webb1981occurrence,
  title = "The occurrence of groups as automorphisms of nilpotentp-groups",
  author = "Webb, UHM",
  year = "1981",
  journal = "Archiv der Mathematik",
  number = "1",
  pages = "481--498",
  publisher = "Springer",
  volume = "37",
}
@article{webb1980outer,
  title = "Outer automorphisms of some finitely generated nilpotent groups I",
  author = "Webb, UHM",
  year = "1980",
  journal = "Journal of the London Mathematical Society",
  number = "2",
  pages = "216--224",
  publisher = "Wiley Online Library",
  volume = "2",
}
@article{webb1980elementary,
  title = "An elementary proof of Gasch{\"u}tz'theorem",
  author = "Webb, UHM",
  year = "1980",
  journal = "Archiv der Mathematik",
  number = "1",
  pages = "23--26",
  publisher = "Birkh{\"a}user Basel",
  volume = "35",
}
@phdthesis{webb1978automorphisms,
  title = "Automorphisms of finitely generated nilpotent groups.",
  author = "Webb, Ursula Hilda Mary",
  year = "1978",
  school = "University of Warwick",
}
@article{martinsocial,
  title = "The social machine of mathematics",
  author = "Martin, Ursula",
}
@article{dunstanformal,
  title = "Formal M ethods for Extensions to CAS (To be presented at FME'99, Toulouse, France, 20-24 Sep 1999)",
  author = "Dunstan, Martin N and Kelsey, Tom and Martin, Ursula and Linton, Steve",
}
@article{storerban,
  title = "BAN-LOGIC ANALYSIS OF THE UK POSTAL VOTING SYSTEM AS A CRYPTOGRAPHIC PROTOCOL",
  author = "Storer, Tim and Martin, Ursula and Duncan, Ishbel",
}
@article{lintonlightweight,
  title = "Lightweight Formal Methods For Computer Algebra Systems",
  author = "Linton, Martin Dunstan Tom Kelsey Steve and Martin, Ursula",
}
@article{boultonhoare,
  title = "A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems* Extended Abstract",
  author = "Boulton, Richard J and Hardy, Ruth and Martin, Ursula",
}
@article{gottliebsenusing,
  title = "Using the Maple-PVS Interface to Check the Continuity of Maple Expressions",
  author = "Gottliebsen, Hanne and Kelsey, Tom and Martin, Ursula",
}
@article{gottliebsenadding,
  title = "Adding Formal Proofs to Computer Algebra: A Maple-PVS Interface",
  author = "Gottliebsen, Hanne and Kelsey, Tom and Martin, Ursula",
}
@article{martintowards,
  title = "Towards formal methods for mathematical modeling To appear, 5th NASA Langley Formal Methods Workshop 2000",
  author = "Martin, Ursula",
}