中文
相关论文

相关论文: Automatic Discovery of Geometry Theorems Using Min…

200 篇论文

Graph data is ubiquitous in academia and industry, from social networks to bioinformatics. The pervasiveness of graphs today has raised the demand for algorithms that can answer various questions: Which products would a user like to…

机器学习 · 计算机科学 2020-12-01 Minji Yoon , Théophile Gervet , Bryan Hooi , Christos Faloutsos

We propose two methods for exact Gaussian process (GP) inference and learning on massive image, video, spatial-temporal, or multi-output datasets with missing values (or "gaps") in the observed responses. The first method ignores the gaps…

机器学习 · 统计学 2018-08-13 Trefor W. Evans , Prasanth B. Nair

Any solid object can be decomposed into a collection of convex polytopes (in short, convexes). When a small number of convexes are used, such a decomposition can be thought of as a piece-wise approximation of the geometry. This…

计算机视觉与模式识别 · 计算机科学 2020-04-14 Boyang Deng , Kyle Genova , Soroosh Yazdani , Sofien Bouaziz , Geoffrey Hinton , Andrea Tagliasacchi

We define a new type of ideal basis called the proper basis that improves both Gr\"obner basis and Buchberger's algorithm. Let $x_1$ be the least variable of a monomial ordering in a polynomial ring $K[x_1,\dotsc,x_n]$ over a field $K$. The…

交换代数 · 数学 2025-01-06 Sheng-Ming Ma

In this paper we introduce a binomial ideal derived from a binary linear code. We present some applications of a Gr\"obner basis of this ideal with respect to a total degree ordering. In the first application we give a decoding method for…

In this expository paper we want to give a brief introduction, with few key references for further reading, to the inner functioning of the new and successfull algorithms of Deep Learning and Geometric Deep Learning with a focus on Graph…

机器学习 · 计算机科学 2023-05-10 R. Fioresi , F. Zanchetta

As observed by Auderset et al. (2005) and Wiesel (2012), viewing covariance matrices as elements of a Riemannian manifold and using the concept of geodesic convexity provide useful tools for studying M-estimators of multivariate scatter. In…

统计方法学 · 统计学 2016-07-27 Lutz Duembgen , David E. Tyler

This paper aims to present a fairly accessible generalization of several symmetric Gauss-Seidel decomposition based multi-block proximal alternating direction methods of multipliers (ADMMs) for convex composite optimization problems. The…

最优化与控制 · 数学 2020-06-09 Liang Chen , Defeng Sun , Kim-Chuan Toh , Ning Zhang

This work introduces a novel Trefftz Continuous Galerkin (TCG) method for 2D Helmholtz problems based on evanescent plane waves (EPWs). We construct a new globally-conforming discrete space, departing from standard discontinuous Trefftz…

数值分析 · 数学 2025-12-03 Nicola Galante , Bruno Després , Emile Parolin

We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new…

alg-geom · 数学 2008-02-03 M. Giusti , J. Heintz , K. Hägele , J. E. Morais , L. M. Pardo , J. L. Montaña

When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipating their next steps. This can only be done by knowing,…

人工智能 · 计算机科学 2020-03-02 Ludovic Font , Sébastien Cyr , Philippe R. Richard , Michel Gagnon

Graph theory is an interdisciplinary field of study that has various applications in mathematical modeling and computer science. Research in graph theory depends on the creation of not only theorems but also conjectures. Conjecture-refuting…

组合数学 · 数学 2023-06-29 Valentino Vito , Lim Yohanes Stefanus

Bayesian statistics and Markov Chain Monte Carlo (MCMC) algorithms have found their place in the field of Cosmology. They have become important mathematical and numerical tools, especially in parameter estimation and model comparison. In…

宇宙学与河外天体物理 · 物理学 2021-07-02 Luis E. Padilla , Luis O. Tellez , Luis A. Escamilla , J. Alberto Vazquez

This paper expands the Cyclic Block Proximal Gradient method for block separable composite minimization by allowing for inexactly computed gradients and proximal maps. The resultant algorithm, the Inexact Cyclic Block Proximal Gradient…

最优化与控制 · 数学 2022-01-05 Leandro Maia , David Huckleberry Gutman , Ryan Christopher Hughes

We consider $m \times s$ matrices (with $m\geq s$) in a real affine subspace of dimension $n$. The problem of finding elements of low rank in such spaces finds many applications in information and systems theory, where low rank is…

符号计算 · 计算机科学 2019-07-19 Didier Henrion , Simone Naldi , Mohab Safey El Din

This paper presents an alternative approach to simplify the proofs of some important results related to polynomial mappings in Computational Algebraic Geometry such as Polynomial Implicitization, Image Closure and some properties of the…

代数几何 · 数学 2011-11-30 Yongbi Li

The algebraic method provides useful techniques to identify models in designs and to understand aliasing of polynomial models. The present note surveys the topic of Gr\"obner bases in experimental design and then describes the notion of…

统计方法学 · 统计学 2012-07-13 Hugo Maruri-Aguilar , Henry P. Wynn

We present Geodesic Semantic Search (GSS), a retrieval system that learns node-specific Riemannian metrics on citation graphs to enable geometry-aware semantic search. Unlike standard embedding-based retrieval that relies on fixed Euclidean…

信息检索 · 计算机科学 2026-04-28 Brandon Yee , Lucas Wang , Kundana Kommini

This paper introduces a new method based on Deep Galerkin Methods (DGMs) for solving high-dimensional stochastic Mean Field Games (MFGs). We achieve this by using two neural networks to approximate the unknown solutions of the MFG system…

机器学习 · 计算机科学 2023-08-09 Mouhcine Assouli , Badr Missaoui

A method is presented that reduces the number of terms of systems of linear equations (algebraic, ordinary and partial differential equations). As a byproduct these systems have a tendency to become partially decoupled and are more likely…

符号计算 · 计算机科学 2007-05-23 Thomas Wolf
‹ 上一页 1 8 9 10 下一页 ›