Results 51 to 60 of about 341,235 (326)

The Spectral Geometry of the Equatorial Podles Sphere [PDF]

, 2005
We propose a slight modification of the properties of a spectral geometry a la Connes, which allows for some of the algebraic relations to be satisfied only modulo compact operators.
Andrzej Sitarz, Brzezinski, Chakraborty, Connes, Connes, Connes, Da̧browski, Giovanni Landi, Krähmer, Ludwik Da̧browski, Majid, Mario Paschke, Neshveyev, Podleś, Schmüdgen, Schmüdgen, Sitarz   +16 more
core   +1 more source

Rational maps in real algebraic geometry

, 2009
Wojciech Kucharz
openalex   +3 more sources

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition [PDF]

, 2014
Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there is often a choice for the ordering placed on the variables.
A. Dolzmann, A. Strzeboński, B. Akbarpour, C. Brown, C. Brown, C. Brown, D. Arnon, D. Jovanović, D. Wilson, F. Rosenblatt, F. Sebastiani, G. Collins, G.E. Collins, K. Hornik, P. Baldi, P. Stone, R. Bradford, W.S. McCulloch   +17 more
core   +5 more sources

Some Applications of Casorati Curvature for Statistical Submanifolds of Sasakian Statistical Manifolds and Locally Homogeneous, Quasi-Umbilical Hypersurfaces

پژوهش‌های ریاضی, 2021
In this paper, in the first part, the affine geometry is assumed as the main framework. Then we have a spacious explanation of necessary introduction in rather different subjects.
Azam Etemad Dehkordy
doaj  

Spatial reasoning with augmented points: Extending cardinal directions with local distances

Journal of Spatial Information Science, 2012
We present an approach for supplying existing qualitative direction calculi with a distance component to support fully fledged positional reasoning. The general underlying idea of augmenting points with local reference properties has already been applied
Reinhard Moratz, Jan Oliver Wallgrün
doaj   +1 more source

On Non-Commutative Multi-Rings with Involution

Mathematics
The primary motivation for this work is to develop the concept of Marshall’s quotient applicable to non-commutative multi-rings endowed with involution, expanding upon the main ideas of the classical case—commutative and without involution—presented in ...
Kaique M. A. Roberto, Kaique R. P. Santos, Hugo Luiz Mariano   +2 more
doaj   +1 more source

Domain Decomposition With Non-Conforming Polyhedral Grids

IEEE Access, 2021
A novel mortar approach for the domain decomposition of field problems discretized in terms of nodal variables by the cell method is here proposed.
Federico Moro, Lorenzo Codecasa
doaj   +1 more source

Sharper and Simpler Nonlinear Interpolants for Program Verification

, 2017
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR.
A Gurfinkel, A Platzer, A Rybalchenko, EM Clarke, F Besson, G Stengle, H Peyrl, J Bochnak, J Harrison, KC Toh, KL McMillan, KL McMillan, L Dai, L Dai, M Putinar, P Roux, PA Parrilo, R Jhala, R Jhala, R Sharma, S Gao, S Kupferschmid, S Lang, S Rump, T Gan, T Terauchi, W Lin   +26 more
core   +1 more source

Convergence of formal invertible CR mappings between minimal holomorphically nondegenerate real analytic hypersurfaces

International Journal of Mathematics and Mathematical Sciences, 2001
Recent advances in CR (Cauchy-Riemann) geometry have raised interesting fine questions about the regularity of CR mappings between real analytic hypersurfaces.
Joël Merker
doaj   +1 more source

Grounding grid corrosion detection based on mini-batch gradient descent and greedy method

AIP Advances, 2021
To ensure the speed, recall, and precision of the algorithm to solve the algorithm’s measurement failure due to the problem of high underdetermination and the deviation of some outgoing lines from accessible nodes, the ideal resistance method is proposed
Hongpeng Xie, Fan Yang, Mingsheng Hua, Sen Liu, Jiayuan Hu, Yifan He   +5 more
doaj   +1 more source