Follow
OpenDreamKit
OpenDreamKit
Université Paris-Sud (project lead)
Verified email at u-psud.fr - Homepage
Title
Cited by
Cited by
Year
Thermal stability and topological protection of skyrmions in nanotracks
D Cortés-Ortuño, W Wang, M Beg, RA Pepper, MA Bisotti, R Carey, ...
Scientific reports 7 (1), 4060, 2017
1602017
Do images of Biskyrmions show type‐II bubbles?
JC Loudon, AC Twitchett‐Harrison, D Cortés‐Ortuño, MT Birch, ...
Advanced Materials 31 (16), 1806598, 2019
852019
Dynamics of skyrmionic states in confined helimagnetic nanostructures
M Beg, M Albert, MA Bisotti, D Cortés-Ortuno, W Wang, R Carey, ...
Physical Review B 95 (1), 014433, 2017
752017
User interfaces for computational science: A domain specific language for OOMMF embedded in Python
M Beg, RA Pepper, H Fangohr
AIP Advances 7 (5), 2017
612017
Fidimag--a finite difference atomistic and micromagnetic simulation package
MA Bisotti, D Cortés-Ortuño, RA Pepper, W Wang, M Beg, T Kluyver, ...
arXiv preprint arXiv:2002.04318, 2020
542020
Nanoscale magnetic skyrmions and target states in confined geometries
D Cortés-Ortuño, N Romming, M Beg, K Von Bergmann, A Kubetzka, ...
Physical Review B 99 (21), 214408, 2019
542019
Proposal for a micromagnetic standard problem for materials with Dzyaloshinskii–Moriya interaction
D Cortés-Ortuño, M Beg, V Nehruji, L Breth, R Pepper, T Kluyver, ...
New Journal of Physics 20 (11), 113015, 2018
462018
On skew braces and their ideals
A Konovalov, A Smoktunowicz, L Vendramin
Experimental mathematics 30 (1), 95-104, 2021
382021
Interoperability in the OpenDreamKit project: the math-in-the-middle approach
PO Dehaye, M Iancu, M Kohlhase, A Konovalov, S Lelièvre, D Müller, ...
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
362016
Classification of alignments between concepts of formal mathematical systems
D Müller, T Gauthier, C Kaliszyk, M Kohlhase, F Rabe
International Conference on Intelligent Computer Mathematics, 83-98, 2017
322017
Skyrmion states in thin confined polygonal nanostructures
RA Pepper, M Beg, D Cortés-Ortuño, T Kluyver, MA Bisotti, R Carey, ...
Journal of Applied Physics 123 (9), 2018
292018
Data analysis support in Karabo at European XFEL
H Fangohr, M Beg, V Bondar, S Aplin, A Barty, M Kuhn, V Mariani, ...
282017
The L-functions and modular forms database project
J Cremona
Foundations of Computational Mathematics 16 (6), 1541-1553, 2016
242016
Fast computation of the rank profile matrix and the generalized Bruhat decomposition
JG Dumas, C Pernet, Z Sultan
Journal of Symbolic Computation 83, 187-210, 2017
202017
A central limit theorem for Lipschitz–Killing curvatures of Gaussian excursions
D Müller
Journal of Mathematical Analysis and Applications 452 (2), 1040-1081, 2017
202017
Stable and manipulable Bloch point
M Beg, RA Pepper, D Cortés-Ortuño, B Atie, MA Bisotti, G Downing, ...
Scientific reports 9 (1), 7959, 2019
192019
Time and space efficient generators for quasiseparable matrices
C Pernet, A Storjohann
Journal of Symbolic Computation 85, 224-246, 2018
192018
Linear time interactive certificates for the minimal polynomial and the determinant of a sparse matrix
JG Dumas, E Kaltofen, E Thomé, G Villard
Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016
192016
Minimal and canonical images
C Jefferson, E Jonauskyte, M Pfeiffer, R Waldecker
Journal of Algebra 521, 481-506, 2019
182019
Making PVS accessible to generic services by interpretation in a universal format
M Kohlhase, D Müller, S Owre, F Rabe
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
182017
The system can't perform the operation now. Try again later.
Articles 1–20