×

DiffSharp

swMATH ID: 16033
Software Authors: Baydin, A.G., Pearlmutter, B.A.
Description: DiffSharp: Automatic differentiation library. DiffSharp is a functional automatic differentiation (AD) library. AD allows exact and efficient calculation of derivatives, by systematically invoking the chain rule of calculus at the elementary operator level during program execution. AD is different from numerical differentiation, which is prone to truncation and round-off errors, and symbolic differentiation, which is affected by expression swell and cannot fully handle algorithmic control flow. Using the DiffSharp library, differentiation (gradients, Hessians, Jacobians, directional derivatives, and matrix-free Hessian- and Jacobian-vector products) is applied using higher-order functions, that is, functions which take other functions as arguments. Your functions can use the full expressive capability of the language including control flow. DiffSharp allows composition of differentiation using nested forward and reverse AD up to any level, meaning that you can compute exact higher-order derivatives or differentiate functions that are internally making use of differentiation. Please see the API Overview page for a list of available operations. The library is developed by Atılım Güneş Baydin and Barak A. Pearlmutter mainly for research applications in machine learning, as part of their work at the Brain and Computation Lab, Hamilton Institute, National University of Ireland Maynooth. DiffSharp is implemented in the F# language and can be used from C# and the other languages running on Mono, .NET Core, or the .Net Framework, targeting the 64 bit platform. It is tested on Linux and Windows. We are working on interfaces/ports to other languages.
Homepage: http://diffsharp.github.io/DiffSharp/
Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; GitHub; AlexNet; DeepXDE; L-BFGS; PINNsNTK; NSFnets; FPINNs; Theano; XPINNs; SciPy; Matlab; DeepONet; AdaGrad; LBFGS-B; JAX
Referenced in: 120 Publications
all top 5

Referenced by 295 Authors

14 Karniadakis, George Em
6 Perdikaris, Paris G.
5 Jagtap, Ameya D.
4 Darve, Eric
4 Haghighat, Ehsan
4 Raissi, Maziar
4 Wang, Sifan
4 Xu, Kailai
3 Hwang, Hyung Ju
3 Juanes, Ruben
3 Kumar, Siddhant
3 Meng, Xuhui
3 Mukhametzhanov, Marat S.
3 Yan, Zhenya
2 Bekar, Ali Can
2 Cao, Yanzhao
2 Chen, Song
2 de Lorenzis, Laura
2 Dong, Suchuan
2 Flaschel, Moritz
2 Gao, Han
2 Gasnikov, Alexander V.
2 Jang, Jin Woo
2 Jo, Hyeontae
2 Lee, Jaeyong
2 Li, Jingshi
2 Lu, Lu
2 Madenci, Erdogan
2 Mao, Zhiping
2 Oseledets, Ivan V.
2 Pauwels, Edouard Jean Robert
2 Pearlmutter, Barak A.
2 Sergeev, Yaroslav Dmitrievich
2 Tartakovsky, Alexandre M.
2 Wang, Hanwen
2 Wang, Jian-Xun
2 Wang, Li
2 Zeng, Shaojie
2 Zou, Qingsong
1 Akbayrak, Semih
1 Alarifi, Abdulaziz
1 Alwadain, Ayed
1 Amini Niaki, Sina
1 Angeli, Andrea
1 Asama, Hajime
1 Baharifard, Fatemeh
1 Bai, Jinshuai
1 Balu, Aditya
1 Bao, Junwei Lucas
1 Baydin, Atılım Güneş
1 Berrone, Stefano
1 Bihlo, Alex
1 Bilionis, Ilias
1 Bolte, Jérôme
1 Bouklas, Nikolaos
1 Boureima, I.
1 Boyd, Stephen Poythress
1 Broderick, Tamara
1 Burghardt, Jeff
1 Caballero, William N.
1 Cai, Qingdong
1 Cai, Shengze
1 Cai, Yihua
1 Califano, Federico
1 Campbell, Trevor
1 Canuto, Claudio
1 Chakraborty, Souvik
1 Chang, Haibin
1 Chang, Kao-Pu
1 Charalampidis, Efstathios G.
1 Chen, Bailian
1 Chen, Long
1 Chen, Yong
1 Chiu, Pao-Hsiung
1 Coope, Ian D.
1 Cubuk, Ekin D.
1 Dao, My Ha
1 Darbon, Jerome
1 Daulbaev, Talgat
1 De Raedt, Luc
1 De Vries, Bert J. M.
1 Deng, Hao
1 Deng, Xiangyun
1 Desmet, Wim
1 Diamond, Steven
1 Dvurechensky, Pavel E.
1 E, Weinan
1 Egeland, Olav
1 Escalante Soberanis, M. A.
1 Escande, Maxime
1 Falcone, Alberto
1 Feng, Xinlong
1 Figurnov, Michael
1 Francois, Marianne M.
1 Frasconi, Paolo
1 Frenkel, Wiebke
1 Fuchs, Robin
1 Fuhg, Jan Niklas
1 Gao, Yihang
1 Gardoni, Paolo
...and 195 more Authors
all top 5

Referenced in 46 Serials

28 Journal of Computational Physics
24 Computer Methods in Applied Mechanics and Engineering
6 Journal of Machine Learning Research (JMLR)
6 Communications in Computational Physics
4 Journal of Scientific Computing
4 SIAM Journal on Scientific Computing
3 Physica D
3 Computational Mechanics
2 Physics Letters. A
2 Journal of Computational and Applied Mathematics
2 Numerical Algorithms
1 Computers and Fluids
1 Computers & Mathematics with Applications
1 Journal of Fluid Mechanics
1 Chaos, Solitons and Fractals
1 Applied Mathematics and Computation
1 Computing
1 Journal of Optimization Theory and Applications
1 Acta Applicandae Mathematicae
1 Computer Aided Geometric Design
1 Computers & Operations Research
1 International Journal of Approximate Reasoning
1 Machine Learning
1 Computational Statistics
1 Automation and Remote Control
1 SIAM Review
1 Mathematical Programming. Series A. Series B
1 Journal of Nonlinear Science
1 Computational Optimization and Applications
1 Advances in Applied Clifford Algebras
1 ETNA. Electronic Transactions on Numerical Analysis
1 Journal of Mathematical Chemistry
1 Mathematical and Computer Modelling of Dynamical Systems
1 Fundamenta Informaticae
1 SIAM Journal on Applied Dynamical Systems
1 Acta Numerica
1 Journal of Statistical Mechanics: Theory and Experiment
1 Mathematical Biosciences and Engineering
1 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis
1 Advances in Data Analysis and Classification. ADAC
1 Optimization Letters
1 Networks and Heterogeneous Media
1 Research in the Mathematical Sciences
1 AMM. Applied Mathematics and Mechanics. (English Edition)
1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings and Surveys
1 Computational and Mathematical Biophysics

Referencing Publications by Year