Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
karol m langner
Claudia Calabrese
M. Arora
Soroosh Shahtalebi
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MARTIN DUNSTAN
Author Info
Open Visualization
Name
Affiliation
Papers
MARTIN DUNSTAN
Division of Computer Science, University of St Andrews, North Haugh, St Andrews, UK
3
Collaborators
Citations
PageRank
8
35
2.26
Referers
Referees
References
61
52
25
Publications (3 rows)
Collaborators (8 rows)
Referers (61 rows)
Referees (52 rows)
Title
Citations
PageRank
Year
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
20
0.95
2001
Formal Methods for Extensions to CAS
3
0.39
1999
Lightweight formal methods for computer algebra systems
12
0.92
1998
1
