Results 231 to 240 of about 37,491 (303)

Sequences of numbers generated by addition in formal groups and new primality and factorization tests

, 1986
D. Chudnovsky, G. Chudnovsky
semanticscholar   +1 more source

Shape Derivatives of the Eigenvalues of the De Rham Complex for Lipschitz Deformations and Variable Coefficients: Part I

Mathematical Methods in the Applied Sciences, Volume 49, Issue 8, Page 7975-8005, 30 May 2026.
ABSTRACT We study eigenvalue problems for the de Rham complex on varying three‐dimensional domains. Our analysis includes the Helmholtz equation as well as the Maxwell system with mixed boundary conditions and non‐constant coefficients. We provide Hadamard‐type formulas for the shape derivatives under weak regularity assumptions on the domain and its ...
Pier Domenico Lamberti, Dirk Pauly, Michele Zaccaron   +2 more
wiley   +1 more source

A Verified Implementation of Algebraic Numbers in Isabelle/HOL. [PDF]

J Autom Reason, 2020
Joosten SJC, Thiemann R, Yamada A.
europepmc   +1 more source

Primality of trees

, 2011
P. Haxell, O. Pikhurko, A. Taraz
semanticscholar   +1 more source

An ontological turn in the sociology of personal life: Tracing facet methodology's connective ontology. [PDF]

Sociol Rev
Fletcher JR.
europepmc   +1 more source

Origins of numbers: a shared language-of-thought for arithmetic and geometry? [PDF]

Trends Cogn Sci
Dehaene S, Sablé-Meyer M, Ciccione L.
europepmc   +1 more source

Genomic insights into multidrug - resistant Salmonella enterica isolates from pet dogs and cats. [PDF]

Sci Rep
Puangseree J, Hein ST, Prathan R, Srisanga S, Chuanchuen R.   +4 more
europepmc   +1 more source

Computational tameness of classical non-causal models. [PDF]

Proc Math Phys Eng Sci, 2018
Baumeler Ä, Wolf S.
europepmc   +1 more source