Topological Validation of Midsurface Computed from Sheet Metal Part.
- Published in:
- Computer-Aided Design & Applications, 2015, v. 12, n. 6, p. 663, doi. 10.1080/16864360.2015.1033327
- By:
- Publication type:
- Article
Works about MATHEMATICAL proofs
Results: 5000
1
2
Validation of Medial Axis Transform Objects.
- Published in:
- Computer-Aided Design & Applications, 2012, v. 9, n. 4, p. 517, doi. 10.3722/cadaps.2012.517-529
- By:
- Publication type:
- Article
3
Geometric Interpolation Method in R³ Space with Optimal Approximation Order.
- Published in:
- Computer-Aided Design & Applications, 2010, v. 7, n. 6, p. 919, doi. 10.3722/cadaps.2010.919-928
- By:
- Publication type:
- Article
4
CÓMO ESTUDIANTES UNIVERSITARIOS FORMULAN Y ARGUMENTAN IDENTIDADES ALGEBRAICAS.
- Published in:
- PNA (1886-1350), 2025, v. 19, n. 3, p. 275, doi. 10.30827/pna.v19i3.30473
- By:
- Publication type:
- Article
5
Python programming and algebra: Some special elements in Gaussian integers modulo a prime.
- Published in:
- Scientia et Technica, 2025, v. 30, n. 1, p. 48, doi. 10.22517/23447214.25748
- By:
- Publication type:
- Article
6
"INVESTIGACIÓN SOBRE LA ENSEÑANZA DE LAS MATEMÁTICAS EN UN CONTEXTO EDUCATIVO POR COMPETENCIAS".
- Published in:
- Contextos Educativos, 2025, n. 35, p. 5, doi. 10.18172/con.6704
- By:
- Publication type:
- Article
7
A Stronger Version of Bernoulli's Inequality.
- Published in:
- Mathematical Intelligencer, 2025, v. 47, n. 2, p. 135, doi. 10.1007/s00283-024-10396-5
- By:
- Publication type:
- Article
8
A Discussion of Arnold's Limit Problem and Its Geometric Argument.
- Published in:
- Mathematical Intelligencer, 2025, v. 47, n. 2, p. 132, doi. 10.1007/s00283-024-10355-0
- By:
- Publication type:
- Article
9
An Improved Lower Bound on the Gate Count for Toffoli-Based Reversible Logic Circuits Realizing Given Reversible Functions.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 45, n. 1-3, p. 31
- By:
- Publication type:
- Article
10
Toward a Solution of Archdeacon's Conjecture on Integer Heffter Arrays.
- Published in:
- Journal of Combinatorial Designs, 2025, v. 33, n. 8, p. 310, doi. 10.1002/jcd.21983
- By:
- Publication type:
- Article
11
Comment on "Machine learning enhanced analysis of EBSD data for texture representation".
- Published in:
- NPJ Computational Materials, 2025, v. 11, n. 1, p. 1, doi. 10.1038/s41524-025-01557-x
- By:
- Publication type:
- Article
12
The development of didactic praxeologies in lesson design through social resource interactions: evidence from two novice mathematics teachers.
- Published in:
- Educational Studies in Mathematics, 2025, v. 119, n. 3, p. 487, doi. 10.1007/s10649-025-10403-2
- By:
- Publication type:
- Article
13
Wittgenstein and concept‐extension in mathematics.
- Published in:
- Philosophical Investigations, 2025, v. 48, n. 3, p. 333, doi. 10.1111/phin.12457
- By:
- Publication type:
- Article
14
2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June – 28 June, 2024.
- Published in:
- Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 580, doi. 10.1017/bsl.2025.5
- Publication type:
- Article
15
Foundations for Group Decision Analysis.
- Published in:
- Decision Analysis, 2013, v. 10, n. 2, p. 103, doi. 10.1287/deca.2013.0265
- By:
- Publication type:
- Article
16
Some loose ends on unbounded order convergence.
- Published in:
- Positivity, 2018, v. 22, n. 1, p. 83, doi. 10.1007/s11117-017-0501-1
- By:
- Publication type:
- Article
17
On the “function” and “lattice” definitions of a narrow operator.
- Published in:
- Positivity, 2018, v. 22, n. 1, p. 59, doi. 10.1007/s11117-017-0497-6
- By:
- Publication type:
- Article
18
Structure theorem of the generator of a norm continuous completely positive semigroup: an alternative proof using Bures distance.
- Published in:
- Positivity, 2018, v. 22, n. 1, p. 27, doi. 10.1007/s11117-017-0494-9
- By:
- Publication type:
- Article
19
Higher order alternating sequences.
- Published in:
- Positivity, 2018, v. 22, n. 1, p. 17, doi. 10.1007/s11117-017-0493-x
- By:
- Publication type:
- Article
20
Composition operators on f-algebras.
- Published in:
- Positivity, 2017, v. 21, n. 2, p. 521, doi. 10.1007/s11117-016-0423-3
- By:
- Publication type:
- Article
21
Narrow orthogonally additive operators.
- Published in:
- Positivity, 2014, v. 18, n. 4, p. 641, doi. 10.1007/s11117-013-0268-y
- By:
- Publication type:
- Article
22
Commutativity of some Archimedean ordered algebras.
- Published in:
- Positivity, 2014, v. 18, n. 4, p. 805, doi. 10.1007/s11117-014-0277-5
- By:
- Publication type:
- Article
23
Quantum systems and representation theorem.
- Published in:
- Positivity, 2013, v. 17, n. 3, p. 841, doi. 10.1007/s11117-012-0208-2
- By:
- Publication type:
- Article
24
First and second order necessary optimality conditions for a discrete-time optimal control problem with a vector-valued objective function.
- Published in:
- Positivity, 2013, v. 17, n. 3, p. 483, doi. 10.1007/s11117-012-0183-7
- By:
- Publication type:
- Article
25
On the peripheral point spectrum and the asymptotic behavior of irreducible semigroups of Harris operators.
- Published in:
- Positivity, 2013, v. 17, n. 3, p. 875, doi. 10.1007/s11117-012-0210-8
- By:
- Publication type:
- Article
26
On a vector-valued Hopf-Dunford-Schwartz lemma.
- Published in:
- Positivity, 2013, v. 17, n. 3, p. 899, doi. 10.1007/s11117-012-0211-7
- By:
- Publication type:
- Article
27
Strongly normal cones and the midpoint locally uniform rotundity.
- Published in:
- Positivity, 2013, v. 17, n. 3, p. 935, doi. 10.1007/s11117-012-0213-5
- By:
- Publication type:
- Article
28
Geometrical properties of Banach spaces generated by sublinear operators.
- Published in:
- Positivity, 2013, v. 17, n. 2, p. 223, doi. 10.1007/s11117-012-0159-7
- By:
- Publication type:
- Article
29
Cone characterization of Grothendieck spaces and Banach spaces containing c.
- Published in:
- Positivity, 2011, v. 15, n. 4, p. 677, doi. 10.1007/s11117-010-0103-7
- By:
- Publication type:
- Article
30
Strict inductive limits in locally convex cones.
- Published in:
- Positivity, 2011, v. 15, n. 3, p. 465, doi. 10.1007/s11117-010-0094-4
- By:
- Publication type:
- Article
31
A note on a problem of Abramovich, Aliprantis and Burkinshaw.
- Published in:
- Positivity, 2011, v. 15, n. 3, p. 473, doi. 10.1007/s11117-010-0096-2
- By:
- Publication type:
- Article
32
Some inequalities involving determinants, eigenvalues, and Schur complements in Euclidean Jordan algebras.
- Published in:
- Positivity, 2011, v. 15, n. 3, p. 381, doi. 10.1007/s11117-010-0086-4
- By:
- Publication type:
- Article
33
On dominant contractions and a generalization of the zero-two law.
- Published in:
- Positivity, 2011, v. 15, n. 3, p. 497, doi. 10.1007/s11117-010-0102-8
- By:
- Publication type:
- Article
34
Erratum to: A generalized Jentzsch theorem.
- Published in:
- 2011
- By:
- Publication type:
- Correction Notice
35
A remark on the boundness and weak convergence of general proximal point algorithm.
- Published in:
- Positivity, 2011, v. 15, n. 2, p. 215, doi. 10.1007/s11117-010-0052-1
- By:
- Publication type:
- Article
36
Positivstellensätze for differentiable functions.
- Published in:
- Positivity, 2011, v. 15, n. 2, p. 297, doi. 10.1007/s11117-010-0077-5
- By:
- Publication type:
- Article
37
A p-theory of ordered normed spaces.
- Published in:
- Positivity, 2010, v. 14, n. 3, p. 441, doi. 10.1007/s11117-009-0029-0
- By:
- Publication type:
- Article
38
Dominance and deficiency for Petri nets and chemical reaction networks.
- Published in:
- Natural Computing, 2017, v. 16, n. 2, p. 285, doi. 10.1007/s11047-017-9612-7
- By:
- Publication type:
- Article
39
Reflections on tiles (in self-assembly).
- Published in:
- Natural Computing, 2017, v. 16, n. 2, p. 295, doi. 10.1007/s11047-017-9617-2
- By:
- Publication type:
- Article
40
Scaled pier fractals do not strictly self-assemble.
- Published in:
- Natural Computing, 2017, v. 16, n. 2, p. 317, doi. 10.1007/s11047-015-9528-z
- By:
- Publication type:
- Article
41
Almost optimal estimates for approximation and learning by radial basis function networks.
- Published in:
- Machine Learning, 2014, v. 95, n. 2, p. 147, doi. 10.1007/s10994-013-5406-z
- By:
- Publication type:
- Article
42
Wilkinson's inertia‐revealing factorization and its application to sparse matrices.
- Published in:
- Numerical Linear Algebra with Applications, 2018, v. 25, n. 2, p. 1, doi. 10.1002/nla.2130
- By:
- Publication type:
- Article
43
New eigenvalue inclusion sets for tensors.
- Published in:
- Numerical Linear Algebra with Applications, 2014, v. 21, n. 1, p. 39, doi. 10.1002/nla.1858
- By:
- Publication type:
- Article
44
Steepest descent preconditioning for nonlinear GMRES optimization.
- Published in:
- Numerical Linear Algebra with Applications, 2013, v. 20, n. 3, p. 453, doi. 10.1002/nla.1837
- By:
- Publication type:
- Article
45
Parallel multigrid method for finite element simulations of complex flow problems on locally refined meshes.
- Published in:
- Numerical Linear Algebra with Applications, 2011, v. 18, n. 4, p. 615, doi. 10.1002/nla.744
- By:
- Publication type:
- Article
46
Bounding the error for approximate solutions of almost linear complementarity problems using feasible vectors.
- Published in:
- Numerical Linear Algebra with Applications, 2011, v. 18, n. 2, p. n/a, doi. 10.1002/nla.719
- By:
- Publication type:
- Article
47
Fast solvers with block-diagonal preconditioners for linear FEM-BEM coupling.
- Published in:
- Numerical Linear Algebra with Applications, 2009, v. 16, n. 5, p. 365, doi. 10.1002/nla.620
- By:
- Publication type:
- Article
48
A handy proof of Gay's theorem.
- Published in:
- Numerical Linear Algebra with Applications, 2008, v. 15, n. 7, p. 637, doi. 10.1002/nla.592
- By:
- Publication type:
- Article
49
The mathematics behind Jost Bürgi's method for calculating sine tables.
- Published in:
- PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 891, doi. 10.1002/pamm.201610434
- By:
- Publication type:
- Article
50
Circular proofs for the modal mu-calculus.
- Published in:
- PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 893, doi. 10.1002/pamm.201610435
- By:
- Publication type:
- Article