Author Search Results

Select result number 1
1

The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems

by Akian, Marianne, Béreau, Antoine, Gaubert, Stéphane
Published 2023
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems

by Akian, Marianne, Béreau, Antoine, Gaubert, Stéphane
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 3
3

The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems

by Akian, Marianne, Béreau, Antoine, Gaubert, Stéphane
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 4
4

The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems

by Akian, Marianne, Béreau, Antoine, Gaubert, Stéphane
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 5
5

How entropy-theorems can show that approximating high-dim Pareto-fronts is too hard

by Teytaud, Olivier
Published 2006
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access

Conference Object
Select result number 6
6

How entropy-theorems can show that approximating high-dim Pareto-fronts is too hard

by Teytaud, Olivier
Published 2006
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access

Conference Object
Select result number 7
7

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 8
8

Solving discrete logarithms on a 170-bit MNT curve by pairing reduction

by Guillevic, Aurore, Morain, François, Thomé, Emmanuel
Published 2016
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 9
9

Solving discrete logarithms on a 170-bit MNT curve by pairing reduction

by Guillevic, Aurore, Morain, François, Thomé, Emmanuel
Published 2016
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

Solving discrete logarithms on a 170-bit MNT curve by pairing reduction

by Guillevic, Aurore, Morain, François, Thomé, Emmanuel
Published 2016
Contributors: “...)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France...”

Get access
Get access
Get access
Get access

Conference Object

Search Results

Related Subjects