Funding Data Link References Status API Help
type
year
publication
category
publisher
funder name
source
Page 1 of 271010 results
Sort by: relevance publication year

Mathematics of computing at CiE 2005

Journal Article published Oct 2006 in Mathematical Structures in Computer Science volume 16 issue 05 on page 735

Authors: S. BARRY COOPER, BENEDIKT LÖWE, DAG NORMANN

COMPUTING IMAGES OF GALOIS REPRESENTATIONS ATTACHED TO ELLIPTIC CURVES

Journal Article published 2016 in Forum of Mathematics, Sigma volume 4

Authors: ANDREW V. SUTHERLAND

W. W. Sawyer, A First Look at Numerical Functional Analysis (Oxford Applied Mathematics and Computing Science Series, 1978), £9·00 (boards) and £4·25 (paper).

Journal Article published Oct 1980 in Proceedings of the Edinburgh Mathematical Society volume 23 issue 03 on page 342

Authors: D. W. Arthur

Wang Hao. The mechanization of mathematical arguments. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 31–40.

Journal Article published Jun 1967 in The Journal of Symbolic Logic volume 32 issue 01 on page 120

Authors: David C. Cooper

Davis Martin. Eliminating the irrelevant from mechanical proofs. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 15–30.

Journal Article published Jun 1967 in The Journal of Symbolic Logic volume 32 issue 01 on pages 118 to 119

Authors: J. A. Robinson

A Science and Mathematics Teaching Center

Journal Article published 1990 in International Astronomical Union Colloquium volume 105 on pages 309 to 311

Authors: Walter Bisard

Network analysis and modelling: Special issue of European Journal of Applied Mathematics

Journal Article published 2 Nov 2016 in European Journal of Applied Mathematics volume 27 issue 06 on pages 807 to 811

Authors: MASON A. PORTER, GINESTRA BIANCONI

The mathematics of varistors

Journal Article published 19 May 2016 in European Journal of Applied Mathematics volume 28 issue 02 on pages 208 to 220

Authors: GIOVANNI CIMATTI

Mathematics of thermoacoustic tomography

Journal Article published 19 Mar 2008 in European Journal of Applied Mathematics volume 19 issue 02

Authors: PETER KUCHMENT, LEONID KUNYANSKY

An Investigation on the Logical Structure of Mathematics (XIII): A Method of Programming of Proofs in Mathematics for Electronic Computing Machines

Journal Article published Feb 1960 in Nagoya Mathematical Journal volume 16 on pages 195 to 203

Authors: Sigekatu Kuroda