default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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, Manisha Sharma, Basant Agarwal:
Spam detection in social media using convolutional and long short term memory neural network. 21-44 - Corinna Cortes, Spencer Greenberg, Mehryar Mohri:
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, Tomás Recio, Csilla Sólyom-Gecse:
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, Zoltán Kovács, Predrag Janicic:
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, Nicolas Magaud, Pascal Schreck:
Two cryptomorphic formalizations of projective incidence geometry. 193-212 - Michael Beeson, Julien Narboux, Freek Wiedijk:
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 2025-12-04 01:27 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:
