default search action
Annals of Mathematics and Artificial Intelligence, Volume 85
Volume 85, Number 1, January 2019
- Satyanath Bhat
, Shweta Jain, Sujit Gujar, Y. Narahari:
An optimal bidimensional multi-armed bandit auction for multi-unit procurement. 1-19 - Gauri Jain
Spam detection in social media using convolutional and long short term memory neural network. 21-44 - Corinna Cortes, Spencer Greenberg
Relative deviation learning bounds and generalization with unbounded loss functions. 45-70
Volume 85, Numbers 2-4, April 2019
- Pascal Schreck, Tetsuo Ida, Laura Kovács
Foreword - Formalization of geometry, automated and interactive geometric reasoning. 71-72 - Zoltán Kovács
Rewriting input expressions in complex algebraic geometry provers. 73-87 - Sana Stojanovic Durdevic
From informal to formal proofs in Euclidean geometry. 89-117 - Mladen Nikolic, Vesna Marinkovic
Portfolio theorem proving and prover runtime prediction for geometry. 119-146 - Jean-Philippe Pernot, Dominique Michelucci, Marc Daniel, Sebti Foufou
Towards a better integration of modelers and black box constraint solvers within the product design process. 147-173 - Ariel Kellison, Mark Bickford, Robert L. Constable:
Implementing Euclid's straightedge and compass constructions in type theory. 175-192 - David Braun
Two cryptomorphic formalizations of projective incidence geometry. 193-212 - Michael Beeson
Proof-checking Euclid. 213-257 - Johann A. Makowsky
Can one design a geometry engine? - On the (un)decidability of certain affine Euclidean geometries. 259-291
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 18:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: