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), 1-13, 2017
852017
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
532017
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, ...
International Conference on Intelligent Computer Mathematics, 117-131, 2016
312016
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
302019
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
252019
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
232017
On skew braces and their ideals
A Konovalov, A Smoktunowicz, L Vendramin
Experimental Mathematics 30 (1), 95-104, 2021
192021
User interfaces for computational science: A domain specific language for OOMMF embedded in Python
M Beg, RA Pepper, H Fangohr
AIP Advances 7 (5), 056025, 2017
192017
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), 093903, 2018
182018
Making PVS accessible to generic services by interpretation in a universal format
M Kohlhase, D Müller, S Owre, F Rabe
International Conference on Interactive Theorem Proving, 319-335, 2017
182017
Data analysis support in Karabo at European XFEL
H Fangohr, M Beg, V Bondar, S Aplin, A Barty, M Kuhn, V Mariani, ...
172017
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
162018
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
162016
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
142020
The L-functions and modular forms database project
J Cremona
Foundations of Computational Mathematics 16 (6), 1541-1553, 2016
142016
A modular type reconstruction algorithm
F Rabe
ACM Transactions on Computational Logic (TOCL) 19 (4), 1-43, 2018
132018
Time and space efficient generators for quasiseparable matrices
C Pernet, A Storjohann
Journal of Symbolic Computation 85, 224-246, 2018
132018
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
132017
The Coq library as a theory graph
D Müller, F Rabe, CS Coen
International Conference on Intelligent Computer Mathematics, 171-186, 2019
122019
Mathematical models as research data via flexiformal theory graphs
M Kohlhase, T Koprucki, D Müller, K Tabelow
International Conference on Intelligent Computer Mathematics, 224-238, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20