Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ursula Martin

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Hanne Gottliebsen

> Home > Persons > Ursula Martin

Publications

2013
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/GottliebsenHLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/GottliebsenHLM13
Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin:
Applications of real number theorem proving in PVS. Formal Aspects Comput. 25(6): 993-1016 (2013)
2005
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/GottliebsenKM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/GottliebsenKM05
Hanne Gottliebsen, Tom Kelsey, Ursula Martin:
Hidden verification for computational mathematics. J. Symb. Comput. 39(5): 539-567 (2005)
2004
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BoultonGHKM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BoultonGHKM04
Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin:
Design Verification for Control Engineering. IFM 2004: 21-35
2001
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/AdamsDGKMO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/AdamsDGKMO01
Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre:
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. TPHOLs 2001: 27-42
1999
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/AdamsGLM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AdamsGLM99
Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin:
VSDITLU: a verifiable symbolic definite integral table look-up. CADE 1999: 112-126
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/AdamsGLM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/AdamsGLM99
Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin:
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. ISSAC 1999: 253-260

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.