Gauss
gauss.hr
As featured in
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Gauss is a Croatian software company founded in 1990 and based in Varazdin. It develops enterprise applications and provides information technology services to business clients. The company is one of the leading technology firms in northern Croatia.
News
Mathematicians make a breakthrough on Gauss's riddle, unsolved for 200 years
A solution to part of the Cohen-Lenstra conjecture helps resolve a long-standing mystery about quadratic forms
Read more
Report
Report
Terence Tao (@[email protected])
This experiment (authored by several well-known mathematicians) revives an archaic practice (last seen in the era of Gauss) of posting encrypted proofs before revealing them: https://arxiv.org/abs/2602.05192 . Here, the challenge is to see whether 10 rese
Read more
Report
Introducing Gauss, an agent for autoformalization
Dedicated to verified superintelligence via autoformalization.
Read more
Report
An integral theorem of Gauss
Gauss proved in 1818 that the value of integral is unchanged if x and y are replaced by (x + y)/2 and (xy), i.e. if you replaced x and y with their arithmetic mean and geometric mean 1. So, for example, if you wanted to compute you could instead compute N
Read more
Report
Pro access
Upgrade to see all 27 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.