Scalar actions in Lean's mathlib

Autor: Wieser, E

Scalar actions are ubiquitous in mathematics, and therefore it is valuable to be able to write them succinctly when formalizing. In this paper we explore how Lean 3's typeclasses are used by mathlib for scalar actions with examples, illustrate some o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afc66714cff618fc3a5bd08fc47f4e10

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

SciPy 1.0: fundamental algorithms for scientific computing in Python: 24 February 2020 : An amendment to this paper has been published and can be accessed via a link at the top of the paper

Autor: Virtanen, P., Gommers, R., Oliphant, T.E., Haberland, M., Reddy, T., Cournapeau, D., Burovski, E., Peterson, P., Weckesser, W., Bright, J., Walt, S.J., Brett, M., Wilson, J., Millman, K.J., Mayorov, N., Nelson, A.R.J., Jones, E., Kern, R., Larson, E., Carey, C.J., Polat, I., Feng, Y., Moore, E.W., VanderPlas, J., Laxalde, D., Perktold, J., Cimrman, R., Henriksen, I., Quintero, E.A., Harris, C.R., Archibald, A.M., Ribeiro, A.H., Pedregosa, F., Mulbregt, P., Vijaykumar, A., Bardelli, A.P., Rothberg, A., Hilboll, A., Kloeckner, A., Scopatz, A., Lee, A., Rokem, A., Woods, C.N., Fulton, C., Masson, C., Häggström, C., Fitzgerald, C., Nicholson, D.A., Hagen, D.R., Pasechnik, D.V., Olivetti, E., Martin, E., Wieser, E., Lenders, F., Silva, Fabrice, Wilhelm, F., Young, G., Price, G.A., Ingold, G.-L., Allen, G.E., Lee, G.R., Audren, H., Probst, Irvin, Dietrich, J.P., Silterra, J., Webber, J.T., Slavič, J., Nothman, J., Buchner, J., Kulick, J., Schönberger, J.L., Miranda Cardoso, J.V., Reimer, J., Harrington, J., Rodríguez, J.L.C., Nunez-Iglesias, J., Kuczynski, J., Tritz, K., Thoma, M., Newville, M., Kümmerer, M., Bolingbroke, M., Tartre, M., Pak, M., Smith, N.J., Nowaczyk, N., Shebanov, N., Pavlyk, O., Brodtkorb, P.A., Lee, P., McGibbon, R.T., Feldbauer, R., Lewis, S., Tygier, S., Sievert, S., Vigna, S., Peterson, S., More, S., Pudlik, T., Oshima, T., Pingel, T.J., Robitaille, T.P., Spura, T., Jones, T.R., Cera, T., Leslie, T., Zito, T., Krauss, T., Upadhyay, U., Halchenko, Y.O., Vázquez-Baeza, Y., SciPy 1.0, Contributors

Publikováno v: Nature Methods
Nature Methods, 2020, 17, pp.261-272. ⟨10.1038/s41592-019-0686-2⟩
Virtanen, P, Gommers, R, Oliphant, T E, Haberland, M, Reddy, T, Cournapeau, D, Burovski, E, Peterson, P, Weckesser, W, Bright, J, Van Der Walt, S J, Brett, M, Wilson, J, Millman, K J, Mayorov, N, Nelson, A R J, Jones, E, Kern, R, Larson, E, Carey, C J, Polat, I, Feng, Y, Moore, E W, Vanderplas, J, Laxalde, D, Perktold, J, Cimrman, R, Henriksen, I, Quintero, E A, Harris, C R, Archibald, A M, Ribeiro, A H, Pedregosa, F, Van Mulbregt, P & Tygier, S 2020, ' SciPy 1.0: fundamental algorithms for scientific computing in Python ', Nature Methods . https://doi.org/10.1038/s41592-019-0686-2

SciPy is an open source scientific computing library for the Python programming language. SciPy 1.0 was released in late 2017, about 16 years after the original version 0.1 release. SciPy has become a de facto standard for leveraging scientific algor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdc72e11bb5b5dd5b8be9cd6adc0e9b9
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/69920

Correlation between blood compatibility and physical surface properties of titanium-based coatings

Autor: Tsyganov, I., Maitz, M.F., Wieser, E., Richter, E., Reuther, H.

Publikováno v: In Surface & Coatings Technology 1 October 2005 200(1-4):1041-1044

Investigation of ultrathin tantalum based diffusion barrier films using AES and TEM

Autor: Dittmar, Kornelia ^*, Engelmann, Hans-Jürgen, Peikert, M., Wieser, E., Borany, J.V.

Publikováno v: In Applied Surface Science 2005 252(1):185-188